Effective C++ 条款09 决不在构造和析构过程后调用虚函数

心已赠人 2022-05-15 04:13 198阅读 0赞

1.C++的继承体系中，最底层的派生类的构造过程中，最先初始化的是基类部分，再按继承层次依次初始化派生类部分，同样的，析构过程则是按相反过程执行。在继承层次A→B→C→D中,构造一个D类对象,其依次经历了A→B→C→D的转变,因此对于以下代码。所以，在这个过程中基类构造过程中，基类尚在构造，派生类对象中也就只存在继承而来的基类部分，调用虚函数这类的调用从不下降至derived class

//
    //  main.cpp
    //  条款10
    //
    //  Created by yulei on 2018/8/24.
    //  Copyright © 2018 yulei. All rights reserved.
    //
    
    #include <iostream>
    using namespace std;
    class A{
    public:
        virtual void foo(){ cout << "A" << endl; }
        A(){ foo(); }
    };
    class B :public A{
    public:
        void foo(){ cout << "B" << endl; }
        B(){ foo(); }
    };
    class C :public B{
    public:
        void foo(){ cout << "C" << endl; }
        C(){ foo(); }
    };
    class D :public C{
    public:
        void foo(){ cout << "D" << endl; }
        D(){ foo(); }
    };
    int main(int argc, const char * argv[]) {
         D d;
        return 0;
    }

![70][]

可见,在构造函数中调用虚函数,不仅不能如愿调用底层派生类的虚函数,还会依次调用整个继承层次的虚函数.这就是不在构造过程中调用虚函数的原因,除此之外涉及到RTTI(Run-Time Type Information,运行时类型识别)时也会把对象按构造顺序依次视为A→B→C→D.

2. 在A→B→C→D这个继承体系中,如果对一个D类对象调用析构函数,会依次调用D,C,B,A的析构函数,对象也依次经历了D→C→B→A的转变,同理,不要在析构函数中调用虚函数.

3. 如果确实需要在构造函数中调用由类型确定的函数,可以”令derived classes将必要的构造信息向上传递至base class构造函数“替换虚函数的使用,例如:

#include <iostream>
    using namespace std;
    class A{
    public:
        void foo(){ cout << "A" << endl; }
        A(char ch='a'){ if(ch=='a') foo(); }
    };
    class B :public A{
    public:
        void foo(){ cout << "B" << endl; }
        B(char ch = 'b') :A(ch){ if (ch == 'b') foo(); }
    };
    class C :public B{
    public:
        void foo(){ cout << "C" << endl; }
        C(char ch = 'c') :B(ch){ if (ch == 'c') foo(); }
    };
    class D :public C{
    public:
        void foo(){ cout << "D" << endl; }
        D():C('d'){ foo(); }
    };

这样就可以确保调用合适的构造函数.

[70]: /images/20220515/eb5f234418bc48088d38fc3a2072fcdf.png