据我所知，C++ 有诸如 Mergable、Container、Comparable、Sortable、Arithmetic 等概念。我到处都看到过它们，但我从未见过列表。在哪里可以找到标准 C++ 概念的列表？
-edit- 人们很困惑，但我的意思是this slide 中的示例模板行，它具有容器和可排序。还有什么？
【问题讨论】：
Mergeable 和 Sortable 是尚未达到标准的 Concepts Lite 的一部分（因此 c++1y 标签是合适的），并且在您的问题中明确提到了它们。您指的是概念精简版吗？或者你的意思是类型要求，因为我们在 C++03 中已经有了它们？
Container 和 Comparable 是 C++03 标准中定义的类型要求的一部分，它们在您的问题中明确提及。您指的是类型要求吗？还是说概念？
标签： c++ c++-concepts
据我所知，C++ 有诸如 Mergable、Container、Comparable、Sortable、Arithmetic 等概念。我到处都看到过它们，但我从未见过列表。在哪里可以找到标准 C++ 概念的列表？
概念是一个术语，指的是编译器必须强制执行的类型要求的形式化。 This draft (N3580) 包含所有详细信息。
类型要求是一组要求，即使在 C++03 标准中也有定义，程序员必须强制执行这些要求才能对所述类型应用某些操作。标准从不称它们为概念。
我认为您的意思是类型要求，因为：
Container
Comparable
所以，这里是类型要求列表，您还可以在其中找到 Container 和 Compare（由 cppreference 组织）：
【讨论】：
Sortable 和 Mergeable 都不在您的列表中，尽管它们在问题中。我相信您的清单不是 OP 正在寻找的清单。
Sortable 和 Mergeable。我认为他指的是Concepts Lite。我请他澄清一下。
在哪里可以找到标准 C++ 概念的列表？
显然，没有，它还没有达到标准；另见Is the Committee Draft of Standard C++14 public? 不过，相关文件似乎是Concepts Lite: Constraining Templates with Predicates (N3580) 和A Concept Design for the STL (N3351)。该列表截至 2014 年 6 月 15 日，取自 N3580：
类型特征
迭代器概念
算法约束
【讨论】：
Comparable 和 Container 都不在您的列表中，尽管它们在问题中。我相信您的清单不是 OP 正在寻找的清单。
简而言之，“概念是一组由有效表达式、关联类型、不变量和复杂性保证组成的要求。满足要求的类型称为model 概念。一个概念可以扩展另一个概念的要求，这称为细化。”
来源：http://www.boost.org/community/generic_programming.html#concept
有几个可用的概念列表：
有关进一步的解释，请参阅以下“概念和建模”以及“细化”： https://www.sgi.com/tech/stl/stl_introduction.html
另见：
您可能还对以下内容感兴趣：
【讨论】：