为什么在未评估的操作数内部的包扩展会导致最后一个元素？

Question

我可以在里面做到这一点decltype():

auto g() -> decltype(1, "", true, new int);

但不是这个:

template <class... Args>
auto g(Args&&... args) -> decltype(args...);

它失败了,因为包内扩展出现在里面,decltype()但我认为包扩展会导致以逗号分隔的参数列表.因此返回类型g(a, b, c)将是decltype(c)因为逗号运算符的工作原理(它返回最后一个元素).当你在函数参数列表,模板参数列表,初始化列表等内部扩展时,它可以工作.但为什么这不是这种情况？

Answer 1

参数包仅在某些情况下进行扩展.您可以通过搜索"包扩展"在标准中找到它们.例如,

功能参数包是包扩展(14.5.3).

(8.3.5/14).

除非在特定上下文中发生包扩展的某处明确指定,否则它不会发生,并且通常被语法禁止(即,语法上不正确).例如,decltype需要表达式作为其操作数.1, "", true, new int确实是一个表达式(,是逗号运算符)但args...不是表达式.然而,args...是表达式列表,因此它可以用于例如函数调用中.