静态断言（static_assert）是C++11引入的编译期检查机制，用于在编译时验证常量表达式是否成立，若不成立则终止编译并显示提示信息。其语法为static_assert(常量表达式, "提示信息")，适用于检查类型大小、模板参数约束等场景，如确保int为4字节或模板类型T必须为整数类型。与运行时assert不同，static_assert无需程序执行即可提前发现错误，支持全局和模板作用域，要求条件为编译期常量，提示信息建议非空以助调试，自C++17起可省略。合理使用可显著提升代码健壮性。
静态断言（static_assert）是 C++11 引入的一种在编译期进行条件检查的机制。它用于验证某些条件是否成立，如果条件不成立，编译器会在编译时产生错误提示，从而阻止程序继续编译。这使得开发者可以在代码编写阶段就发现潜在的问题，而不是等到运行时才暴露。
静态断言的基本语法
static_assert 的语法如下：
static_assert(常量表达式, "提示信息");其中：
- 常量表达式：必须是在编译期可求值的布尔表达式。
- "提示信息"：当断言失败时，编译器显示的字符串，帮助开发者定位问题。
例如：
立即学习“C++免费学习笔记（深入）”；
static_assert(sizeof(int) == 4, "int 类型必须为 4 字节");如果 int 不是 4 字节，编译将失败，并显示提示信息。
编译期检查的典型应用场景
static_assert 常用于模板编程和跨平台开发中，确保类型大小、对齐方式或模板参数满足特定要求。
常见用途包括：
- 检查基本类型的大小是否符合预期，避免因平台差异导致内存布局错误。
- 在模板中限制模板参数的类型特性，比如必须是 POD 类型或具有特定成员。
- 验证常量表达式的逻辑正确性，如数组长度不能为负。
示例：模板中限制只能使用整数类型
templatevoid process() {
static_assert(std::is_integral
}
process
process
与运行时断言 assert 的区别
assert 是头文件
而 static_assert 是编译期机制，不需要程序运行，只要条件不满足，直接报错，更早发现问题。
此外，static_assert 可以用于命名空间或类定义外的全局作用域，也可以出现在模板内部，适用范围更广。
注意事项与技巧
使用 static_assert 时需注意以下几点：
- 断言条件必须是编译期常量表达式，不能包含变量或函数调用（除非是 constexpr 函数）。
- 提示信息字符串不能为空（C++17 起允许省略字符串，但建议保留以便调试）。
- 在模板中使用时，static_assert 的触发时机取决于模板是否被实例化。
示例：使用 constexpr 函数参与判断
constexpr bool is_power_of_two(int n) {return n > 0 && (n & (n - 1)) == 0;
}
static_assert(is_power_of_two(16), "16 不是 2 的幂"); // 成功
static_assert(is_power_of_two(10), "10 不是 2 的幂"); // 编译失败
基本上就这些。static_assert 是提升代码健壮性和可维护性的有力工具，合理使用能显著减少低级错误。不复杂但容易忽略。
