static_assert 是 C++11 提供的编译期断言机制，用于在编译阶段检查条件并输出错误信息。它无运行时开销，适用于类型约束与模板编程，如确保 int 为 4 字节：static_assert(sizeof(int) == 4, "int 类型必须为 4 字节"); 在模板中可限制类型，例如 template void process(T value) { static_assert(std::is_integral::value, "T 必须是整数类型"); }，若用 float 调用则编译失败。结合 type traits 可实现复杂判断，如 template struct type_checker { static_assert(std::is_same::value, "T 和 U 应该是相同类型"); }; 它能尽早暴露错误，提升代码安全性与开发效率，是现代 C++ 中重要的类型安全工具。
static_assert 是 C++11 引入的一个编译期断言机制，它允许程序员在代码编译阶段对某些条件进行检查。如果断言的条件不成立，编译器会立即报错并停止编译，同时输出指定的错误信息。这使得很多潜在问题可以在运行前被发现，尤其适用于模板编程和类型约束场景。
编译期检查，避免运行时开销
与传统的 assert 不同，static_assert 在编译期间起作用，不会产生任何运行时开销。这意味着所有检查都在代码生成之前完成，有助于提升程序性能和安全性。
例如，确保某个类型大小符合预期：
static_assert(sizeof(int) == 4, "int 类型必须为 4 字节");若平台上的 int 不是 4 字节，编译将失败，并提示相应信息。这种方式特别适合跨平台开发中保证数据布局一致性。
立即学习“C++免费学习笔记（深入）”；
在模板编程中限制类型要求
模板代码通常需要对类型有特定假设，比如必须是 POD 类型、必须支持某种运算等。使用 static_assert 可以清晰表达这些约束。
示例：编写一个只接受整数类型的模板函数：
template
void process(T value) {
static_assert(std::is_integral
// 处理逻辑
}
当用户尝试用 float 调用 process 时，编译器会因断言失败而报错，提示类型不符合要求，从而提高接口可用性和调试效率。
配合常量表达式进行复杂条件判断
static_assert 的条件必须是常量表达式，即在编译期可求值的布尔表达式。这使其能与 constexpr、type traits 等特性结合，实现复杂的编译期逻辑验证。
例如，检查两个模板参数是否具有相同的底层类型：
templatestruct type_checker {
static_assert(std::is_same<:decay_t>, std::decay_t>::value,
"T 和 U 应该是相同类型");
};
这种检查能在实例化模板时立刻暴露类型误用问题，减少后期调试成本。
基本上就这些。static_assert 虽然简单，但在保障类型安全、提升代码健壮性方面非常有效，是现代 C++ 编程中不可或缺的工具之一。合理使用它，能让错误尽早暴露，提升开发体验。不复杂但容易忽略。
