c++ - 假设的、以前的 C++0x 概念问题

Question

(序言:我是 C++0x 游戏的后期追随者，最近关于从 C++0x 标准中删除概念的争议促使我更多地了解它们。虽然我知道我所有的问题都是完全假设的——只要概念在未来一段时间内都不是有效的 C++ 代码，如果有的话——我仍然有兴趣了解更多关于概念的知识，特别是考虑到它会如何帮助我更充分地理解最近的决定背后的优点和随之而来的争议)

在阅读了一些关于 C++0x(直到最近)提出的概念的介绍性 Material 之后，我无法将我的想法集中在一些语法问题上。事不宜迟，以下是我的问题:

1) 支持特定派生概念的类型(隐式地，通过 auto 关键字，或显式地通过 concept_maps)是否也需要独立地支持基本概念？换句话说，从另一个概念(例如 concept B<typename T> : A<T> )推导出一个概念的行为是否隐含地包含一个“不可见的”需求语句(在 B 中，requires A<T>; )？混淆来自关于概念的维基百科页面，该页面指出:

Like in class inheritance, types that meet the requirements of the derived concept also meet the requirements of the base concept.

这似乎是说一个类型只需要满足派生概念的要求，而不必满足基本概念的要求，这对我来说毫无意义。我知道维基百科远不是一个确定的来源；上面的描述只是用词不当吗？

2) 列出类型名的概念可以是“自动”吗？如果是这样，编译器将如何自动映射这些类型名？如果不是，是否还有其他情况下在概念上使用“auto”无效？

为了澄清，请考虑以下假设代码:

template<typename Type>
class Dummy {};

class Dummy2 { public: typedef int Type; };

auto concept SomeType<typename T>
{
     typename Type;
}

template<typename T> requires SomeType<T>
void function(T t)
{}

int main()
{
    function(Dummy<int>()); //would this match SomeType?
    function(Dummy2()); //how about this?
    return 0;
}

这些类中的任何一个都可以匹配 SomeType 吗？或者对于涉及类型名的概念是否需要一个 concept_map？

3) 最后，我很难理解允许定义哪些公理。例如，我能否有一个概念定义一个逻辑上不一致的公理，例如

concept SomeConcept<typename T>
{
    T operator*(T&, int);

    axiom Inconsistency(T a)
    {
         a * 1 == a * 2;
    }
} 

那会做什么？这还有效吗？

我很感激这是一组很长的问题，所以我提前感谢你。

Answer 1

我使用了最新的 C++0x 草案，N2914 (其中仍有概念措辞)作为以下答案的引用。

1) 概念就像接口(interface)一样。如果您的类型支持一个概念，它也应该支持所有“基本”概念。从类型客户的角度来看，您引用的维基百科声明是有意义的 - 如果他知道 T满足概念Derived<T> ，那么他也知道它满足概念Base<T> .从类型作者的角度来看，这自然意味着两者都必须实现。见 14.10.3/2。

2) 是的，typename 的概念成员(member)可以是auto .如果在同一概念的函数成员定义中使用这些成员，则可以自动推导出这些成员。例如，value_type for 迭代器可以推导出为其operator* 的返回类型.但是，如果一个类型成员没有在任何地方使用，它就不会被推导，因此不会被隐式定义。在您的示例中，无法推断 SomeType<T>::Type对于Dummy或 Dummy1 ，如 Type不被概念的其他成员使用，因此两个类都不会映射到概念(事实上，没有类可能自动映射到它)。请参阅 14.10.1.2/11 和 14.10.2.2/4。

3) 公理是规范的一个弱点，它们不断更新以使其更有意义。就在从草案中提取概念之前，有一个 paper这发生了很大变化 - 阅读它，看看它是否对您更有意义，或者您仍然对它有疑问。

对于您的具体示例(考虑语法差异)，这意味着编译器将被允许考虑表达式 (a*1)与 (a*2) 相同, 出于语言的“as-if”规则的目的(即编译器允许进行任何它想要的优化，只要结果表现好像没有)。然而，编译器并不需要以任何方式验证公理的正确性(因此它们被称为公理!) - 它只是将它们视为它们的本来面目。