不能直接写 Factorial::value 是因为缺少特化终止条件，会导致编译器无限递归实例化模板而报错；应使用 unsigned int 或 size_t 并提供 N==0 的全特化；constexpr 函数更简洁灵活，但二者在常量求值和类型安全上各有优劣。
为什么不能直接写 Factorial<n>::value</n> 就完事？
因为缺少特化终止条件，编译器会无限递归实例化模板，最终报错 error: template instantiation depth exceeds maximum 或类似堆栈溢出提示。模板元编程的“递归”不是运行时调用，而是编译器不断生成新类型的过程，必须显式提供边界——也就是对某个输入（如 N == 0）给出不依赖自身的新定义。
template<int N> 和 template<unsigned int N> 哪个更安全？
优先用 unsigned int 或 size_t。阶乘在数学上只对非负整数有定义，而 int 允许负值，一旦传入负数（比如 Factorial），特化无法匹配，仍会触发无限展开。用无符号类型能从类型层面排除非法输入，配合 static_assert 更稳妥：
template<unsigned int N>
struct Factorial {
static_assert(N <= 20, "N too large for int overflow safety");
static constexpr unsigned long long value = N * Factorial<N-1>::value;
};
<p>template<>
struct Factorial<0> {
static constexpr unsigned long long value = 1;
};
用 constexpr 函数替代类模板是否更好？
现代 C++（C++14 起）中，constexpr 函数是更简洁、可读性更高的替代方案，且支持运行时参数（只要上下文允许常量求值）。但它和模板元编程有本质区别：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 类模板方式：强制要求参数为编译期常量，类型安全强，但只能用于字面量整型等有限类型
-
constexpr函数：参数可以是变量（若未在常量表达式中使用，则退化为普通函数），灵活性高，但编译器不一定在所有场景下做常量折叠
示例对比：
立即学习“C++免费学习笔记（深入）”；
// 模板方式 —— 必须字面量
constexpr auto x = Factorial<5>::value; // OK
<p>// constexpr 函数方式
constexpr unsigned long long factorial(unsigned n) {
return n < 2 ? 1 : n * factorial(n-1);
}
constexpr auto y = factorial(5); // OK
auto z = factorial(some_runtime_int); // 也 OK，运行时执行
实际项目里最容易被忽略的三个点
一是整数溢出：Factorial<13>::value 已超 int 范围，必须提前选好返回类型（推荐 unsigned long long）；二是编译时间成本——Factorial<1000> 不会崩溃，但会让编译器生成上千个实例，拖慢构建；三是调试困难：错误信息通常是一长串嵌套模板名，建议用 IDE 的“Go to Definition”或编译器带 -ftemplate-backtrace-limit=0 查看完整展开链。
