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

我可以在decltype()中执行此操作：

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

但不是这个：

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

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

解决方法:

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

A function parameter pack is a pack expansion (14.5.3).

(8.3.5 / 14).

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

标签：c,c11,templates,variadic-templates,comma-operator
来源： https://codeday.me/bug/20190722/1505886.html