c++ static_assert限制条件有哪些

static_assert 是 C++11 引入的一个关键字，用于在编译时期进行断言检查。它允许程序员在代码中定义一些条件，如果这些条件不满足，编译器将产生编译错误。这有助于在开发过程中捕获潜在的问题，提高代码的健壮性。

static_assert 的限制条件如下：

1. 类型检查：static_assert 可以对类型进行检查。例如，你可以检查一个类型是否为特定类型或其派生类型。

   static_assert(std::is_same<int, int>::value, "int 类型检查失败");
   static_assert(std::is_base_of<Base, Derived>::value, "Derived 类不是 Base 类的派生类");
   

2. 常量表达式：static_assert 必须使用常量表达式作为其参数。这意味着你不能使用变量或运行时计算的值。

   constexpr int value = 42;
   static_assert(value == 42, "value 检查失败");
   

3. 错误信息：当 static_assert 条件为 false 时，编译器将生成一条错误信息。这条信息应足够详细，以便于程序员快速定位问题。

   static_assert(sizeof(int) == 4, "int 类型大小检查失败");
   

4. 嵌套使用：你可以在一个 static_assert 中嵌套使用另一个 static_assert，以进行更复杂的条件检查。

   static_assert(std::is_integral<int>::value, "int 必须是整数类型");
   static_assert(std::is_floating_point<double>::value, "double 必须是浮点类型");
   

5. 与条件运算符结合使用：你可以使用条件运算符（? :）将 static_assert 与其他表达式结合使用，以实现更复杂的条件检查。

   static_assert((true ? 1 : 0) == 1, "条件运算符测试失败");
   

6. 与模板特化结合使用：你可以使用 static_assert 与模板特化结合使用，以便在不同的模板参数下执行不同的检查。

   template <typename T>
   void foo() {
       static_assert(std::is_integral<T>::value, "T 必须是整数类型");
   }
   

总之，static_assert 是一个强大的编译时断言工具，可以帮助你在开发过程中捕获潜在的问题。然而，由于它依赖于编译时计算，因此不能用于运行时错误检查。