为何我的std::tuple转换类型特性中参数包展开失败？

需求是实现一个编译期类型特性my_tuple_transform，接收std::tuple和一元类型特性（比如std::remove_pointer），生成一个新的std::tuple，其中每个元素类型都是原元组对应类型应用该特性后的结果。例如：
my_tuple_transform<std::tuple<int*, float&, double*>, std::remove_pointer>::type 应等价于 std::tuple<int, float&, double>。

递归实现可以轻松完成，但尝试用参数包展开的“迭代”方案时遇到编译错误，代码如下：

template <typename Tuple, template<typename> typename TraitPredicate>
struct my_tuple_trasform;

template <template<typename> typename TraitPredicate, typename... Ts>
struct my_tuple_trasform<std::tuple<Ts...>, TraitPredicate>
{
    using type = std::tuple<(typename TraitPredicate<Ts>::type)...>;
};

编译器报错提示(typename TraitPredicate<Ts>::type)不被识别为参数包，且将带省略号的整个表达式视为std::tuple的第一个模板参数。

问题原因与修正 #

错误出在参数包展开时多余的括号。C++中对参数包的直接展开不需要额外包裹括号，括号会让编译器将(typename TraitPredicate<Ts>::type)...解析为单个模板参数（而非展开后的多个参数），从而导致编译失败。

修正后的代码如下：

template <typename Tuple, template<typename> typename TraitPredicate>
struct my_tuple_transform;

template <template<typename> typename TraitPredicate, typename... Ts>
struct my_tuple_transform<std::tuple<Ts...>, TraitPredicate>
{
    using type = std::tuple<typename TraitPredicate<Ts>::type...>;
};

去掉typename TraitPredicate<Ts>::type外层的括号后，编译器会正确识别这是对参数包Ts...的展开：每个Ts都会被代入TraitPredicate得到对应的类型，最终所有结果会作为std::tuple的模板参数列表，生成符合预期的元组类型。

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