标签：c c11 templates variadic-templates comma-operator

我可以在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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。