替换可变参数模板列表中的第 n 个元素

Question

我尝试使用THIS ANSWER 来完成以下工作： （替换可变参数列表中的第 n 个元素并将其打包为元组）

template<typename... Ts>
using pack_as_tuple = std::tuple<Ts...>;


template< std::size_t N, typename T, typename... Ts>
struct replace_nth_type_in_list
{
    typedef replace_nth_type<N,T, pack_as_tuple<Ts...>> type;
};


int main()
{
    using U = std::tuple<std::string,unsigned,size_t,double>;
    using rep0 = replace_nth_type<0,char,U>::type;
    using rep1 = replace_nth_type<1,char,U>::type;
    using rep2 = replace_nth_type<2,char,U>::type;
    using rep3 = replace_nth_type<3,char,U>::type;
    static_assert(std::is_same<rep0, std::tuple<char,unsigned,size_t,double>>::value, "Error!");
    static_assert(std::is_same<rep1, std::tuple<std::string, char,size_t,double>>::value, "Error!");
    static_assert(std::is_same<rep2, std::tuple<std::string, unsigned,char,double>>::value, "Error!");
    static_assert(std::is_same<rep3, std::tuple<std::string, unsigned,size_t,char>>::value, "Error!");

    using repList0 = replace_nth_type_in_list<0,char,std::string,unsigned,size_t,double>::type;
    static_assert(std::is_same<repList0, std::tuple<char,unsigned,size_t,double>>::value, "Error!");
    return 0;
}

但是最后一个静态断言被触发了。可以看直播例子HERE 有人可以向我解释一下，为什么会发生这种情况以及如何解决这个问题？

Answer 1

知道了！就是这一行：

typedef replace_nth_type<N,T, pack_as_tuple<Ts...>> type;

应该是：

typedef typename replace_nth_type<N,T, pack_as_tuple<Ts...>>::type type;

因为否则您的 type 将是 replace_nth_type<...> 类型，而不是它应该创建的类型，并且它作为 typedef “返回”，也称为 type within em>replace_nth_type。因此，您希望 typename replace_nth_type<...>::type 获得它创建的 std::tuple<...>。