_static_assert是c11提供的编译期内存布局守卫机制，要求表达式为常量表达式，可验证sizeof、offsetof、alignof等，确保结构体大小、字段偏移和对齐符合预期，防止跨平台或硬件映射时因内存布局偏差引发灾难性错误。
static_assert 要求表达式必须是编译期常量
结构体大小 sizeof(MyStruct) 是标准的编译期常量，所以可以直接用。但注意：不能写成 sizeof(*ptr) 或 sizeof(arr[i]) 这类依赖运行时值的表达式，否则编译器会报错：error: non-constant-expression cannot be narrowed to type 'bool'。
常见误操作包括：
- 在模板中用了未完全定义的类型（比如前向声明后就
sizeof(T)），此时类型不完整，sizeof非法 - 把
static_assert放在函数体内却引用了局部constexpr变量——没问题；但若变量依赖参数（哪怕参数是constexpr），也可能因求值时机不明确被拒绝 - 字符串字面量里用了宏拼接（如
"size mismatch: " STRINGIFY(EXPECTED)），某些旧版 clang 会拒绝非纯字符串字面量
检查结构体大小时，必须同时验证对齐和填充行为
sizeof 只告诉你总字节数，但不保证字段偏移或内存布局符合预期。比如你期望 status_ctrl 在第 12 字节，但编译器加了填充，offsetof(MyStruct, status_ctrl) 可能是 16 —— 此时 sizeof 检查通过，程序仍会读错寄存器。
建议组合使用：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
static_assert(sizeof(MyStruct) == 200, "MyStruct size changed");static_assert(offsetof(MyStruct, status_ctrl) == 12, "status_ctrl offset mismatch");static_assert(alignof(MyStruct) == 4, "unexpected alignment");
这三个断言合起来，才真正守住“内存布局契约”。单独只查 sizeof 是半吊子防护。
跨平台或嵌入式场景下，_Static_assert 和 static_assert 都得留心编译器支持
C++11 的 static_assert 和 C11 的 _Static_assert 语义一致，但头文件、语言模式、宏定义容易出岔子：
- 在 .c 文件里误用
static_assert（C 标准不认这个关键字），应改用_Static_assert或封装宏 - 混合 C/C++ 项目中，头文件被 .c 和 .cpp 同时包含，推荐统一用宏封装：
#define STATIC_ASSERT(cond, msg) static_assert(cond, msg)，并在 C 文件中提前定义为_Static_assert - 某些嵌入式工具链（如 IAR、Keil ARMCC）默认不启用 C11/C++11，需显式加
-std=c11或--cpp11，否则直接报未声明
packed 结构体 + static_assert 容易漏掉硬件异常风险
用 __attribute__((packed)) 或 #pragma pack(1) 强制压缩结构体，再配 static_assert(sizeof(...)==N) 看似稳妥，但有隐藏代价：
- ARM Cortex-M 等部分架构对非对齐访问会触发
AlignmentFault，程序直接挂；x86 虽容忍，但性能跌 3–5 倍 -
packed不影响alignof，它只压制填充，但 CPU 仍按原对齐要求访存——这点极易被忽略 - 如果结构体用于 mmap 寄存器映射，FPGA 或 SoC 厂商手册明确要求 4 字节对齐字段，
packed可能导致写入被截断或丢弃
真正安全的做法是：先不用 packed，靠调整成员顺序减少填充；实在不行，再用 packed，并补上 static_assert(alignof(MyStruct) % 4 == 0) 和对应硬件文档交叉验证。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
