C++编程法则365天一天一条（9）static_assert静态断言

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我们可以实现很多编译期的断言，将风险扼杀于摇篮之中。