初始化派生结构的基础部分/意外打包派生结构字段到基础结构的对齐间隙

Question

意外地发现，clang++7 允许自己将派生结构的字段（下例中的结构“B”与字段“B::u16_gap”）紧密打包到基结构的对齐间隙（结构“A”）。但是示例中的函数“zero_init”期望它的输入是具有未使用对齐间隙的“A”对象，因此它可以被“mem​​cpy”覆盖。当应用于“B”对象时，这个函数“zero_init”当然会覆盖“B::u16_gap”字段的任何值。

// compilation: clang++-7 -std=c++17 test.cpp
#include <cstdint>
#include <cstring>
#include <iostream>

struct A {
    std::uint32_t u32 = 0;
    std::uint16_t u16 = 0;
};

void zero_init(A& a) {
    static constexpr A zero = {};
    std::memcpy(&a, &zero, sizeof(A));
};

struct B: public A {
    std::uint16_t u16_gap = 0;
};

static_assert(sizeof(A) == 8);
static_assert(sizeof(B) == 8); // clang++-7 packs additional field "B::u16_gap" to the alignment gap of the A (for g++-7 it is not true)

int main() {
    B b;
    A& a = b;
    b.u16_gap = 123;
    zero_init(a);
    std::cout << b.u16_gap << std::endl; // writes "0" instead of expected "123"
}

这段代码中格式错误的部分（偏离 C++17 标准的“良好行为”规则）在哪里？

Answer 1

就像您的静态断言显示的那样，A 的大小是 8 个字节。 这意味着您的静态“零”A-Object 由 8 个字节的零组成。 memcpy 不知道类型，因此您将纯 8 个字节复制到 a 的地址，从而覆盖存储在这 8 个字节中的 u16_gap 字段，就像您的第二个断言显示的那样。

如果你想改变它，你可以复制 6 个字节，它应该可以工作。