c++ - 什么是概念？

Question

我听说过所有关于 C++0x 不再有概念的新消息(在/.上)，但我不知道它们是什么？谁能给我解释一下？

Answer 1

概念是一种通用编程特性，它允许编写模板代码来指定类型参数需要满足的要求。

例如，一些集合类型需要为集合的类型参数定义<操作符。因此，程序员可能会定义一个名为 LessThanComparable 的概念，它告诉编译器模板类的类型参数需要定义 operator<。如果模板用户随后尝试使用不具有 LessThanComparable 概念的类型(即没有 operator< 函数)来实例化模板，则编译器可以发出简单的错误消息，而不是与模板代码相关的错误消息的洪流。编译器还可以利用概念提供的额外信息来生成更高效的代码。

这有点过于简单化了，但我认为它为您提供了概念背后的一般概念。

如果您想尝试一些概念的功能，请查看 Boost.Concept检查图书馆。我不认为它提供了标准中的全部功能，但它是一个很好的起点。

您可能还想查看 ConceptC++ ，那里有很好的概念定义。