constexpr是C++11标准引入的核心特性，用于在编译阶段完成变量、函数甚至类的计算，将原本运行时的计算工作提前到编译期完成，从而减少程序运行时的性能开销。它既可以用于修饰变量，也可以用于修饰函数，甚至支持修饰类的构造函数，让相关对象也能在编译期完成初始化。
constexpr的基本用法
修饰编译期常量
使用constexpr修饰的变量必须在编译期就能确定其值，因此它的初始化表达式必须是编译期可计算的。和普通的const变量不同，const变量可能是运行时初始化的，而constexpr变量一定是编译期初始化的。
#include <iostream>
// 编译期常量，值10在编译期确定
constexpr int compile_time_num = 10;
// 普通const变量，运行时初始化也可以，这里只是示例
const int run_time_num = 20;
int main() {
// 编译期数组，大小必须是编译期常量
int arr[compile_time_num] = {0};
std::cout << "数组大小: " << sizeof(arr)/sizeof(arr[0]) << std::endl;
return 0;
}
修饰编译期函数
constexpr修饰的函数如果在传入编译期参数的情况下被调用，其计算结果会在编译期完成。C++11中constexpr函数有较多限制，比如函数体只能有一条return语句，不能有循环、局部变量等；C++14之后放宽了限制，支持循环、局部变量、条件判断等逻辑。
#include <iostream>
// C++14及以上支持的constexpr函数，包含循环逻辑
constexpr int sum_to_n(int n) {
int result = 0;
for (int i = 1; i <= n; ++i) {
result += i;
}
return result;
}
int main() {
// 传入编译期常量10，计算在编译期完成
constexpr int compile_sum = sum_to_n(10);
// 传入运行时变量，计算在运行时完成
int run_num = 20;
int run_sum = sum_to_n(run_num);
std::cout << "编译期求和结果: " << compile_sum << std::endl;
std::cout << "运行时求和结果: " << run_sum << std::endl;
return 0;
}
constexpr编译期计算的适用场景
constexpr适合用于以下场景：
- 定义编译期常量，比如数组大小、模板参数、枚举值等，避免硬编码魔法数字。
- 实现编译期数学计算、逻辑判断，比如阶乘、斐波那契数列、数值校验等，减少运行时计算开销。
- 修饰类的构造函数，让类的对象可以在编译期完成初始化，适合实现编译期可用的数据结构。
- 替代部分模板元编程的场景，相比模板元编程的复杂语法，constexpr的代码可读性更高，编写更方便。
constexpr的限制条件
使用constexpr时需要注意以下限制：
- constexpr变量和函数的参数、返回值类型必须是字面量类型，比如基本数据类型、引用、指针、字面量类等。
- constexpr函数被调用时，如果传入的参数不是编译期常量，那么函数会在运行时执行，不会触发编译期计算。
- 在C++11标准中，constexpr函数体只能包含一条return语句，不能有循环、局部变量、switch等复杂逻辑，C++14及之后才放宽这些限制。
- constexpr类的构造函数不能包含虚函数，也不能有运行时才能初始化的成员变量。
constexpr与模板元编程的对比
在constexpr出现之前，编译期计算通常通过模板元编程实现，两者有以下区别：
| 对比项 | constexpr | 模板元编程 |
|---|---|---|
| 语法复杂度 | 接近普通函数语法，可读性强 | 语法晦涩，编写和调试难度大 |
| 适用场景 | 支持函数、变量、类，覆盖大部分编译期计算场景 | 主要用于类型计算、编译期逻辑推导 |
| 错误信息 | 编译错误信息更清晰，容易定位问题 | 错误信息冗长，难以理解 |
| 灵活性 | 可以同时支持编译期和运行时调用 | 只能用于编译期，无法在运行时使用 |
实际案例：编译期校验邮箱格式
我们可以通过constexpr实现一个简单的邮箱格式编译期校验函数，在编译期就能判断邮箱格式是否合法。
#include <iostream>
#include <cstring>
// 编译期校验邮箱是否包含@符号，且@不在开头和结尾
constexpr bool is_valid_email(const char* email) {
if (email == nullptr) return false;
int len = 0;
// 计算字符串长度
while (email[len] != ' ') {
++len;
}
if (len < 3) return false; // 最短邮箱至少a@b
// 查找@的位置
int at_pos = -1;
for (int i = 0; i < len; ++i) {
if (email[i] == '@') {
at_pos = i;
break;
}
}
// @必须存在，且不在开头和结尾
if (at_pos <= 0 || at_pos >= len - 1) return false;
return true;
}
int main() {
// 编译期校验，合法邮箱
constexpr bool valid = is_valid_email("test@ipipp.com");
// 编译期校验，不合法邮箱
constexpr bool invalid = is_valid_email("testipipp.com");
std::cout << "test@ipipp.com是否合法: " << std::boolalpha << valid << std::endl;
std::cout << "testipipp.com是否合法: " << std::boolalpha << invalid << std::endl;
return 0;
}
通过上面的案例可以看到，constexpr可以很方便地实现编译期的逻辑判断，相比运行时校验，这种方式可以在编译阶段就发现格式错误，提前规避问题。