我正在阅读关于C++中对齐的内容，但我不确定为什么仅包含char数组成员的类的对齐方式不是数组的sizeof，而总是为1。例如：
#include <iostream>
struct Foo{char m_[16];}; // shouldn't this have a 16 byte alignment?!
int main()
{
std::cout << sizeof(Foo) << " " << alignof(Foo);
}
从上面的代码中可以清楚地看出，sizeof(Foo) 是 16，但是它的对齐方式是 1，可以看到代码的输出结果。
为什么在这种情况下 alignof(Foo) 是 1 呢？
请注意，如果我将 char m_[16]; 替换为像 int m_; 这样的基本类型，那么 alignof(Foo) 就会变成我所期望的，即 sizeof(int)（在我的机器上，这是 4）。
如果我只是声明一个数组 char arr[16];，那么 alignof(arr) 也将是 1。
注意：数据对齐的详细说明在本文中已经解释过。如果您想了解术语的一般含义以及为什么它是一个重要问题，请阅读该文章。
C ++中将对齐定义为实现定义的整数值，表示给定对象可以分配到连续地址之间的字节数[6.11.1] Alignment。
此外，对齐必须是非负的2的幂次方[6.11.4] Alignment。
当我们计算结构体的对齐方式时，我们必须考虑另一条规则[6.11.5] Alignment：
对齐方式从 弱 到 强 或 严格的 对齐方式具有顺序。较严格的对齐方式具有更大的对齐值。满足对齐要求的地址也满足任何弱有效对齐要求。
虽然没有直接说明，但这些规则意味着结构体对齐方式必须至少与其最严格对齐的成员的对齐方式一样严格。它可能更大，但不必如此，并且通常并不是。
因此，在决定 OP 示例中结构体的对齐方式时，结构体的对齐方式必须不低于其唯一成员类型 char[16] 的对齐方式。然后通过8.3.6 [expr.alignof]：
当将 alignof 应用于引用类型时，结果是所引用类型的对齐方式。将 alignof 应用于数组类型时，结果是元素类型的对齐方式。
alignof(char[16]) 等于 alignof(char)，由于[6.11.6] Alignment的规定，这通常为 1：
(...)窄字符类型应具有最弱的对齐要求。
在此示例中：
struct Foo
{
char c[16];
double d;
};
double的对齐要求比char更加严格，因此alignof(Foo)等于alignof(double)。
Foo 不是 数组类型。它是一个包含数组的类。那么这个引用如何适用于这种情况呢？我认为需要解释一下 类 和 数组 之间的差距。 - Nawaz
m_是一个数组，而不是指针。 - chris