static_assert在C++11中用于编译期断言，语法为static_assert(常量表达式, "提示信息")；若表达式为false则触发带提示的编译错误；常用于模板编程中进行类型约束、尺寸验证和常量检查；例如限制模板仅接受整数类型或确保对象大小不超过缓冲区容量；不参与SFINAE，触发即硬性失败，适合在最终路径校验或捕获未特化类型，提升错误可读性。
在C++11中，static_assert 提供了编译期断言的能力，它能在代码编译时检查条件是否成立。如果条件不成立，编译失败并显示指定的错误信息。这在模板编程中特别有用，因为模板往往需要对类型或常量表达式进行约束，而这些约束无法在运行时才被发现。
基本语法
static_assert 的语法如下：
static_assert(常量表达式, "提示信息");其中“常量表达式”必须在编译期可求值，若结果为 false，则触发编译错误，“提示信息”会作为错误输出的一部分。
在模板编程中的典型应用
模板代码通常依赖于类型的特定属性，比如是否是整数、是否有默认构造函数、大小是否匹配等。static_assert 可以在模板实例化时验证这些前提条件，避免产生晦涩的编译错误。
立即学习“C++免费学习笔记（深入）”；
常见使用场景包括：
- 类型约束检查：确保传入的类型满足特定要求。
- 尺寸一致性验证：例如确保某个类型的大小符合预期，常用于序列化或内存布局敏感的代码。
- 常量表达式验证：在 constexpr 函数或模板中检查计算结果。
示例：限制模板只接受整数类型
templatevoid process_integer(T value) {
static_assert(std::is_integral
// ...
}
当用户尝试用 float 调用 process_integer 时，编译器会直接报错，并提示 “T must be an integral type”，而不是在实例化过程中因不支持的操作导致一长串模板展开错误。
另一个例子：确保固定缓冲区足够大
templatestruct BufferHolder {
static_assert(sizeof(T) char buffer[64];
};
这样可以在设计协议或嵌入式结构时，防止意外放入过大的类型。
与SFINAE结合使用
static_assert 不会参与 SFINAE（替换失败不是错误）机制。一旦触发失败，就是硬性编译错误。因此，若希望提供多个重载并让编译器自动选择，应使用 enable_if 等技术先行筛选，再用 static_assert 在最终选中的路径中做进一步校验。
例如，在一个主模板中使用 static_assert(false, "...") 来捕获未特化的非法调用：
templatestruct my_trait {
static_assert(std::is_same
};
这能帮助开发者意识到忘记为某种类型提供特化版本。
基本上就这些。合理使用 static_assert，能让模板接口更清晰、错误更友好，是现代 C++ 元编程中不可或缺的工具。不复杂但容易忽略。
