C++如何使用模板计算斐波那契数列（编译期）-C++-PHP中文网

constexpr比模板递归更推荐，因其更清晰安全、支持运行时回退、避免编译器递归深度限制且不占用模板实例化资源；但需在常量表达式上下文中调用才能真正编译期求值。

c++如何使用模板计算斐波那契数列（编译期）

为什么 `constexpr` 比模板递归更推荐

编译期计算斐波那契，最直接想到的是模板元编程（TMP）递归，比如用 template<int n> struct fib</int>。但 C++11 起，constexpr 函数已能更清晰、更安全地完成相同任务，且支持运行时回退。模板递归在 N 较大时容易触发编译器递归深度限制（如 GCC 默认 900 层），而 constexpr 函数由编译器自动优化为常量表达式，不占模板实例化资源。

实际项目中，除非你明确需要 C++11 之前兼容，或必须嵌入类型系统（比如生成不同长度的数组类型），否则优先写 constexpr 版本。

`constexpr` 斐波那契函数怎么写才真正编译期求值

关键不是加了 constexpr 就一定在编译期算——它只是“允许”编译期求值，最终是否发生，取决于调用上下文是否为常量表达式。下面是最小可靠写法：

constexpr int fib(int n) {
    if (n 
<p>使用时必须确保参数是字面量或 <code>constexpr</code> 变量：</p>

constexpr int x = fib(20); → ✅ 编译期计算
const int y = fib(20); → ❌ 运行时调用（C++14 起仍可能被优化，但不保证）
int z = fib(20); → ❌ 必然运行时

注意：C++14 起 constexpr 函数支持更多语句（如循环、局部变量），可改写为迭代版避免栈展开深度问题：

constexpr int fib(int n) {
    if (n 

<h3>硬要用模板递归？这些坑躲不开</h3>
<p>如果坚持用传统模板方式（例如为了教学或遗留系统），必须处理三个现实问题：</p><div class="aritcle_card flexRow artxards">
											<div class="artcardd flexRow">
												<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master"><img
														src="https://img.php.cn/upload/skill/000/000/081/179051228971575.jpg" alt="C++ Code Review Master" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
												<div class="aritcle_card_info flexColumn">
													<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="overflowclass">C++ Code Review Master</a>
													<p class="overflowclass">组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。</p>
												</div>
												<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
												</a>
											</div>
										</div>

fib 和 fib 必须特化，否则递归无终止条件，编译失败
默认情况下，fib<n></n> 的值需通过 ::value 访问，不能直接当整型字面量用（C++17 起可用 inline constexpr 静态成员变量缓解）
GCC/Clang 对模板递归深度有限制，fib 很可能报错 error: template instantiation depth exceeds maximum of 900

一个最小可行模板定义：

template<int n>
struct fib {
    static constexpr int value = fib<n-1>::value + fib<n-2>::value;
};

template
struct fib { static constexpr int value = 0; };

template
struct fib { static constexpr int value = 1; };</n-2></n-1></int>

使用：static_assert(fib::value == 55, "");