C++17中constexpr函数支持编译期复杂逻辑，如阶乘计算，需满足字面类型参数、编译期可求值等条件，允许循环与局部变量。
在C++17中，constexpr函数已经支持在编译期执行更复杂的逻辑，不再局限于简单的返回表达式。这意味着你可以在编译时完成原本需要运行时计算的任务，比如数组长度计算、字符串处理甚至简单的算法执行。关键在于让编译器能确定所有输入都在编译期已知，并且函数满足constexpr的约束。
constexpr函数的基本要求
要使一个函数能在编译期执行，必须满足以下条件：
- 函数声明为constexpr
- 参数和返回类型都必须是字面类型（literal type）
- 函数体在编译期可求值——不能包含动态内存分配、I/O操作或未定义行为
- C++17起允许局部变量、循环和条件分支出现在constexpr函数中
例如，下面是一个可在编译期执行的阶乘函数：
constexpr int factorial(int n) {
int result = 1;
for (int i = 2; i <= n; ++i)
result *= i;
return result;
}
constexpr int val = factorial(5); // 编译期计算，val = 120
如何确保函数在编译期执行
即使函数是constexpr，它仍可能在运行时调用。要强制在编译期执行，需将其结果用于需要编译期常量的上下文中：
立即学习“C++免费学习笔记（深入）”；
- 作为模板非类型参数：
std::arrayarr; - 定义数组大小：
int buf[factorial(3)];（在C++标准允许的上下文中） - 初始化constexpr变量，且传入的参数也是编译期常量
如果传入的是运行时变量，函数会退化为普通函数，在运行时执行：
int n = 5; constexpr int a = factorial(n); // ❌ 错误：n不是编译期常量
实际应用场景
编译期计算能提升性能并增强类型安全。常见用途包括：
- 编译期字符串哈希：将字符串转换为哈希值，避免运行时重复计算
- 配置数据生成：预计算查找表或数学常量数组
- SFINAE或Concepts中的判断依据：用constexpr函数返回值参与编译期决策
示例：编译期计算字符串长度
constexpr size_t const_strlen(const char* str) {
size_t len = 0;
while (str[len] != '\0')
++len;
return len;
}
static_assert(const_strlen("hello") == 5, "");
基本上就这些。只要函数逻辑不涉及运行时特性，C++17的constexpr已经足够强大，能覆盖大多数编译期计算需求。关键是确保调用上下文能触发编译期求值。
