如何让std::conditional_t支持递归场景？以指针剥离为例

问题场景 #

我尝试用以下代码递归剥离类型中的指针：

template <typename T>
struct peel {
    using type = std::conditional_t<std::is_pointer_v<T>, typename peel<std::remove_pointer_t<T>>::type, T>;
};

template <typename T>
using peel_t = typename peel<T>::type;

但调用peel_t<int *>时触发编译错误：

error: no type named 'type' in 'peel'

我原本认为std::conditional_t已经处理了非指针类型的终止逻辑，但实际运行不符合预期。需要实现能通过如下检查的递归指针剥离逻辑：

static_assert(std::is_same_v<peel_t<int **>, int>);

问题根源 #

C++模板实例化遵循全分支实例化规则：std::conditional_t的两个分支类型都会被完整实例化，无论条件表达式的真假。当处理peel<int*>时，编译器会尝试解析true分支的typename peel<std::remove_pointer_t<int*>>::type（即peel<int>::type）。此时实例化peel<int>时，它的type定义又会触发std::conditional_t的计算，尽管false分支是int，但递归实例化的循环会导致编译器无法正确解析peel<int>::type，最终抛出错误。

解决方法：模板偏特化终止递归 #

改用模板偏特化明确区分指针与非指针类型的处理逻辑，这是C++模板递归的标准实现方式：

// 主模板：处理非指针类型，作为递归终止条件
template <typename T>
struct peel {
    using type = T;
};

// 偏特化：处理指针类型，递归剥离一层指针
template <typename T>
struct peel<T*> {
    using type = typename peel<T>::type;
};

template <typename T>
using peel_t = typename peel<T>::type;

工作原理 #

• 当传入非指针类型（如int）时，直接匹配主模板，type被定义为原类型，递归终止；
• 当传入指针类型（如int*、int**）时，匹配偏特化模板，剥离一层指针后递归调用peel，直到得到非指针类型。

测试代码可正常通过编译：

static_assert(std::is_same_v<peel_t<int **>, int>); // 编译成功

为什么std::conditional_t不适合这种递归？ #

std::conditional_t的设计目标是在两个已存在的类型中做选择，而非避免未选中分支的实例化。在递归场景中，未被选择的分支仍会被实例化，导致无限递归（即使逻辑上不会执行到该分支）。模板偏特化则是在编译期直接匹配对应的类型模式，仅实例化匹配的模板版本，从根源上避免了不必要的递归实例化。

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