constexpr模板函数fibon1编译报错：模板实例化超限问题排查

核心差异在于**if constexpr的分支结构处理逻辑**：

• fibon2采用if constexpr ... else if constexpr ... else的链式分支：当某个条件满足时，编译器会直接跳过后续所有分支（包括else块里的递归调用），不会触发不必要的模板实例化。比如x=2时，第三个else if constexpr条件成立，后续的else分支被完全丢弃，不会去实例化fibon2<1>()和fibon2<0>()。

• fibon1使用三个独立的if constexpr语句：每个if constexpr仅会跳过自身的语句块，不会影响后续代码。即使x=2时已经通过第三个if constexpr返回结果，编译器仍然会尝试处理后面的return fibon1<x-1>() + fibon1<x-2>();语句，触发fibon1<1>()和fibon1<0>()的实例化。而这两个实例化又会各自触发自身后续的递归调用，最终导致无限递归的模板实例化，超出编译器的实例化深度限制。

要修复fibon1，只需把独立的if constexpr改成链式的else if constexpr结构，和fibon2保持一致：

template <int32_t x>
constexpr int32_t fibon1() {
  if constexpr (x == 0) return 1;
  else if constexpr (x == 1) return 1;
  else if constexpr (x == 2) return 1;
  else
    return fibon1<x - 1>() + fibon1<x - 2>();
}

内容的提问来源于stack exchange，提问作者user3703826