c++ 构造函数中调用虚函数的实现方法

在C++编程语言中，虚函数是实现多态性的重要机制。当一个指针或引用指向基类，但实际对象是派生类时，通过调用虚函数可以调用到派生类重写的版本，而不是基类的版本。然而，当我们尝试在构造函数中调用虚函数时，情况变得稍微复杂一些。下面我们将详细讨论这个问题。 理解C++对象的构造过程至关重要。在创建一个对象时，构造函数会按照继承层次自底向上顺序执行。这意味着先调用最底层派生类的构造函数，然后逐层向上调用基类的构造函数。在每个构造函数中，对象的部分状态已经被初始化，但完全构造完成前，对象的类型尚未确定。 考虑以下代码示例： ```cpp class A { public: A() : m_iVal(0) { test(); } virtual void func() { std::cout << m_iVal << ' '; } void test() { func(); } public: int m_iVal; }; class B : public A { public: B() { test(); } virtual void func() { ++m_iVal; std::cout << m_iVal << ' '; } }; ``` 在这个例子中，`B`类继承自`A`类，并且重写了`func()`虚函数。在`A`类的构造函数中，`test()`被调用，进而调用`func()`。在`B`类的构造函数中，同样调用了`test()`。 当我们创建一个`B`对象并赋值给`A`类型的指针`p`时： ```cpp A* p = new B; p->test(); ``` 这里发生了什么？ 1. `B`对象开始构造，执行`B`类的构造函数。此时`B`类的`func()`尚未被调用。 2. `B`类构造函数内部调用`test()`，`test()`进一步调用`func()`。由于此时对象还未完全构造（即`A`类构造函数还未执行），`func()`调用的是`A`类版本，输出`0`。 3. 接下来，`A`类的构造函数被调用，`test()`再次被调用，此时`func()`调用的依然是`A`类版本，因为对象的类型在构造过程中被认为是基类类型，输出第二个`0`。 4. `A`类构造函数执行完毕，`B`对象构造完成，类型确定为`B`。 5. 通过指针`p`调用`test()`，由于`p`具有多态性，此时`func()`调用的是`B`类版本，输出`1`。 因此，构造函数中调用虚函数的行为取决于调用时刻，即对象的状态。在对象完全构造之前，调用虚函数会执行基类版本；而在完全构造之后，会执行与对象实际类型匹配的版本。这种行为在设计面向对象程序时需要注意，因为它可能影响到对象的初始化流程和预期的行为。