c++ static_assert与constexpr关系

static_assert 和 constexpr 都是 C++ 中用于在编译时进行条件检查的工具，但它们之间有一些关键区别。

1. static_assert 是一个编译时断言，用于在编译期间检查某个条件是否为真。如果条件为假，编译器将产生一个编译错误。static_assert 可以带有一个错误消息，以便在出现问题时提供有关错误的详细信息。

   语法：

   static_assert(常量表达式, "错误消息");
   

2. constexpr 是一个类型限定符，用于指定一个表达式或函数的值在编译时就可以确定。这意味着 constexpr 函数和变量的值在编译时就可以计算出来，而不需要在运行时计算。constexpr 可以用于变量、函数和类构造函数。

   语法：

   constexpr 类型 变量名 = 表达式;
   constexpr 函数名(参数列表) { 函数体 }
   

关系：

• static_assert 可以与 constexpr 结合使用，以确保在编译时满足特定条件。例如，你可以使用 constexpr 函数来计算某个值，然后使用 static_assert 来检查该值是否满足特定条件。
• 如果一个表达式或函数被声明为 constexpr，那么它可以在编译时用于 static_assert 断言，以确保在编译时满足特定条件。

示例：

#include <iostream>
#include <type_traits>

constexpr int square(int x) {
    return x * x;
}

int main() {
    static_assert(square(4) == 16, "Square of 4 should be 16");
    static_assert(square(5) == 25, "Square of 5 should be 25");

    constexpr int a = 4;
    constexpr int b = 2;
    constexpr int c = a + b;
    static_assert(c == 6, "The sum of a and b should be 6");

    return 0;
}

在这个示例中，我们定义了一个 constexpr 函数 square，用于计算整数的平方。然后，我们使用 static_assert 来确保在编译时满足特定条件。