从基类调用派生类函数

Question

class base
{
  public:
  virtual void start();
  virtual void stop();

  void doSomething() { start(); .... stop(); }
}

class derived : public base
{
  public:
   void start();
   void stop();
}

但是当我在派生类中调用doSomething() 时，它使用的是它自己对Start() 和Stop() 的定义——而不是派生类。

我不想在派生类中重写doSomething()，因为它与基类相同。我做错了什么？

抱歉，如果不清楚。
派生类中 Start() 和 Stop() 的行为是不同的（它是不同的机器） - 但我想使用原始基类 doSomething() 因为它没有改变。它只需要使用新的派生类代码 start() 和 stop()。

Answer 1

您发布的代码应该按照您想要的方式工作。在derived 的实例上调用doSomething 将调用derived 中定义的重写start 和stop 函数。

不过，有一个例外。如果您在base 的构造函数或析构函数中调用doSomething（无论是直接还是间接），那么被调用的start 和stop 的版本将是base 中定义的版本。那是因为在这种情况下，您实际上还没有有效的 derived 实例。它要么未完全构造，要么部分破坏，因此该语言会阻止您调用将使用部分对象的方法。

如果您不是从 base 构造函数或析构函数调用它，那么问题比这里显示的要多。

Answer 2

更新
根据您在下面的评论，您试图让 doSomething() 调用派生类的 start() 和 stop() 版本，我对您的问题的更新答案如下：

您定义 Base 和 Derived 的方式没有任何问题。您可能正在经历所谓的“代码切片”，您在声明类型为“Base”而不是“Base*”或“Base&”的对象上调用“doSomething()”，这将导致对象被转换为 Base 类型。

不好的例子：

 Derived derived;
 Base base = derived;
 base.doSomething();  // This is Base's version of doSomething()

好例子：

 Base* base = new Derived;  // NOTE: declared type is "Base*"
 base->doSomething();  // This will call Derived version
 delete base;

旁注：您应该使用 scoped_ptr、shared_ptr、unique_ptr 或其他一些智能指针类，而不是像我的示例中那样直接使用指针；然而，为了不掩盖这个问题，我选择在这个例子中使用原始指针。有关“切片”的更多信息，请参阅：

• What is the slicing problem in C++? - StackOverflow
• Slicing in C++

原方案
你可以这样做：

class Base {
    public:
        Base() {}
        virtual ~Base() {}

        virtual void start() {
           startInternal();
        }

        virtual void stop() {
            stopInternal();
        }

        void doSomething() {
            startInternal();
            // ...
            stopInternal();
        }
    private:
        void startInternal() {
          // ...
        } 
        void stopInternal() {
          // ...
        }
};

class Derived : public Base {
    public:
        Derived() {}
        virtual ~Derived() {}
        virtual void start() {
            // ...
        }
        virtual void stop() {
            // ...
        }
};

如果您这样做，则 doSomething() 将使用未覆盖的内部版本的启动/停止。当构造函数/析构函数需要与虚方法共享逻辑时，您会发现这种模式很多。

此外，与手头的问题无关，不要忘记，无论何时创建具有虚拟方法的类时，都应始终创建虚拟析构函数。