分配函数和返回的指针

Question

我不理解合适的指针对齐概念：

在从分配函数返回时，对分配的存储内容没有任何限制。不指定连续调用分配函数所分配的存储的顺序、连续性和初始值。返回的指针应是适当对齐的，以便能够将其转换为具有基本对齐要求(3.11)的任何完整对象类型的指针，然后用于访问所分配存储中的对象或数组(直到通过调用相应的去分配函数显式地释放存储)。

在sec.3.11中没有适当的对齐定义。你解释这应该意味着什么？

Answer 1

这意味着对于任何具有基本对齐方式的完整对象类型，应该可以将返回到该对象类型的指针转换为该对象类型，同时尊重该对象类型的对齐要求。

实际上，由于对齐是2的幂，这意味着需要一个分配函数来返回对齐到alignof(std::max_align_t)的指针。

“适当的对齐”没有单独的定义；在本段中，如同在其他地方一样，“适当地”只是指程序必须满足该款其余部分的一项要求。

Answer 2

§3.11/1说，

对象类型具有对齐要求(3.9.1、3.9.2)，这些要求对分配该类型对象的地址设置了限制。

因此，如果指针是“适当对齐的”，则意味着指针表示的地址满足这些限制。这对地址的数值到底意味着什么是实现定义的。

Answer 3

对齐是由操作系统和平台定义的。通常它是最大的基本类型(指针或double)的大小，但可能更大。例如，在Windows上，x86是8字节，x64是16字节。