C++变参模板递归为何结构体模板报错而函数模板正常？

核心差异来自两个特性的行为区别：编译期分支的短路规则、模板实例化时机 #

1. 结构体模板报错的原因 #

你写的结构体模板存在两个问题：

• 没有定义递归终止的偏特化版本，原始的Tag2IDImpl模板要求至少传入3个模板参数（counter、TTag、Head，剩余的Tails可以为空）
• 三元运算符?:不支持编译期分支短路：就算std::is_same_v<TTag, Head>判断为真，编译器也必须实例化冒号后的Tag2IDImpl<counter+1, TTag, Tails...>表达式，不会因为走不到这个分支就跳过实例化。

当递归到最后一个类型参数时，Tails已经是空包，此时实例化冒号后的Tag2IDImpl就只会传入2个模板参数，和定义要求的最少3个参数不匹配，自然就报参数数量错误。

2. 函数模板能正常运行的原因 #

你的函数模板用了C++17引入的if constexpr语法，这个语法的核心特性就是不符合条件的分支会被直接丢弃，不会进行实例化：
当递归到TTails是空包时，if constexpr(sizeof...(TTails)>0)的条件不成立，里面的Tag2IDImpl<counter+1, TTag, TTails...>()调用根本不会被编译器实例化，自然也就不会触发模板参数数量不匹配的检查。

修复结构体模板的方法 #

只需要补充一个递归终止的偏特化版本即可：

// 终止特化：只剩最后一个类型参数时的判断逻辑
template <size_t counter, typename TTag, typename Head>
struct Tag2IDImpl<counter, TTag, Head> {
  constexpr static int value = std::is_same_v<TTag, Head>? counter : -1;
};

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