Clang ошибка VARIADIC специализация шаблона: без выводим параметр шаблона

Question

компилирует следующий код с лязгом ++ - 600.0.51:

template<typename ... Args> struct seq{}; 
template<typename Seq, size_t c = 1> struct pop_back; 

template<typename ... Args> struct pop_back <seq<Args...>, 0>{ 
    typedef seq<Args...> type; 
}; 
template<typename ... Args, typename T, size_t c> struct pop_back <seq<Args..., T>, c>{ 
    typedef typename pop_back<seq<Args...>, c - 1>::type type; 
}; 

и я получил ошибку: шаблонный класса частичной специализация содержит параметры шаблона, не может быть выводится; эта частичная специализация никогда не будет использоваться [-Werror]

Кажется, что я специализировал вариационный шаблон неправильным образом, , но gcc 4.8.2 и vc 2013 могут скомпилировать его успешно. Если я просто определяю pop_back, как указано выше, передаются как gcc, так и vc. все они проваливаются, если я создаю pop_back.

Является ли мой код нестандартным? как написать обходной путь для этого?

Answer 1

T не может быть выведен потому, что компилятор не может определить конец пакета аргументов Args.... Вам понадобится другая реализация. Он объединяет отдельные элементы последовательности, а c уменьшается.

namespace detail 
{ 
template <typename S1, typename S2> 
struct concat_impl; 

template <typename... Ts, typename... Us> 
struct concat_impl<seq<Ts...>, seq<Us...>> 
{ 
    using type = seq<Ts..., Us...>; 
}; 

template <typename S1, typename S2> 
using concat = typename concat_impl<S1, S2>::type; 

template <typename Seq, size_t c = 1, typename = void> 
struct pop_back; 

template <typename T, typename... Args, size_t c> 
struct pop_back<seq<T, Args...>, c, typename std::enable_if<c!=0>::type> 
{ 
    using type = concat<seq<T>, typename pop_back<seq<Args...>, c-1>::type>; 
}; 

template <typename... Args> 
struct pop_back<seq<Args...>, 0> 
{ 
    using type = seq<>; 
}; 
} // detail 

template <typename Sequence, size_t c> 
struct pop_back; 

template <typename... Args, size_t c> 
struct pop_back<seq<Args...>, c> : detail::pop_back<seq<Args...>, sizeof...(Args) - c> 
{ }; 

Live Demo