static_assert ( bool-constexpr , message ) (since C++11)
static_assert ( bool-constexpr ) (since C++17)
static_assert 是 C++11 引入的关键字，用于在编译时静态断言某个表达式的值是否为 true。static_assert 主要有下面两个用途：
-
代码静态检查：通过在编译时进行静态断言，可以在开发过程中尽早地发现代码中的问题，避免运行时出现异常。
-
可读性和可维护性：使用 static_assert 可以增强代码的可读性和可维护性。在一些特定情况下（例如模板编程），static_assert 还可以作为语言特性的替代品，实现更加灵活的编程。
通常情况下，static_assert 的第一个参数是一个编译期可求值的布尔类型表达式，如果该表达式的值为 false，则编译器将产生一条错误消息，并停止编译过程。
第二个参数是编译器出错时的错误信息，即你希望展示给程序员的错误提示。
当一个程序涉及到固定大小的数据结构时，使用 static_assert 可以增强代码安全性。例如，假设我们需要定义一个大小为 16 的数组，但是在实际使用中可能会误将其定义为长度为 15，这时就可以使用 static_assert 进行静态断言，确保数组大小正确：
constexpr size_t kArraySize = 16;
int array[kArraySize];
// 断言数组大小是否正确
static_assert(kArraySize == 16, "Array size should be 16");
// 使用数组
array[0] = 10;
如果误将数组定义为长度为 15，则编译会立即失败并输出断言失败消息。通过这种方式，可以在编译前发现问题，避免在运行时出现数组越界等问题。
另外，在模板编程中，static_assert 也有广泛应用。例如，在定义模板类或模板函数时，可以使用 static_assert 对传入的模板参数进行检查，确保其满足某个约束条件，避免出现编译错误。例如：
template <typename T>
class MyClass {
static_assert(std::is_integral<T>::value, "T must be an integral type");
// ...
};
上述代码中，使用 static_assert 对模板参数 T 进行了类型检查，确保 T 必须是一个整型类型。如果 T 是一个非整型类型，则在编译时会产生一条错误消息。这样，在使用 MyClass 时，就能够在编译期检查出非法的类型参数，避免在运行时出现异常。
值得一提的是，std提供了很多模板函数，结合static_assert我们可以实现很多编译期的断言，将风险扼杀于摇篮之中。