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，也称为{{1}在 type中。因此，您希望replace_nth_type获取其创建的typename replace_nth_type<...>::type。

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

1 个答案: