相关疑难解决方法(0)

2020 年 12 月 11 日更新：感谢@“一些程序员老兄”在评论中提出的建议。我的根本问题是我们的团队正在实现一个动态类型存储引擎。我们分配了多个16 对齐的char array[PAGE_SIZE] 缓冲区来存储动态类型的数据（没有固定的结构）。出于效率原因，我们不能执行字节编码或分配额外的空间来使用memcpy.

既然已经确定了对齐方式（即16），剩下的就是使用指针的强制转换来访问指定类型的对象，例如：

int main() {
    // simulate our 16-aligned malloc
    _Alignas(16) char buf[4096];

    // store some dynamic data:
    *((unsigned long *) buf) = 0xff07;
    *(((double *) buf) + 2) = 1.618;
}

但是我们的团队对这个操作是否是未定义的行为存在争议。

我已经阅读了许多类似的问题，例如

• 为什么 -Wcast-align 不警告 x86 上从 char* 到 int* 的强制转换？
• 如何在非对齐位置将char数组转换为int？
• C 未定义的行为。严格的混叠规则，或不正确的对齐？
• SEI CERT C CS EXP36-C

但是这些和我对C标准的解释不同，我想知道是不是我的误解。

主要的混淆是关于C11的第6.3.2.3 #7节：

指向对象类型的指针可以转换为指向不同对象类型的指针。如果结果指针未正确对齐 68) 引用类型，则行为未定义。

68) 通常，“正确对齐”的概念是可传递的：如果指向类型 A 的指针与指向类型 B 的指针正确对齐，而指向类型 …