标签: c++-ts

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

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

• 声明应具有相当于一个功能体{ return E; },其中E是一个约束表达式(14.10.1.3).

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

• 初始化器应该是约束表达式.

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

_{注意:最新草案P0121R0在这方面没有任何改变}