众所周知，有些编程语言具有接口的概念。这是Java：
public interface Testable {
void test();
}
如何以最简洁的方式和少量的代码噪音在C++（或C++11）中实现这一点？我希望得到一个不需要额外定义的解决方案（让头文件就足够了）。这是一种非常简单的方法，即使我也觉得有些问题;-)
class Testable {
public:
virtual void test() = 0;
protected:
Testable();
Testable(const Testable& that);
Testable& operator= (const Testable& that);
virtual ~Testable();
}
这只是个开始.. 而且已经比我想要的更长了。如何改善它？也许在 std 命名空间中有一个专门为此而制作的基类？
对于动态（运行时）多态性，我建议使用非虚拟接口（NVI）惯用语。该模式使接口保持非虚拟和公共的，析构函数是虚拟和公共的，实现是纯虚拟和私有的。
class DynamicInterface
{
public:
// non-virtual interface
void fun() { do_fun(); } // equivalent to "this->do_fun()"
// enable deletion of a Derived* through a Base*
virtual ~DynamicInterface() = default;
private:
// pure virtual implementation
virtual void do_fun() = 0;
};
class DynamicImplementation
:
public DynamicInterface
{
private:
virtual void do_fun() { /* implementation here */ }
};
template<typename Derived>
class enable_down_cast
{
private:
typedef enable_down_cast Base;
public:
Derived const* self() const
{
// casting "down" the inheritance hierarchy
return static_cast<Derived const*>(this);
}
Derived* self()
{
return static_cast<Derived*>(this);
}
protected:
// disable deletion of Derived* through Base*
// enable deletion of Base* through Derived*
~enable_down_cast() = default; // C++11 only, use ~enable_down_cast() {} in C++98
};
那么你可以这样定义一个静态接口：
template<typename Impl>
class StaticInterface
:
// enable static polymorphism
public enable_down_cast< Impl >
{
private:
// dependent name now in scope
using enable_down_cast< Impl >::self;
public:
// interface
void fun() { self()->do_fun(); }
protected:
// disable deletion of Derived* through Base*
// enable deletion of Base* through Derived*
~StaticInterface() = default; // C++11 only, use ~IFooInterface() {} in C++98/03
};
最后，您可以创建一个从该接口继承的实现，并将其本身作为参数。
class StaticImplementation
:
public StaticInterface< StaticImplementation >
{
private:
// implementation
friend class StaticInterface< StaticImplementation > ;
void do_fun() { /* your implementation here */ }
};
这仍然允许您拥有同一接口的多个实现，但您需要在编译时知道您正在调用哪个实现。
那么何时使用哪种形式？ 两种形式都可以让您重用常见接口并在接口类中注入前/后条件测试。动态多态性的优势在于您具有运行时灵活性，但您需要通过虚函数调用来付出代价（通常是通过函数指针调用，很少有机会进行内联）。静态多态性是其镜像：没有虚函数调用开销，但缺点是您需要更多的样板代码，并且您需要在编译时知道要调用哪个实现。基本上是效率/灵活性的权衡。
注意：对于编译时多态性，您还可以使用模板参数。通过CRTP惯用语法的静态接口和普通模板参数之间的区别在于，CRTP类型接口是显式的（基于成员函数），而模板接口是隐式的（基于有效表达式）。
怎么样：
class Testable
{
public:
virtual ~Testable() { }
virtual void test() = 0;
}
在C++中，这并不意味着子类可复制。这只是说子类必须实现test（这正是您希望实现的接口）。您无法实例化此类，因此无需担心任何隐式构造函数，因为它们永远不能直接调用作为父接口类型。
如果您希望强制要求子类实现析构函数，您也可以使其成为纯虚函数（但仍必须在接口中实现）。
另请注意，如果您不需要多态销毁，您可以选择将析构函数设置为受保护的非虚函数。
=delete适用于任何非（普通、非复制和非移动）构造函数/析构函数的成员函数。 - rubenvb=delete。=delete 表示调用它是非法的（尝试调用它会导致错误）。=0表示它是合法的，但必须由子类定义。 - Dave Svirtual ~Testable() = default;来定义虚析构函数，而不是自己定义析构函数的实现。这样做可以使代码更加规范，并且符合现代C++的最佳实践。 - Steve Folly根据 Scott Meyers（《Effective Modern C ++》）的说法：在声明接口（或多态基类）时，您需要虚拟析构函数，以便在通过基类指针或引用访问派生类对象时，对 delete 或 typeid 等操作可以得到正确的结果。
virtual ~Testable() = default;
但是，用户声明的析构函数会抑制移动操作的生成，因此要支持移动操作，您需要添加：
Testable(Testable&&) = default;
Testable& operator=(Testable&&) = default;
声明移动操作会禁用复制操作，您还需要：
Testable(const Testable&) = default;
Testable& operator=(const Testable&) = default;
最终结果是：
class Testable
{
public:
virtual ~Testable() = default; // make dtor virtual
Testable(Testable&&) = default; // support moving
Testable& operator=(Testable&&) = default;
Testable(const Testable&) = default; // support copying
Testable& operator=(const Testable&) = default;
virtual void test() = 0;
};
这里有另一篇有趣的文章：C++中的零规则
class替换为struct，所有方法默认为公共方法，您可以节省一行代码。=运算符是正确的，因为编译器生成的运算符肯定会出错。实际上，没有人会担心它，因为将一个接口对象复制到另一个接口对象从来就没有意义；这不是普遍发生的错误。struct Testable {
virtual void test() = 0;
virtual ~Testable();
};
delete b），还是在“placement new”之后显式调用 dtor（b->~b()）？有人会被这种方法所吸引吗？ :) - emesx请记住，如果您不管理指针、句柄或者类的所有数据成员都有自己的析构函数来管理任何清理工作，则“三法则”是不必要的。此外，在虚基类的情况下，因为无法直接实例化基类，如果您只想定义一个没有数据成员的接口，那么声明构造函数是不必要的...编译器默认就可以了。唯一需要保留的是虚析构函数，如果您计划在接口类型的指针上调用delete，那么这个函数就很重要。所以实际上您的接口可以非常简单，如下所示：
class Testable
{
public:
virtual void test() = 0;
virtual ~Testable();
}
=delete呢？它会被继承吗？我可以在它被删除后实现一个方法吗？ - emesx