假设我有两种类型 A 和 B。
那我做这个类型
struct Pair{
A a;
B b;
};
现在我有了这样的功能。
void function(Pair& pair);
让我们假设function 只会使用这对中的a 部分。
那么以这种方式使用和调用函数是未定义的行为吗？
A a;
function(reinterpret_cast<Pair&>(a));
我知道编译器可以在成员之后插入填充字节，但它也可以在第一个成员之前插入吗？
【问题讨论】：
A部分，那为什么它需要Pair输入而不是A输入？？？
标签： c++ struct undefined-behavior
我认为这是定义的行为，假设 Pair 是标准布局。否则，这是未定义的行为。
首先，一个标准布局类和它的第一个成员共享一个地址。 [basic.compound] 中的新措辞（阐明了之前的规则）如下：
两个对象 a 和 b 是 pointer-interconvertible 如果：
* [...]
* 一个是标准布局类对象，另一个是该对象的第一个非静态数据成员， 或者，[...]
* [...]
如果两个对象是pointer-interconvertible，那么它们有相同的地址，并且有可能获得一个 通过reinterpret_cast(5.2.10) 从一个指向另一个的指针指向另一个。
也来自 [class.mem]：
如果标准布局类对象有任何非静态数据成员，其地址与地址相同 它的第一个非静态数据成员。否则，其地址与其第一个基类的地址相同 子对象（如果有）。
所以从A 到Pair 的reinterpret_cast 很好。如果然后function 只访问a 对象，那么该访问定义良好，因为A 的偏移量为0，因此行为相当于让function 直接获取A&。显然，对b 的任何访问都是未定义的。
然而，虽然我相信代码是定义的行为，但这是个坏主意。这是定义的行为NOW，但有一天有人可能会将function 更改为引用pair.b，然后您将陷入痛苦的世界。简单地写会容易得多：
void function(A& a) { ... }
void function(Pair& p) { function(p.a); }
只需使用您的a 直接致电function。
【讨论】：
是的，这是未定义的行为。
在结构对中，a 和 b 之间可以有填充。对结构成员的赋值可以修改结构中的任何填充。因此，对 pair.a 的赋值可以修改它认为结构中有填充的内存，实际上在你的 a 占用的内存之后只有随机内存。
【讨论】：