memalignment函数疑问：最大对齐、扩展对齐含义及与alignof的区别

1. 什么是「最大对齐」？ #

把内存看成按1字节划分的连续格子，数据要放在某个2的幂倍数的格子位置上（比如4字节对齐就是地址是4的倍数）。最大对齐指的是这个指针指向的地址能满足的最严格的对齐要求——比如某个地址同时满足4字节、8字节对齐，那它的最大对齐就是8，因为8是更大的2的幂，只要满足这个最严格的要求，所有更宽松的对齐要求（比如4、2、1字节）自然也都满足。

2. 什么是「扩展对齐」？ #

编译器会给普通数据类型（比如int、double）规定默认的对齐要求，这叫基础对齐。而扩展对齐是比基础对齐更严格的对齐要求（比如16字节、32字节甚至更高），通常用于特殊场景：比如某些硬件要求数据必须放在16字节对齐的地址上才能高效访问，或者自定义的超大结构体需要更严格的对齐来避免跨缓存行。

有些扩展对齐甚至超出了alignas关键字能显式指定的范围，但通过特殊内存分配函数拿到的内存地址，可能天然满足这种超规格的扩展对齐。

3. 能用alignof运算符获取指针的对齐方式吗？ #

不能。alignof是用来查询数据类型的默认对齐要求的，比如alignof(int)返回int类型需要的对齐值（通常是4），alignof(void*)返回指针类型本身的对齐值（64位系统一般是8）。它根本不会去关心指针指向的内存地址实际满足的对齐情况。要获取指针指向地址的实际对齐方式，得用草案里提到的memalignment函数。

内容的提问来源于stack exchange，提问作者Madagascar