C++11中constexpr函数体必须且仅能有一条return语句，不可有变量声明、分支循环等；条件逻辑需用三目运算符，递归终止也须内联于return表达式中。
constexpr 函数体只能包含一条 return 语句（C++11）
C++11 的 constexpr 函数限制极严：函数体内**必须且仅能有一条可执行语句**，且必须是 return。这意味着不能有变量声明（哪怕 constexpr int x = 42;）、不能有 if/for/while、不能有逗号表达式、甚至不能有空语句或花括号块（除非是返回值的初始化列表）。
常见错误现象：error: constexpr function's body not a single return statement。
- 正确写法只能是类似
constexpr int square(int x) { return x * x; } - 想做条件判断？得用三目运算符：
return x > 0 ? x : -x;，不能写if (x > 0) return x; else return -x; - 想计算阶乘？必须递归 + 三目终止：
return n - 局部
static或普通变量声明直接报错；constexpr变量声明也不允许（C++11 中它本身不是语句）
所有参数和返回类型必须是字面类型（LiteralType）
不是所有类型都能参与编译期计算。C++11 要求 constexpr 函数的参数和返回类型必须是字面类型——即能拥有字面常量值的类型，包括算术类型、指针、引用、枚举，以及满足特定条件的类（有 trivial 构造、析构，所有非静态成员均为字面类型等）。
常见踩坑点：
立即学习“C++免费学习笔记（深入）”；
-
std::string不是字面类型 →constexpr std::string f() { ... }非法 - 自定义类若含
std::vector成员或虚函数，就不是字面类型 - 数组类型可以，但必须是已知大小的内置类型数组，如
int[5]；int[]（不完整类型）不行 - 返回
const int&是允许的，但前提是引用的对象本身是编译期可知的（比如引用全局constexpr变量）
函数调用实参必须是常量表达式，否则退化为普通函数调用
constexpr 函数不是“强制编译期执行”，而是“允许在常量表达式中使用”。是否真在编译期求值，取决于调用时的实参是否构成常量表达式。
例如：
constexpr int add(int a, int b) { return a + b; }
constexpr int x = add(2, 3); // ✅ 编译期计算，x 是字面常量
int y = 5;
int z = add(y, 3); // ❌ 运行时调用（y 非常量表达式），但语法合法
关键判断点：
- 实参必须是常量表达式：字面量、
constexpr变量、其他constexpr函数调用结果（且其参数也满足） - 任何涉及运行时输入（如
cin >> n;后的n）、未初始化变量、new表达式，都会导致调用无法用于常量上下文 - 即使函数本身符合
constexpr语法，只要一次调用用了非常量实参，该次调用就只是普通函数调用，不触发编译期计算
递归深度受限，且不能有副作用
C++11 允许 constexpr 函数递归，但编译器对嵌套层数有硬性限制（如 GCC 默认 512 层，Clang 约 1024），超限会报 error: constexpr evaluation hit maximum step limit 或类似提示。
同时，所有操作必须无副作用：不能修改全局/静态变量、不能调用非 constexpr 函数（包括 std::printf、new、throw）、不能有 volatile 访问。
- 常见误用：
static int counter = 0; ++counter;→ 违反无副作用要求 -
throw std::logic_error("oops");→ C++11 中throw不是常量表达式操作 - 试图在
constexpr函数里调用std::sqrt？不行——标准库绝大多数数学函数在 C++11 中都不是constexpr的 - 递归爆栈不是运行时问题，而是编译失败；需手动展开或改用迭代式逻辑（但 C++11 不支持循环语句，所以只能靠模板元编程补位）
C++11 的 constexpr 更像一个“受限的编译期表达式包装器”，而非真正的编译期编程工具。它的边界非常清晰：单语句、字面类型、纯函数式、无状态。一旦越界，编译器不会尝试推导或降级处理，而是直接报错——这点和 C++14 及之后的宽松规则有本质区别。
