C++递归模板特化如何避免重复书写std::conditional_t表达式

方案1：封装独立的别名模板（推荐） #

把重复的类型计算逻辑抽成全局的别名模板，这是最简单无额外开销的实现方式：
首先提前做必要的前置声明，再定义别名模板：

// 前置声明C类模板
template <typename... T>
class C;
// 封装继承类型计算逻辑的别名模板
template <typename First, typename... Rest>
using C_ParentType = std::conditional_t<sizeof...(Rest) != 0, C<Rest...>, Empty>;

之后你的递归特化代码就可以简化为：

template <typename FIRST, typename ... REST>
class C<FIRST, REST...>: public C_ParentType<FIRST, REST...>
{
public:
    using C_ParentType<FIRST, REST...>::Set;
    void Set(FIRST);
};

方案优势 #

• 完全符合C++所有版本的语法规范，不会触发你之前遇到的模板参数限制问题
• 纯编译期计算，和直接手写重复表达式的运行、编译效率完全一致
• 后续需要调整继承逻辑时只需要修改一次别名模板，维护成本更低
  如果不想对外暴露C_ParentType这个辅助别名，可以把它放在内部命名空间中隐藏，不影响对外接口。

补充说明 #

你之前尝试的两种方案确实不可行，属于C++标准的明确限制：

• 类模板的特化不允许声明默认模板参数，仅主模板支持默认参数定义
• 可变参数模板的参数包必须是模板参数列表的最后一项，后方不能跟随其他带默认值的模板参数

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