c++ - 为什么 C++ Concepts TS 中同时包含变量和函数概念？

Question

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

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

• 声明应该有一个等同于{ return E; 的函数体 其中 E 是一个约束表达式 (14.10.1.3)。

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

• 初始化器应该是一个约束表达式。

是否有任何一个他们可以做而另一个不能做的事情？如果不是，是否有理由将两者都包括在内？

_{注:最新稿，P0121R0在这方面没有任何改变}

Answer 1

函数概念可以在不同的模板参数 arity 上重载。变量概念没有提供函数概念所没有的东西，除了在某些上下文中不放置 () 的能力。

从 TS 中消除变量概念不会降低概念的表达能力。