C++中constexpr

概述

在C++中，constexpr是一个类型说明符，它用于指定一个变量或函数是“常量表达式”。
constexpr的主要目的是允许在编译时计算值，而不是在运行时。

当一个变量被声明为constexpr时，它的值必须在编译时就可以确定。这通常意味着它必须被初始化为一个常量表达式。

使用示例

constexpr修饰变量

constexpr int x = 5;    // 正确：x是一个常量表达式  
constexpr int y = x * 2; // 正确：y也是一个常量表达式，因为它依赖于另一个常量表达式   
constexpr int z = someFunction(); // 错误：除非someFunction是一个constexpr函数，否则z的值不能在编译时确定

上面的函数someFunction()若是改为：

constexpr int someFunction(){
	return int();
}

就可以使用：

constexpr int z = someFunction(); 

constexpr修饰函数

constexpr也可以用于函数。如果一个函数被声明为constexpr，那么它必须满足以下条件：

1. 函数的返回类型必须是字面类型（literal type），这通常意味着它必须是基本类型、数组、类或结构体（如果这些类或结构体满足某些额外条件）。

2. 函数体必须包含一条return语句。

3. 函数中使用的所有变量都必须是常量表达式。

4. 函数中不能调用非constexpr函数。
   下面是一个简单使用：

constexpr int add(int a, int b) {  
    return a + b;  
}  
  
constexpr int result = add(2, 3); // 正确：result是一个常量表达式，因为add是一个constexpr函数

//非constexpr函数
void increase(int& a) {
    a += 3;
}

constexpr int someFunction(int a) {
    if (a == 1) {
//        increase(a);//不能调用非constexpr函数，否则编译无法通过
        return a;
    }
    return int();
}

constexpr int e = someFunction(1);

优点

使用constexpr有几个优点：

• 性能：由于constexpr的值在编译时就已经确定，因此没有运行时开销。
• 类型安全：编译器可以在编译时检查constexpr表达式，这有助于捕获类型错误。
• 优化：编译器可以对constexpr表达式进行优化，因为它们是常量。

注意

尽管constexpr函数在编译时计算，但它们并不总是内联的。要强制内联，可以使用inline说明符。此外，即使一个函数是constexpr的，编译器也不一定会在编译时评估它。这取决于函数的使用上下文。

例如：
如果constexpr函数的结果被用作非constexpr上下文中的变量初始化值，那么该函数可能在运行时被调用。

constexpr int someFunction(int a) {
    if (a == 1) {
        return a;
    }
    return int();
}
int main()  
{
    int a = someFunction(22);
    cout<<"a = "<<a<<endl;
    cout << "----------------------------------" << endl;

    return 0;
}