如何理解“包含省略号的抽象声明符只能用于参数声明”

Question

考虑以下引用，它说：
[dcl.fct]/16

包含省略号的 declarator-id 或 abstract-declarator 只能在参数声明中使用。[...]

我同意包含省略号的declarator-id只能在参数声明中使用，因为我们不能在任何地方使用...id-expression之类的东西，它只能出现在参数中-declaration，所以它是 100% 清楚的。但是，关于包含省略号的 abstract-declarator 只能在参数声明中使用，请考虑以下代码：

#include <iostream>
#include <tuple>
template<typename...T>
void func(T...){
  std::tuple<T...> tup;  //#1
}

[dcl.name]

类型 ID：

type-specifier-seq abstract-declarator(opt)

#1 怎么样，不是参数声明，但是，包含省略号的抽象声明符在 type-id 中使用。所以，我对 的理解是>abstract-declarator错了？

Answer 1

省略号不是type-id 的一部分，而是template-argument-list 的一部分。

如果我们从[temp.names]应用以下语法

简单模板 ID： 模板名称 opt > 模板名称： 标识符 模板参数列表： 模板参数 ..._opt [...] 模板参数： 类型标识 [...]

以你的例子，我们得到：

   std::tuple<T...> tup;
//      tuple<T...>       simple-template-id
//      tuple             template-name
//            T...        template-argument-list
//            T           template-argument, type-id

那么，[temp.arg]/9

template-argument 后跟一个省略号是一个包扩展。

适用，这是我们所期望的。