c++ - 未对齐的内存访问：是否已定义行为？

Question

考虑以下代码：

#include <iostream>

int main()
{
    char* c = new char('a');
    char ac[4] = {'a', 'b', 'c', 'd'};
    unsigned long long int* u = reinterpret_cast<unsigned long long int*>(c);
    unsigned long long int* uc = reinterpret_cast<unsigned long long int*>(&ac[3]);
    *u = 42;
    *uc = 42;
    std::cout<<*u<<" "<<*uc<<std::endl;
}

这被认为是有效的代码，还是内存泄漏/未定义的行为？我在问，因为通过：

*u = 42;
*uc = 42;

我们正在访问程序不应访问的字节（我猜）。

Answer 1

*u = 42;通过违反严格的别名规则导致未定义的行为。*u是 type 的左值，unsigned long long严格的别名规则说这只能用于访问对象（已经存在）并且具有long longor类型unsigned long long。但是，您的代码使用它来访问char.

C++ 没有针对对齐访问的特定规则（与 C 不同）。这是因为在 C++ 中，由于以下原因之一，不可能编写执行未对齐访问而不会导致未定义行为的代码：

• 违反严格的别名规则。
• 访问不存在对象的内存。
• 向placement-new 提供一个未对齐的地址。