c++ - 替换可变参数模板列表中的第 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 在 replace_nth_type .因此你想要 typename replace_nth_type<...>::type得到std::tuple<...>它创造了。