c++ - 访问 'padded'字节是不是UB？

Question

如果我有这样一个对象:

struct {
    uint32_t n;
    uint8_t c;
} blob {};

然后会有 3 个“填充”字节。

访问填充字节是不是UB？例如:

uint8_t * data = reinterpret_cast<uint8_t*>(&blob);
std::cout << data[4] << data[5] << data[6] << data[7];

我首先假设这可能是 UB，但如果这是真的，那么 memcpy 也将是 UB:

memcpy(buf, &blob, sizeof(blob));

我的具体问题是:

• 访问填充字节是否为 UB？
• 如果没有，那是否意味着值也已定义？

Answer 1

不，当整个对象已被零初始化(标准在 §8.5/5 中说当对象被零初始化时填充被初始化为 0 位)或值初始化时访问填充不是 UB，并且它不是具有用户定义的构造函数的类。