可变类型与可变参数模板

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

您赢得填写微软错误报告的权利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 {}; }