在模板别名中解压缩参数包

Question

我将variadic模板解压缩到模板别名时遇到了问题.

以下代码适用于Clang 3.4和GCC 4.8,但在GCC 4.9中失败:

template <typename T, typename...>
using front_type = T;

template <typename... Ts>
struct foo
{
  using front = front_type<Ts...>;
};

GCC 4.9抱怨:

test.cc:7:37: error: pack expansion argument for non-pack parameter 'T' of alias template 'template<class T, class ...> using front_type = T'
       using front = front_type<Ts...>;
                                     ^
test.cc:1:15: note: declared here
     template <typename T, typename...>
               ^

存在一个提交的GCC错误(#59498),但这应该失败吗？以下是C++核心语言#1430的一些上下文,"将扩展打包到固定别名模板参数列表":

最初,包扩展无法扩展到固定长度的模板参数列表,但在N2555中已更改.这适用于大多数模板,但会导致别名模板出现问题.

在大多数情况下,别名模板是透明的; 当它在模板中使用时,我们可以在依赖模板参数中替换.但是,如果template-id对非可变参数使用包扩展,则这不起作用.例如:

  template<class T, class U, class V>
  struct S {};

  template<class T, class V>
  using A = S<T, int, V>;

  template<class... Ts>
  void foo(A<Ts...>);

有没有办法来表达A<Ts...>来讲S,所以我们需要守住A,直到我们有Ts到替代的,因此它需要重整来处理.

目前,EDG和Clang拒绝这个测试用例,抱怨A.G ++的模板参数太少,但我认为这是一个错误.然而,在ABI名单上,John Spicer认为它应该被拒绝.

Answer 1

据gcc4.9 bugzilla报道:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59498

最少的代码重现

template <typename T, typename ...>
using alias = T;

template <typename ...T>
using variadic_alias = alias<T...>;

using Fail = variadic_alias<int>;

int main() { }

从gcc人员的解释来看 - 这不是一个真正的错误. 这仍然是在gcc bugzilla和DR 1430(http://open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1430)中进行的讨论 - 现在在上面的问题中总结.