概念与接口有何不同？

Question

概念(即最近从C++ 0x标准中删除的那些)与Java等语言中的接口有何不同？

Answer 1

概念用于编译时多态,这意味着参数通用代码.接口用于运行时多态.

您必须在实现Concept时实现接口.不同之处在于您不必明确表示您正在实施Concept.如果所需的接口匹配则没有问题.在接口的情况下,即使你实现了所有必需的功能,你也要兴奋地说你正在实现它!

我会尽力澄清我的答案:)

想象一下,您正在设计一个容器,它接受任何具有size成员函数的类型.我们将Concept形式化并称之为HasSize,当然我们应该在其他地方定义它,但这不再是一个例子.

template <class HasSize>
class Container
{
  HasSize[10]; // just an example don't take it seriously :)
 // elements MUST have size member function!
};

然后,想象一下我们正在创建一个Container的实例,我们称之为myShapes,Shape是一个基类,它定义了size成员函数.Square和Circle就是它的孩子.如果Shape未定义大小,则应生成错误.

Container<Shape> myShapes;

if(/* some condition*/)
    myShapes.add(Square());
else
    myShapes.add(Circle());

我希望你看到在编译时可以对HasSize检查Shape ,没有理由在运行时进行检查.与myShapes的元素不同,我们可以定义一个操作它们的函数:

void doSomething(Shape* shape)
{
    if(/* shape is a Circle*/)
        // cast then do something with the circle.
    else if( /* shape is a Square */)
        // cast then do something with the square.
}

在这个函数中,你无法知道在圆形或正方形运行之前会传递什么!

它们是用于类似工作的两个工具,虽然Interface或者你称之为 - 在运行时可以完成与Concepts几乎相同的工作,但是你会失去编译时检查和优化的所有好处!

Answer 2

概念类似于模板的类型(类):它仅用于语言的通用编程方面.

这样,它并不意味着替换接口类(假设您的意思是抽象类或C#或Java接口的其他C++等效实现),因为它仅用于检查模板参数中使用的类型以匹配特定要求.类型检查仅在编译时完成,就像生成所有模板代码一样,而接口类对运行时执行有影响.