c++ - 未在大多数派生类类型上调用虚函数

Question

编辑解决并重新发布为示例程序

场景如下:

类层次结构:

class Base
{
public:
   virtual void output() = 0;
private:
   int a;
};

class Derived_1 : public Base
{
public:
   virtual void output()
   {
      cout << "Derived_1" << endl;
   }
};

class Derived_2 : public Derived_1
{
public:
   virtual void output()
   {
      cout << "Derived_2" << endl;
   }
};

实现:

Derived_2* obj = reinterpret_cast<Derived_2*>(new Derived_1());
obj->output();

这将输出“Derived_1”而不是“Derived_2”。我敢肯定这对你们大多数人来说都不是什么新鲜事，但这是我在我的应用程序中制作一些工厂功能时没有考虑到的事情。

Answer 1

您分配的是 Value_object_data 对象，而不是 Value_object_uint32。您将其转换为 Value_object_uint32 这一事实没有任何改变。实际对象的虚表不知道Value_object_uint32；在err...构造时构造的虚函数表中，format指向Value_object_data的format。强武装指向实际对象的指针类型无助于解决问题。

给定层次结构中所有基类和继承类的构造函数从最派生到根被调用，每个类恰好一次。这意味着，您不必显式调用基类构造函数。它将被自动调用。如果您需要指定应该使用几个基类构造函数中的哪一个，您也可以这样做:

class Base
{
public:
    Base() {} // default constructor
    Base(int a) {}
};

class Derived
{
public:
    Derived() : Base()
    {
    }

    Derived(int a)
      : Base(a) // Select the Base ctor that takes an int, instead of the default
    {
    }
};

int main()
{
    Derived d1;    // Calls Derived() and Base() ctors in this order
    Derived d2(5); // Calls Derived(5) and Base(5) in this order
}

当然，调用Base(int)构造函数不需要Derived(int a)构造函数。在这种情况下，将自动调用 Base() 构造函数。