静态断言可安全检查 sizeof，但需确保类型已完整定义；常见错误是断言过早触发导致 incomplete type；应置于类定义后、模板实例化完成后；封装 assert_size 模板可复用并提升错误提示；注意对齐、填充、pack、平台及标准版本差异影响尺寸。
静态断言检查 sizeof 的本质限制
静态断言不能直接检查运行时才确定的值，而 sizeof 是编译期常量，所以完全可以用 static_assert 验证类大小。但关键在于：必须确保被测类型在断言求值时已完全定义，否则编译器会报错，比如 incomplete type。
如何避免 static_assert 报 incomplete type
常见错误是把断言写在类定义体内部、或头文件中类声明之后但定义之前。此时类仍是不完整类型，sizeof 无法求值。
- 把
static_assert放在类定义 **之后**，且确保该处类已完整定义（即所有成员、基类、模板实例化都已完成） - 若类模板依赖模板参数，断言需放在显式实例化点或具体使用点之后
- 头文件中推荐用
#ifdef或内联命名空间隔离测试断言，避免多处重复触发
一个安全可用的模板断言辅助结构
手动写 static_assert(sizeof(T) == N) 没问题，但想复用、带提示信息、支持多个尺寸验证时，可封装一层：
template<typename T, size_t ExpectedSize>
struct assert_size {
static_assert(sizeof(T) == ExpectedSize,
"Size mismatch: " #T " expected " #ExpectedSize " bytes");
};
用法：assert_size<MyStruct, 16>{};。注意：这个结构体本身不生成任何代码，只靠静态断言触发检查；#T 和 #ExpectedSize 是预处理器字符串化，能提升错误信息可读性。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
对齐与填充导致的意外尺寸偏差
很多开发者以为手动算出成员字节和就等于 sizeof，但编译器插入的填充字节、默认对齐策略（如 alignof(std::max_align_t)）、#pragma pack 或 alignas 都会改变结果。
- 用
offsetof验证字段偏移，比单纯加总更可靠 - 检查是否意外启用了
#pragma pack(1)—— 它会让断言在不同编译单元行为不一致 - 模板类中若含
std::vector等类型，其大小平台相关（如指针宽度），跨平台断言要谨慎
真正容易被忽略的是：即使你确认了结构体布局，sizeof 在不同标准模式（C++14/C++17/C++20）下也可能因 ABI 变更而变化，尤其涉及空基类优化或 lambda 类型时。
