C++ 内存地址的数字表示和对齐之间的关系？
例如：C++ 内存地址的数字表示和对齐之间的关系？,c++,pointers,memory,memory-alignment,C++,Pointers,Memory,Memory Alignment,例如： std::ptrdiff_t dist(void* a, void* b) { return static_cast<std::uint8_t*>(b) - static_cast<std::uint8_t*>(a); } Align8Type align8; // alignof(Align8Type) == 8 std::uintptr_t(&align8) & 3; // [1] dist(nullptr, &align8)
std::ptrdiff_t dist(void* a, void* b)
{
return static_cast<std::uint8_t*>(b) - static_cast<std::uint8_t*>(a);
}
Align8Type align8; // alignof(Align8Type) == 8
std::uintptr_t(&align8) & 3; // [1]
dist(nullptr, &align8) & 3; // [2]
Align8Type* p = reinterpret_cast<Align8Type*>(static_cast<std::uint8_t*>(nullptr) + dist(nullptr, &align8));
assert(&align8 == p); // [3]
std:：ptrdiff\t dist（void*a，void*b）
{
返回静态强制转换（b）-静态强制转换（a）；
}
align8键入align8；//alignof（Align8Type）==8
std:：uintpttr_t（&align8）&3；//[1]
距离（nullptr，&align8）&3；//[2]
Align8Type*p=重新解释强制转换（静态强制转换（nullptr）+距离（nullptr和align8））；
断言（&align8==p）；//[3]
<强> >代码> STD:：UIT88T T <代码>支持< /强>，结果是[1 ]和[2 ]保证为0，并且（3）保证在C++标准中是真的吗？ 如果不是，那么在实践中呢？
< P>在C++标准中， 声明为字符（char）的对象应足够大，以便存储 实现的基本字符集的任何成员 < > C++内存模型中的基本存储单元是字节。A. 字节至少足够大，可以包含基本 执行字符集（2.3）和 Unicode UTF-8编码形式，由连续序列组成 位数，位数由实现定义 每个字节都有一个唯一的地址 一个uint_8distuint_8编辑以回答重新定义的问题。本标准不保证指针的表示形式[注1]。指针的值不一定直接映射到连续整数，指向不同对齐类型的指针也不一定具有相同的表示形式。因此，以下任何一项都是可能的：
Align8Typestd:：uintptr\u t（&align8）&3==0Align8TypeAlign8Type*std:：uintptr\u tdist（nullptr和align8）&3==0nullptr重新解释强制转换（静态强制转换（nullptr）+dist（nullptr和align8））==&align8distT2T1T1*T2*T1*T1Align8TypeT2uint8\u t&align8uint8*Align8Type0uint8\u t*这些身份在实践中有效吗？他们可能在C++实现上工作在8位字节寻址的2补码机上，这是非常常见的（比上面提到的理论动物更常见，在统计学上，与独角兽一样常见）。但从技术上讲，它们使您的代码不可移植。我不知道积极的优化会对第2点和第3点中提到的UB做什么，所以我不建议在生产代码中冒险
笔记：