constexpr用于声明编译期常量表达式,1. constexpr变量必须在编译期确定值,如constexpr int size = 10;2. constexpr函数可在编译期调用,如constexpr int square(int x) { return x * x; };3. constexpr构造函数支持创建编译期对象,如constexpr Point p(1.5, 2.5);4. 优势包括提升性能、支持模板参数、替代宏等。

在C++中,constexpr 是一个关键字,用于声明“常量表达式”——即在编译期就能求值的表达式。它的主要作用是让变量、函数或构造函数的值尽可能在编译时确定,从而提升程序性能、支持更多编译期计算,并满足某些需要常量表达式的语言场景。
1. constexpr 变量:编译期常量
使用 constexpr 声明的变量必须在编译期就能确定其值,且类型必须是字面类型(literal type)。
例如:
constexpr int size = 10; int arr[size]; // 合法:size 是编译期常量
与 const 不同的是,const 只表示“不可修改”,但不一定在编译期有值;而 constexpr 强制要求值在编译期可知。
立即学习“C++免费学习笔记(深入)”;
下面的代码是错误的:
int n = 10; constexpr int size = n; // 错误:n 不是编译期常量
2. constexpr 函数:编译期可调用
如果一个函数被声明为 constexpr,它可以在编译期被调用,前提是传入的参数都是常量表达式。
例如:
constexpr int square(int x) {
return x * x;
}
constexpr int val = square(5); // 正确:在编译期计算,val = 25
注意:从 C++14 开始,constexpr 函数体内可以包含更复杂的逻辑,如循环和局部变量。但在 C++11 中,函数体只能包含一条 return 语句。
如果传入非常量,函数仍可在运行时调用:
int x = 5; int result = square(x); // 运行时调用,合法
3. constexpr 构造函数与自定义类型
你也可以将类的构造函数定义为 constexpr,这样就可以创建编译期常量对象。
例如:
class Point {
public:
constexpr Point(double x, double y) : x_(x), y_(y) {}
constexpr double getX() const { return x_; }
private:
double x_, y_;
};
constexpr Point p(1.5, 2.5); // 编译期创建对象
constexpr double px = p.getX(); // 编译期调用成员函数
该类必须满足字面类型的要求,所有成员函数和构造函数需符合 constexpr 规则。
4. 实际用途与优势
- 提高性能:编译期计算避免运行时开销。
- 支持模板元编程:许多模板需要非类型模板参数,必须是常量表达式。
- 数组大小定义:C++ 中数组大小必须是常量表达式,constexpr 变量可用作大小。
- 替代宏和枚举:相比宏,constexpr 类型安全;相比枚举,更灵活。
例如:
templatestruct Buffer { char data[N]; }; constexpr int bufSize = 256; Buffer
buffer; // 模板参数必须是编译期常量
基本上就这些。constexpr 让 C++ 的编译期计算能力变得更强大,合理使用能写出更高效、更安全的代码。不复杂但容易忽略。











