在派生类构造函数中调用重写的虚函数

下面示例中， 如果 VirtualMethod的实现依赖于在派生类构造函数中尚未初始化的成员变量，会导致未定义行为，因为成员变量的初始化顺序是按照它们在类中声明的顺序进行的，而不是按照初始化列表中的顺序。
class Base {
public:
    virtual void VirtualMethod() {
        std::cout << "Base::VirtualMethod" << std::endl;
    }
};

//派生类

class Derived : public Base {
private:
    int value;
    bool initialized;

public:
    Derived() : initialized(false) { // 注意：这里首先初始化了 initialized
        VirtualMethod(); // 这里调用了虚函数，但 value 尚未初始化
        value = 42;      // 然后初始化 value
        initialized = true;
    }

    void VirtualMethod() override{
        if (initialized) { // 假设我们只在 initialized 为 true 时使用 value
            std::cout << "Value: " << value << std::endl;
        } else {
            std::cout << "Value is not initialized yet!" << std::endl;
        }
    }
};

int main() {
    Derived d; // 创建派生类的实例
    return 0;
}
 

在这个例子中，我们错误地假设 VirtualMethod可以在 value被初始化之前安全地调用。然而，由于 VirtualMethod被设计为依赖于 initialized标志来检查 value是否已经被初始化，这在构造函数中是一个问题。

在 Derived类的构造函数中，首先初始化了 initialized为 false，然后调用了 VirtualMethod，但在调用时 value尚未被初始化。如果 VirtualMethod内部没有检查 initialized标志，直接访问 value，将会导致未定义行为。