c++ - 在基类中返回抽象类型

Question

在类层次结构的设计中，我使用了一个抽象基类，它声明了派生类将实现的各种方法。从某种意义上说，基类与 C++ 中的接口(interface)一样接近。但是，有一个特定的问题。考虑下面声明我们的接口(interface)类的代码:

class Interface {
public:
    virtual Interface method() = 0;
};

class Implementation : public Interface {
public:
    virtual Implementation method() { /* ... */ }
};

当然，这不会编译，因为您不能在 C++ 中返回抽象类。为了解决这个问题，我使用了以下解决方案:

template <class T>
class Interface {
public:
    virtual T method() = 0;
};

class Implementation : public Interface<Implementation> {
public:
    virtual Implementation method() { /* ... */ }
};

这个解决方案工作正常而且非常漂亮，但是，对我来说，它看起来不是很优雅，因为文本的冗余位将成为接口(interface)的参数。如果你们能指出我们与此设计有关的任何其他技术问题，我会很高兴，但这是我目前唯一关心的问题。

有什么办法可以去掉多余的模板参数吗？可能使用宏？

注意:有问题的方法必须返回一个实例。我知道如果 method() 返回指针或引用，就不会有问题。

Answer 1

Interface::method() 无法在不使用指针或引用的情况下返回 Interface 实例。返回一个非指针、非引用的 Interface 实例需要实例化 Interface 本身的实例，这是非法的，因为 Interface 是抽象的。如果你想让基类返回一个对象实例，你必须使用以下之一:

指针:

class Interface
{
public:
  virtual Interface* method() = 0;
};

class Implementation : public Interface
{
public:
  virtual Interface* method() { /* ... */ }
};

引用:

class Interface
{
public:
  virtual Interface& method() = 0;
};

class Implementation : public Interface
{
public:
  virtual Interface& method() { /* ... */ }
};

模板参数:

template<type T>
class Interface
{
public:
  virtual T method() = 0;
};

class Implementation : public Interface<Implementation>
{
public:
  virtual Implementation method() { /* ... */ }
};