从基类调用派生类函数

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() 因为它没有改变。它只需使用新的派生类代码启动（）和停止（）。

Answer 1

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

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

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

Answer 2

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

您定义 Base 和 的方式没有任何问题衍生的。您可能正在经历所谓的“代码切片”，即您在声明类型为“Base”的对象上调用“doSomething()”，而不是“Base*”或“Base&”，这将导致对象正在转换为 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 或其他一些智能指针类，而不是像我的示例中那样直接使用指针；但是，为了不掩盖问题，我选择在本示例中使用原始指针。有关“切片”的更多信息，请参阅：

• C++ 中的切片问题是什么？ - StackOverflow
• 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() 将使用未被覆盖的 start/stop 的内部版本。当构造函数/析构函数需要与虚拟方法共享逻辑时，您会经常发现这种模式。

另外，与当前的问题无关，不要忘记，每当您创建具有虚拟方法的类时，您都应该创建一个虚拟析构函数。