标签：c-concepts c c-ts

我一直在研究在GCC 6中实现的C 1z N4377 Concepts TS草案,我不明白有两种不同概念的目的：变量概念和功能概念.

功能概念草案的相关部分是[dcl.spec.concept(5.4)]

>声明的功能体应相当于{return E;其中E是约束表达式(14.10.1.3).

对于可变概念,在下一段[(6.3)]中：

>初始化程序应该是约束表达式.

他们中有什么能做的,对方不能吗？如果没有,是否有理由将两者都包括在内？

注意：最新的草案P0121R0在这方面没有任何改变

解决方法:

函数概念可以在不同的模板参数arity上重载.除了在某些上下文中不放()的能力之外,变量概念不提供函数概念所不具备的功能.

从TS中消除变量概念不会降低概念的表达性.

标签：c-concepts,c,c-ts
来源： https://codeday.me/bug/20190829/1759643.html

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