元运算符...的优先级是什么？

Question

负责解压模板类型参数包的元运算符 ... 的优先级是什么？我认为这个数字相当低，但到底低到什么程度呢？ C++ 标准说：

运算符的优先级不是直接指定的，但可以从语法中得出。

有人愿意接受挑战吗？当然，...不会出现在C++03运算符优先级表中。

---

好的，如果 ... 不是运算符，那么究竟是什么决定了 std::forward(args)... 适用于整个序列 std::forward(args) 而不仅仅是 (args)？

Answer 1

看来不是运营商啊来自 N3092（抱歉我手边没有更新的草稿）

[14.5.3] 4/ 包扩展是一系列标记，命名一个或
更多参数包，后跟省略号。标记的顺序
称为展开模式；它的语法取决于
扩展发生的上下文。包扩展可能发生在
以下上下文：

• 在初始化列表中（8.5）；该模式是一个
  初始化子句。
• 在基本说明符列表中 (10)；该模式是一个基本说明符。
• 在 mem-initializer-list 中 (12.6.2)；该模式是
  内存初始化器。
• 在模板参数列表中（14.3）；该模式是
  模板参数。
• 在动态异常规范（15.4）中；该模式是
  类型 ID。
• 在属性列表中（7.6.1）；模式是一个属性。

• 在捕获列表中 (5.1.2)；该模式是一个捕获。 [示例：

  模板<类...类型> void f(类型...其余);
  模板<类...类型> void g(类型...其余) {
      f(&休息...); // “&rest ...”是一个包扩展； “&rest”是它的模式
  }
  

  —结束示例]

Answer 2

根据方便的 超链接 C++ BNF 语法，函数调用如下所示：

后缀表达式（表达式列表_opt）

expression-list 只是一个 初始化列表，如下所示：

初始化子句..._opt
初始值设定项列表、初始值设定项子句..._opt

其中省略号是包扩展符号。

反过来，初始化子句可以是赋值-表达式或braced-init-list。

所有这一切都是说，省略号的语法优先级低于任何实际运算符，因此例如以下内容是等效的：

foo(args ^= 0x1234...) and foo((args ^= 0x1234)...)

foo(x ? args : 42...) and foo((x ? args : 42)...)