C++:如何在协变返回类型中重用代码

Question

我有以下简单的类

class base
{
public:
  int x;
  base &set(int y)
    {
      x = y;
      return *this;
    }
};

并想创建一个具有附加功能的新产品，例如打印值 x。所以我这样做：

class derived : public base
{
public:
  void print()
    {
      cout << x << endl;
    }
};

现在在主程序中，我想做类似的事情

D.set(2).print();

然而，编译器抱怨类基没有名为"print"的成员。

如果我尝试使用协变返回类型并将这两个类写为

class base
{
public:
  int x;
  virtual base &set(int y)
    {
      x = y;
      return *this;
    }
};
class derived : public base
{
public:
  derived &set(int y)
    {
      x = y;
      return *this;
    }
  void print()
    {
      cout << x << endl;
    }
};

那么该语句工作得很好，但我被迫在两个类中为"set"重写完全相同的函数体，即使唯一改变的是返回类型。

如果以后我需要更改 base：：set 的功能，那么我将不得不遍历所有派生类来更改"set"函数......有什么方法可以避免这种情况吗？提前感谢！

Answer 1

根据您的情况，您可能能够使用 CRTP：

template <class D>
class base {
    D& set(int x) {
        …;
        return *static_cast<D*>(this);
    }
};
class derived : base<derived> { … };

Answer 2

C++按照

你说的做，你在基类中说set返回base&，所以这就是C++做的事情。但是为了解决这个问题，你有很多方法。

首先，您不会被迫创建一个函数virtual在派生类中重写它（请注意，虚拟调用比普通调用稍慢）。

其次，您可以将基类实现引用为 base::set 因此代码将如下所示：

class base {
    ...
    base& set( int x ) {...}
};
class derived : public base {
    derived& set( int x ) {
        return static_cast<derived&>( base::set(x) );
    }
};