如何通过static_assert静态断言实现编译期位域值检查

C++20及以上标准可以直接将这类校验全部移到编译期完成，无需运行时assert判断。

具体实现只需要做两处修改：

• 给结构体的构造函数加上constexpr修饰，C++20标准已经为memcpy提供了constexpr重载，平凡类型的位域访问也允许在constexpr上下文中执行
• 将原运行时的assert替换为static_assert，编译器在构建阶段就会直接完成校验，不满足条件直接编译报错，不会产生任何运行时开销

修改后的完整代码如下：

#include <cstring>
#include <cstdint>

struct A {
    uint64_t a : 4, b : 5, c:55;
    constexpr A()=default;
    constexpr A(uint64_t value) { 
        memcpy(this, &value, 8); 
    }
};

// 保留原有的大小校验
static_assert(sizeof(A) == 8);
// 编译期校验位域排布、端序是否符合从低位到高位分配的要求
static_assert(A(0x3F3).a == 3);
static_assert(A(0x3F3).b == 0x1F);
static_assert(A(0x3F3).c == 1);

int main() {
    // 能编译通过就代表所有校验通过，运行时无需额外检查
}

注意事项 #

• 该方案仅适用于C20及更新的语言标准，C17及更早版本对constexpr上下文的内存操作、位域访问有严格限制，无法实现这类编译期校验，只能保留运行时检查逻辑
• C++标准中位域的内存排布本身属于实现定义行为，这套编译期校验可以直接把你依赖的「小端序+位域从低位向高位分配」的假设前置到构建阶段，不符合要求的平台/编译器会直接编译失败，比运行时触发断言排查效率高很多

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