问题描述
扩展参数包的语法是什么，我想要的类型直接取决于参数包中的类型？
例如：
template <typename T>
struct foo
{
typedef T value_type;
};
template <typename ... T>
struct aggregate_of_foo
{
typedef std::tuple<foo<T>::value_type...> tuple; // MSVC compiler error here
};
解决方法
如果您在foo中使用bar而不是typedef，则之前只是缺少typename关键字：
template <typename ... T>
struct aggregate_of_foo
{
using tuple_foo = std::tuple<typename foo<T>::value_type...>;
// ^^^^^^^^
};
还请注意，我将其命名为tuple_foo，因为这比仅拥有tuple更有意义。
您必须使用关键字typename，因为在这种情况下value_type是一个从属名称。
template <typename ... T>
struct aggregate_of_foo
{
typedef std::tuple<typename foo<T>::value_type...> tuple; //here
};