具有可变参数模板的依赖类型

Question

你能看出这个函数声明有什么问题吗？

template<typename... Containers>
std::tuple<typename Containers::value_type...>
foo(const Containers &...args);

当我尝试调用它时，像这样：

foo(std::list<int>(), std::vector<float>());

MSVC2013 说error C2027: use of undefined type 'std::tuple<Containers::value_type>。

我尝试使用“延迟返回”语法重写函数声明，但没有任何区别。

有什么方法可以实现这段代码想要做的事情吗？

Answer 1

您赢得了在 microsoft connect 上填写错误报告的权利……代码在 clang 和 gcc 上都可以。

VS2013 和 gcc 4.7 上的解决方法：

template <typename T>
using ValueType = typename T::value_type;

template<typename... Containers>
std::tuple<ValueType<Containers>...>
foo( const Containers &...args ) { return {}; }