C++：2字节位域结构体放入1字节内存的合规性及断言需求

我正在优化一个压缩算法，该算法使用一个占用2字节的结构体。但有时我希望仅解析其中1字节，因为对应第二字节的zFmt和wFmt成员从不被读写。

请问：只要不访问zFmt和wFmt，能否保证编译器不会访问第二字节？如果不能，能否编写静态断言在该假设不成立时终止编译？

代码示例如下：

struct Header {
    uint8_t xFmt : 4;
    uint8_t yFmt : 4;
    uint8_t zFmt : 4; // must not be read/written when header is mapped to 1 byte
    uint8_t wFmt : 4; // must not be read/written when header is mapped to 1 byte
};
    
static_assert( sizeof(Header) == 2 && alignof(Header) == 1, "alignment vital");


// --- usage ---
int main(){
    // Header may be placed into memory where it overlaps only one byte;
    // in that case, it's .zFmt and .wFmt members are never read or written to
    char buffer[1];
    Header * header = new (buffer) Header;

    // can I be sure (or statically assert) that these instructions
    // will only read and write to the nearest (and only) owned byte?
    header->xFmt = 0;
    header->yFmt = 0;
    header->xFmt += 1; 
    header->yFmt += 1; 
}

补充说明：
当前算法可正常运行，但我希望确保其不依赖未定义行为。我认为使用placement new符合严格别名规则，但该假设可能有误。
另外，我希望以这种方式使用结构体和位域（仅因写法简洁直观），若此方案不可行，备选方案是不使用结构体，改用uint8_t结合移位和掩码来解析字节；我也了解可通过继承切片实现，若当前方案属于未定义行为，我会深入研究该方案。

1. 能否保证编译器不访问第二字节？ #

不能保证。C++标准并未规定位域的访问必须严格局限在其所在的字节。编译器为了优化（比如利用架构的对齐内存访问特性），可能会在访问xFmt或yFmt时，读取整个2字节的结构体，这会导致访问到buffer之外的内存，触发未定义行为。

更关键的是：你用placement new在1字节的buffer上构造大小为2字节的Header对象，这本身就违反了C++标准——构造对象时必须提供足够容纳整个对象的内存空间，哪怕你不使用后续成员。这种情况下，对象的内存布局不合法，后续所有操作都属于未定义行为，和是否访问zFmt/wFmt无关。

2. 能否用静态断言约束该行为？ #

无法通过静态断言实现。静态断言只能检查编译期可确定的属性（比如sizeof、alignof），但编译器是否会访问额外字节属于代码生成阶段的行为，是静态断言无法检测的。你当前的static_assert只能保证结构体的大小和对齐方式，无法约束编译器的内存访问逻辑。

3. 合法的替代方案 #

方案一：拆分结构体 #

把仅需访问的1字节位域单独封装，从根源上避免越界风险：

struct Header1Byte {
    uint8_t xFmt : 4;
    uint8_t yFmt : 4;
};
static_assert(sizeof(Header1Byte) == 1 && alignof(Header1Byte) == 1, "Header1Byte must be 1 byte");

// 使用示例
char buffer[1];
Header1Byte* header = new (buffer) Header1Byte;
header->xFmt = 0;
header->yFmt = 0;

这种方式下，编译器只会访问1字节的内存，完全符合标准。

方案二：手动位运算（备选） #

如果不想拆分结构体，直接用uint8_t结合位操作，完全可控：

char buffer[1];
uint8_t* fmt = reinterpret_cast<uint8_t*>(buffer);
*fmt = 0; // 同时置xFmt和yFmt为0
*fmt |= 1; // xFmt +=1
*fmt |= (1 << 4); // yFmt +=1

方案三：继承切片 #

如果需要兼容原有的2字节结构体，可通过继承实现安全的切片访问：

struct BaseHeader {
    uint8_t xFmt : 4;
    uint8_t yFmt : 4;
};

struct FullHeader : BaseHeader {
    uint8_t zFmt : 4;
    uint8_t wFmt : 4;
};

static_assert(sizeof(BaseHeader) == 1 && sizeof(FullHeader) == 2, "Invalid header sizes");

// 1字节场景使用BaseHeader
char buffer[1];
BaseHeader* header = new (buffer) BaseHeader;
header->xFmt = 0;

这种方式既保留了位域的简洁写法，又保证了内存访问的合法性。

内容的提问来源于stack exchange，提问作者Anne Quinn