静态断言在编译期验证条件，若不成立则中断编译并提示错误。1. 可检查类型大小如static_assert(sizeof(int)==4,"int must be 4 bytes");2. 模板中约束类型如要求T为整型；3. 验证常量表达式如缓冲区大小为2的幂。与运行时assert不同，static_assert无运行开销，适用于所有构建模式，需表达式为编译期常量，提升代码健壮性尤其在模板和底层开发中。
静态断言（static_assert）是 C++11 引入的一项编译期检查机制，能够在编译阶段验证某些条件是否成立。如果断言失败，编译器会报错并中断编译，帮助开发者尽早发现类型、常量表达式或模板参数相关的问题。
基本语法
static_assert 的语法有两种形式：
static_assert(常量表达式, "提示信息");// 或 C++17 起可省略提示信息
static_assert(常量表达式);
其中“常量表达式”必须是在编译期可求值的布尔表达式。如果表达式为 false，编译器将输出后面的字符串并终止编译。
常见使用场景
1. 检查数据类型的大小
在跨平台开发中，确保某种类型满足预期大小非常关键。
如果目标平台上 int 不是 4 字节，编译就会失败，并提示错误信息。
立即学习“C++免费学习笔记（深入）”；
2. 模板编程中的类型约束
在泛型代码中，可以用 static_assert 限制模板参数的类型。
void process(T value) {
static_assert(std::is_integral<T>::value, "T must be an integral type");
// 处理整型数据
}
这样当用户传入 float 或 string 类型时，编译器会报错，避免运行时出错。
3. 验证常量表达式或枚举值
constexpr int buffer_size = 256;
static_assert(buffer_size > 0 && (buffer_size & (buffer_size - 1)) == 0,
"buffer_size must be a positive power of two");
这段代码确保缓冲区大小是 2 的幂，常用于位运算优化场景。
与 assert 的区别
assert 是运行时断言，依赖头文件 <cassert>，只在 Debug 模式生效。而 static_assert 完全在编译期执行，不产生运行时开销，适用于所有构建模式。
例如：
assert(ptr != nullptr); // 运行时检查static_assert(sizeof(void*) == 8, "only 64-bit supported"); // 编译时检查
两者用途不同，不能互相替代。
基本上就这些。合理使用 static_assert 可以提升代码健壮性和可维护性，尤其在模板和系统底层开发中非常实用。注意表达式必须是编译期常量，否则无法通过编译。
