可變類型與可變參數模板

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 {}; }