более зависимые типы с вариативными шаблонами

Question

Это следует за yesterday's question, где я дал некоторый код C++, который Visual Studio 2013 не смог обработать, а @ galop1n любезно предоставил обходной путь, который отлично работал для этого случая. Но теперь я немного пошатнулся, и Visual Studio снова огорчила меня.

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

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

template<typename... Containers> 
struct Foo { 
    std::tuple<ValueType<Containers>...> x; 
}; 

Всякий раз, когда я пытаюсь создать экземпляр либо шаблон функции Foo или шаблон класса Foo, я получаю эти два сообщения:

test.cpp (21): ошибка C3546: '...': есть нет пакетов параметров, доступных для расширения

и

test.cpp (21): ошибка C3203: 'ValueType': unspecia lized шаблона псевдонима не может быть использован в качестве аргумента шаблона для параметра шаблона «_Types», как ожидается реальный тип

В каждом случае (инстанцировании Foo или инстанцировании Foo), оба сообщения указывают на линии, которая определяет «х ».

ОБНОВЛЕНИЕ: Мой Microsoft bug report теперь имеет (в своем приложении) все основные варианты этой проблемы. Таким образом, это будет место для наблюдения за исправлением.

Answer 1

Может быть выполнены следующие работы на VS2013 (более многословные: /):

template<typename... Containers> 
void foo(const Containers &...args) { 
    std::tuple<typename std::decay<decltype(*args.begin())>::type...> x; 
} 

template<typename... Containers> 
struct Foo { 
    std::tuple<typename std::decay<decltype(*std::declval<Containers>().begin())>::type...> x; 
};