【C++の楽しみ】ポリモーフィック深度解析

  1. ポリモーフィズムの概念

ポリモーフィズムの概念: 一般に、それはさまざまな形式ですが、 具体的には、特定の動作を完了することがポイントであり、異なるオブジェクトが完了すると、
異なる状態が生成されます。

例えば:

最近、オンライン決済市場で競争するために、Alipay は年末に魅力的な包括的な紅包支払いボーナス活動を頻繁に実施しています。次に、誰かが掃除する赤い封筒は大きくて新鮮で、8 元、10 元... であるのに、誰かが掃除する赤い封筒はすべて 1 セント、5 セント... である理由を考えてください。実際、この背後にはポリモーフィックな動作もあります。Alipay はまずあなたのアカウント データを分析します。たとえば、新しいユーザーの場合、たとえば、Alipay で頻繁に支払わない場合など、Alipay の使用を奨励する必要があります。コードをスキャンした金額=random()%99; たとえば、Alipay をよく使用します。支払いや Alipay アカウントに一年中お金がない場合は、Alipay の使用をあまり奨励する必要はありません。 code = random()%1; 要約すると、同じスキャン操作でも、異なるユーザーは異なるスキャン方法を実行します 赤い封筒、これも多様な動作です。

ps:アリペイの赤い封筒の問題は全くのでっち上げであり、娯楽のみを目的としています。

  1. ポリモーフィズムの定義と実装

2.1 多型の構成条件

ポリモーフィズムとは、異なる継承関係を持つクラス オブジェクトが同じ関数を呼び出し、その結果、異なる動作が生じることです。たとえば、Student は person から継承します。Person オブジェクトはチケットの全額を購入し、Student オブジェクトはチケットの半額を購入します。
継承におけるポリモーフィズムを構成するには 2 つの条件があります。
1. 仮想関数は基本クラスのポインターまたは参照を通じて呼び出されなければなりません。
2. 呼び出される関数は仮想関数でなければならず、派生クラスはその仮想関数をオーバーライドする必要があります。基本クラスの書き込み
class person {
public:
    //虚函数
    virtual void buyticket() { cout << "person买票->全价" << endl; }
};

class student : public person
{
public:
    //虚函数重写/覆盖
    //三同:函数名,参数,返回值相同。
    virtual void buyticket() { cout << "student买票->半价" << endl; }
    /*注意:在重写基类虚函数时,派生类的虚函数在不加virtual关键字时,虽然也可以构成重写(因
为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范,不建议
这样使用*/
   /*void buyticket() { cout << "student买票-半价" << endl; }*/
};

//如果他们俩不是虚函数或者三同不满足,就构成隐藏。


//多态的条件:
//虚函数满足重写/覆盖
//通过父类的指针或者引用调用虚函数
void fun1(person* pp) { (*pp).buyticket(); }
void fun2(person& p){ p.buyticket(); }

int main() {
    person p;
    student s;

    //普通调用:和调用对象的类型有关。
    p.buyticket();//person买票->全价
    s.buyticket();//student买票->半价
    cout << endl;


    //多态调用:指针/引用-->指向的对象有关。
    //p指向父类调用父类的虚函数,指向子类调用子类的虚函数
    fun1(&p);//person买票->全价
    fun1(&s);//student买票->半价
    cout << endl;
    fun2(p);//person买票->全价
    fun2(s);//student买票->半价

    return 0;
}

2.2. 仮想機能

仮想関数: つまり、virtual によって変更されたクラス メンバー関数を仮想関数と呼びます。
class Person {
public:
 virtual void BuyTicket() { cout << "person买票-全价" << endl;}
};
//此时的BuyTicket就是虚函数。

2.3 仮想関数の書き換え

仮想関数の書き換え (カバー): 派生クラス内に基本クラスとまったく同じ仮想関数が存在します (つまり、派生クラス仮想関数の戻り値の型、関数名、パラメーター リストがまったく同じです)。基本クラスの仮想関数と同じです
)。サブクラスと呼ばれます。 の仮想関数は、基本クラスの仮想関数をオーバーライドします。
class person {
public:
    //虚函数
    virtual void buyticket() { cout << "person买票->全价" << endl; }
};

class student : public person
{
    //虚函数重写/覆盖
    //三同:函数名,参数,返回值相同。
    virtual void buyticket() { cout << "student买票->半价" << endl; }
    /*注意:在重写基类虚函数时,派生类的虚函数在不加virtual关键字时,虽然也可以构成重写(因
为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范,不建议
这样使用*/
   /*void buyticket() { cout << "student买票-半价" << endl; }*/
};

//如果他们俩不是虚函数或者三同不满足,就构成隐藏。

2.4. 仮想関数の書き換えに対する 2 つの例外 (共分散/デストラクター)

子类不加virtual

子类认为是重写父类虚函数的实现,个人非常不建议不加。
class person {
public:
    //虚函数
    virtual void buyticket() { cout << "person买票->全价" << endl; }
};

class student : public person{
public:
    virtual void buyticket() { cout << "student买票->半价" << endl; }
    /*注意:在重写基类虚函数时,派生类的虚函数在不加virtual关键字时,虽然也可以构成重写(因
    为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范,不建议
    这样使用*/
    //注意:父类必须加。
   //void buyticket() { cout << "student买票-半价" << endl; }
};

协变(基类与派生类虚函数返回值类型不同)

派生类重写基类虚函数时,与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指针或者引用,派生类虚函数返回派生类对象的指针或者引用时,称为协变。(了解)
class A {};
class B : public A {};

//协变:返回值可以不同,但是返回值必须是一个父子类关系的指针或者引用。
//如果这里的返回值不是一个父子类关系的指针或者引用,就构成隐藏关系。
class Person {
public:
    virtual A* fun() { return new A; }
};
class Student : public Person {
public:
    virtual B* fun() { return new B; }
};

//也可以都返回父类
class Person {
public:
    virtual A* fun() { return new A; }
};
class Student : public Person {
public:
    virtual A* fun() { return new A; }
};
 
//或者直接返回自己的类型
class Person {
public:
    virtual Person* fun() { return this; }
};
class Student : public Person {
public:
    virtual Student* fun() { return this; }
};

析构函数的重写(基类与派生类析构函数的名字不同)

如果基类的析构函数为虚函数,此时派生类析构函数只要定义,无论是否加virtual关键字,都与基类的析构函数构成重写,虽然基类与派生类析构函数名字不同。虽然函数名不相同,看起来违背了重写的规则,其实不然,这里可以理解为编译器对析构函数的名称做了特殊处理,编译后析构函数的名称统一处理成destructor
class person {
public:
    virtual ~person()
    //~person()
    {
        cout << "person----析构" << endl;
        delete[] str;
    }
protected:
    char* str = new char[10];
};

class student :public person{
public:
    virtual ~student()
    //~student()
    {//子类的析构函数不需要,显示调用父类的析构函数。
        cout << "student----析构" << endl;
        delete[] stu;
    }

protected:
    char* stu = new char[20];
};


int main()
{
    //person ps;
    //student st;
    普通场景下析构函数是不是多态无所谓都一样得。

    person* ps1 = new person;
    person* ps2 = new student;
    delete ps1;
    delete ps2;

    //如果析构函数是普通函数:
    //就是普通调用,和ps1和ps2的类型有关
    // 结果:
    //person----析构
    //person----析构
    //这就造成了内存泄漏得问题。

    //如果析构函数构成重写:
    // 结果:
    //person----析构
    //student----析构
    //person----析构
    return 0;
所以建议析构函数加上virtual,让父类和子类的析构函数构成重写。
前面我们讲过,继承的时候,父类的析构函数和子类的析构函数构成隐藏,就是因为他们的析构函数被处理成相同的函数名: destructor()
为了满足通过指针/引用的方式调用析构函数,所以编译器,会将析构函数处理为同名,并且我们一般都要给他加上virtual构成重写。防止内存泄漏。
所以,以后写父类,一定要在析构函数加virtual

2.5. override 和 final(C++11)

从上面可以看出,C++对函数重写的要求比较严格,但是有些情况下由于疏忽,可能会导致函数名字母次序写反而无法构成重载,而这种错误在编译期间是不会报出的,只有在程序运行时没有得到预期结果才来debug会得不偿失,因此:C++11提供了override和fifinal两个关键字,可以帮助用户检测是否重写。

override

override: 检查派生类虚函数是否重写了基类某个虚函数,如果没有完成重写,就会报错。
class Car{
public:
 virtual void Drive(){}
};
class Benz :public Car {
public:
 virtual void Drive() override {cout << "Benz-舒适" << endl;}
//如果没有完成重写,就会报错。
};

final

final:修饰虚函数,表示该虚函数不能再被重写
这里我感觉怪怪的,实现虚函数就是为了重写,又加virtual又加final,不合理。
class Car
{
public:
 virtual void Drive() final {}
//这里我感觉怪怪的,实现虚函数就是为了重写,又加virtual又加final,不合理。
};
class Benz :public Car
{
public:
 virtual void Drive() {cout << "Benz-舒适" << endl;}
};

2.6.重载、覆盖(重写)、隐藏(重定义)的对比

2.7.如何实现一个不能内继承的类

构造私有(c++98)

class A {
private:
    A(){ }
};

class B : public A
{ };

int main()
{
    B bb;

    return 0;
}

类定义时加final(c++11)

class A final
{
public:
    A(){ }
};

class B : public A
{ };

int main()
{
    B bb;
    //不定义对象都会报错。

    return 0;
}

  1. 抽象类

3.1.概念(纯虚函数)

在虚函数的后面写上 =0 ,则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类(也叫接口类),抽象类不能实例化出对象。派生类继承后也不能实例化出对象,只有重写纯虚函数,派生类才能实例化出对象。纯虚函数规范了派生类必须重写,另外纯虚函数更体现出了接口继承。
class Car
{
public:
    virtual void Drive() = 0;
};
class Benz :public Car{
public:
    virtual void Drive()//只有重写了Drive,才能实例化出对象。
    {
        cout << "Benz-舒适" << endl;
    }
};

class BMW :public Car{
public:
    virtual void Drive()//只有重写了Drive,才能实例化出对象。
    {
        cout << "BMW-操控" << endl;
    }
};
void Test()
{
    Car* pBenz = new Benz;
    pBenz->Drive();
    Car* pBMW = new BMW;
    pBMW->Drive();
}

int main(){
    Test();
    return 0;
}

3.2. 接口继承和实现继承

普通函数的继承是一种实现继承,派生类继承了基类函数,可以使用函数,继承的是函数的实现。
虚函数的继承是一种接口继承,派生类继承的是基类虚函数的接口,目的是为了重写,达成多态,继承的是接口。所以如果不实现多态,不要把函数定义成虚函数。
所以虚函数,继承下来的是接口,没有实现,实现是靠子类去重写的,这就解释了为什么,父类是虚函数,而子类加不加virtual都是重写的原因。
因为虚函数继承体现一个接口继承。

举例:

   class A
   {
   public:
       virtual void func(int val = 1){ std::cout<<"A->"<< val <<std::endl;}
       virtual void test(){ func();}
//虽然p是子类的指针但是,调用的时候会发生传参,子类指针切片传给父类.
//这里的func是用this指针(父类指针)调用的,满足多态调用。
   };
   class B : public A
   {
   public:
//对于虚函数子类只是继承了接口及:void func(int val = 1);所以val == 1
       void func(int val=0){ std::cout<<"B->"<< val <<std::endl; }
   };
   
   int main(int argc ,char* argv[])
   {
       B*p = new B;
       p->test();
       return 0;
   }

 A: A->0 B: B->1 C: A->1 D: B->0 E: 编译出错 F: 以上都不正确
这个题的正确答案是: B ->1
这就体现了虚函数的借口继承,子类继承了父类虚函数的接口(及三同的内容),子类再实现对虚函数的内容重写。
  1. 多态的原理

4.1虚函数表

// 这里常考一道笔试题:sizeof(Base)是多少?
class Base
{
public:
 virtual void Func1()
 {
 cout << "Func1()" << endl;
 }
private:
 int _b = 1;
};
通过观察测试我们发现b对象是8bytes,除了_b成员,还多一个__vfptr放在对象的前面(注意有些平台可能会放到对象的最后面,这个跟平台有关),对象中的这个指针我们叫做虚函数表指针(v代表virtual,f代表function)。 一个含有虚函数的类中都至少都有一个虚函数表指针,因为虚函数的地址要被放到虚函数表中,虚函数表也简称虚表。
// 针对上面的代码我们做出以下改造
// 1.我们增加一个派生类Derive去继承Base
// 2.Derive中重写Func1
// 3.Base再增加一个虚函数Func2和一个普通函数Func3
class Base
{
public:
    virtual void Func1(){
        cout << "Base::Func1()" << endl;
    }
    virtual void Func2() {
        cout << "Base::Func2()" << endl;
    }
    void Func3(){
        cout << "Base::Func3()" << endl;
    }
private:
    int _b = 1;
};

class Derive : public Base{
public:
    virtual void Func1(){
        cout << "Derive::Func1()" << endl;
    }
    void Func3(){
        cout << "Derive::Func3()" << endl;
    }
private:
    int _d = 2;
};

int main(){
    Base b;
    Derive d;
    return 0;
}

int main()
{
    Base b;
    Derive d;
    //Func1是重写/覆盖 ; Func3是隐藏/重定义

    //多态调用   //运行时绑定  动态
    //多态调用编译的时候,不能确定调用的函数。
    Base* ptr = &b;
    ptr->Func1();//ptr看到的只是父类,真的父类或者子类中切片出来的父类。
    ptr = &d;
    ptr->Func1();//只是子类中,虚表中的重写了父类的虚函数函数。
    //多态调用执行虚表中的函数。

    //普通调用。 //编译时绑定  动态
    //普通调用是在编译的时候,通过类型就可以锁定,调用的函数。
    //普通调用通过类型锁定要调用的函数。
    ptr = &b;
    ptr->Func3();
    ptr = &d;
    ptr->Func3();

    return 0;
}
普通调用,通过类型锁定要调用的函数。
多态调用,通过虚表锁定要执行的函数,类型都是父类的指针或者引用。

4.2.虚函数表存放的位置

写一个程序验证一下虚表存放的位置


int main()
{
    int* rp1 = new int;
    int* rp2 = new int;
    int* rp3 = new int;
    int* rp4 = new int;
    cout << "rp1堆:0x" << (void*)rp1 << endl;
    cout << "rp2堆:0x" << (void*)rp2 << endl;
    cout << "rp3堆:0x" << (void*)rp3 << endl;
    cout << "rp4堆:0x" << (void*)rp4 << endl;
    cout << endl << endl;

    int a1 = 1;
    int a2 = 1;
    int a3 = 1;
    int a4 = 1;
    cout << "a1栈:0x" << (void*)&a1 << endl;
    cout << "a2栈:0x" << (void*)&a2 << endl;
    cout << "a3栈:0x" << (void*)&a3 << endl;
    cout << "a4栈:0x" << (void*)&a4 << endl;
    cout << endl << endl;

    static int b1 = 10;
    static int b2 = 10;
    static int b3 = 10;
    cout << "静态区/数据段 b1:0x" << (void*)&b1 << endl;
    cout << "静态区/数据段 b2:0x" << (void*)&b2 << endl;
    cout << "静态区/数据段 b3:0x" << (void*)&b3 << endl;
    cout << endl << endl;

    const char* str1 = "zhangxuefeng";
    const char* str2 = "zhangxuefeng";
    const char* str3 = "gaowenya";
    cout << "代码段/常量区 str1:0x" << (void*)str1 << endl;
    cout << "代码段/常量区 str2:0x" << (void*)str2 << endl;
    cout << "代码段/常量区 str3:0x" << (void*)str3 << endl;
    cout << endl << endl;

    Base b;
    cout << "虚表:ox" << (void*)*((void**)&b) << endl;
    return 0;
}

虚表在代码段,相同类使用的是用一个虚表.

int main()
{
    Base b1;
    Base b2;
    cout << "虚表b1:ox" << (void*)*((void**)&b1) << endl; 
    cout << "虚表b2:ox" << (void*)*((void**)&b2) << endl;
    cout << endl << endl;
    Derive d1;
    cout << "虚表d1:ox" << (void*)*((void**)&d1) << endl;
    return 0;
}

同类型的类,使用同一个虚表,父子类使用不同的虚表.

4.3.多态的原理

还记得这里Func函数传Person调用的Person::BuyTicket,传Student调用的是Student::BuyTicket
class Person {
public:
    virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
class Student : public Person {
public:
    virtual void BuyTicket() { cout << "买票-半价" << endl; }
};
void Func(Person& p)
{
    p.BuyTicket();
}
int main()
{
    Person Mike;
    Func(Mike);
    Student Johnson;
    Func(Johnson);
    return 0;
}

1. 观察下图的红色箭头我们看到,p是指向mike对象时,p->BuyTicket在mike的虚表中找到虚函数是Person::BuyTicket。

2. 观察下图的蓝色箭头我们看到,p是指向johnson对象时,p->BuyTicket在johson的虚表中找到虚函数是Student::BuyTicket。

3. 这样就实现出了不同对象去完成同一行为时,展现出不同的形态。

4. 反过来思考我们要达到多态,有两个条件,一个是虚函数覆盖,一个是对象的指针或引用调用虚函数。反思一下为什么?因为用父类的指针或者引用对子类进行切片,去实现调用不同的函数.

5. 再通过下面的汇编代码分析,看出满足多态以后的函数调用,不是在编译时确定的,是运行起来以后到对象的中取找的。不满足多态的函数调用时编译时确认好的。

void Func(Person* p)
{
 p->BuyTicket();
}
int main()
{
 Person mike;
 Func(&mike);
 mike.BuyTicket();
    
 return 0;
}
// 以下汇编代码中跟你这个问题不相关的都被去掉了
void Func(Person* p)
{
...
 p->BuyTicket();
// p中存的是mike对象的指针,将p移动到eax中
001940DE  mov         eax,dword ptr [p]
// [eax]就是取eax值指向的内容,这里相当于把mike对象头4个字节(虚表指针)移动到了edx
001940E1  mov         edx,dword ptr [eax]
// [edx]就是取edx值指向的内容,这里相当于把虚表中的头4字节存的虚函数指针移动到了eax
00B823EE  mov         eax,dword ptr [edx]
// call eax中存虚函数的指针。这里可以看出满足多态的调用,不是在编译时确定的,是运行起来以后到对象的中取找的。
001940EA  call        eax  
001940EC  cmp         esi,esp  
}
int main()
{
... 
// 首先BuyTicket虽然是虚函数,但是mike是对象,不满足多态的条件,所以这里是普通函数的调
//用转换成地址时,是在编译时已经从符号表确认了函数的地址,直接call 地址
 mike.BuyTicket();
00195182  lea         ecx,[mike]
00195185  call        Person::BuyTicket (01914F6h)  
... 
}

4.4. 动态绑定与静态绑定

1. 静态绑定又称为前期绑定(早绑定),在程序编译期间确定了程序的行为,也称为静态多态,比如:函数重载

2. 动态绑定又称后期绑定(晚绑定),是在程序运行期间,根据具体拿到的类型确定程序的具体行为,调用具体的函数,也称为动态多态

3. (4.2小节)买票的汇编代码很好的解释了什么是静态(编译器)绑定和动态(运行时)绑定。

  1. 单继承和多继承关系中的虚函数表

需要注意的是在单继承和多继承关系中,下面我们去关注的是派生类对象的虚表模型,因为基类的虚表模型前面我们已经看过了,没什么需要特别研究的

5.1.单继承中的虚函数表

class Base {
public:
    virtual void func1() { cout << "Base::func1" << endl; }
    virtual void func2() { cout << "Base::func2" << endl; }
private:
    int a;
};
class Derive :public Base {
public:
    virtual void func1() { cout << "Derive::func1" << endl; }
    virtual void func3() { cout << "Derive::func3" << endl; }
    virtual void func4() { cout << "Derive::func4" << endl; }
private:
    int b;
};
观察下图中的监视窗口中我们发现看不见func3和func4。 这里是编译器的监视窗口故意隐藏了这两个函数,也可以认为是他的一个小bug 。那么我们如何查看d的虚表呢?下面我们使用代码打印出虚表中的函数。
typedef void(*VFPTR) ();
void PrintVTable(VFPTR vTable[])
{
    // 依次取虚表中的虚函数指针打印并调用。调用就可以看出存的是哪个函数
    cout << " 虚表地址>" << vTable << endl;
    for (int i = 0; vTable[i] != nullptr; ++i)
        //这里有的编译器可以使用vTable[i]!=nullptr 来判断结束,但是这只是编译器行为。
        //虚函数表,有时候不会以nullptr结束。vs是以nullptr结束的,但是有时候需要我们手动清理一下解决方案。
        //printf(" 第%d个虚函数地址 :0x%x\n", i, vTable[i]);
    {
        printf(" 第%d个虚函数地址 :0x%p\n", i+1, vTable[i]);
        VFPTR f = vTable[i];
    }
    cout << endl;
    cout << endl;
}

int main()
{
    Base b;
    Derive d;

    // 思路:取出b、d对象的头4bytes,就是虚表的指针,前面我们说了虚函数表本质是一个存虚函数
    //指针的指针数组,这个数组最后面放了一个nullptr
    // 1.先取b的地址,强转成一个int*的指针
    // 2.再解引用取值,就取到了b对象头4bytes的值,这个值就是指向虚表的指针
    // 3.再强转成VFPTR*,因为虚表就是一个存VFPTR类型(虚函数指针类型)的数组。
    // 4.虚表指针传递给PrintVTable进行打印虚表
    // 5.需要说明的是这个打印虚表的代码经常会崩溃,因为编译器有时对虚表的处理不干净,虚表最
    // 后面没有放nullptr,导致越界,这是编译器的问题。
    // 我们只需要点目录栏的 - 生成 - 清理解决方案,再编译就好了。

    VFPTR * vTableb = (VFPTR*)(*(int*)&b);
    PrintVTable(vTableb);
    VFPTR* vTabled = (VFPTR*)(*(int*)&d);
    PrintVTable(vTabled);
    //上面的方法只能打印32位的机器,

    PrintVTable((VFPTR*)(*((void**)&b)));
    PrintVTable((VFPTR*)(*((int**)&b)));
    //传入二级指针,就可以自适应,32位和64位都可以运行。
    return 0;
}

5.2 多继承中的虚函数表

class Base1 {
public:
    virtual void func1() { cout << "Base1::func1" << endl; }
    virtual void func2() { cout << "Base1::func2" << endl; }
private:
    int b1 = 0;
};

class Base2 {
public:
    virtual void func1() { cout << "Base2::func1" << endl; }
    virtual void func2() { cout << "Base2::func2" << endl; }
private:
    int b2 = 0;
};

class Derive : public Base1,public Base2 {
public:
    virtual void func1() { cout << "Derive::func1" << endl; }
    virtual void func4() { cout << "Derive::func4" << endl; }
    virtual void func5() { cout << "Derive::func5" << endl; }
private:
    int a = 1;
};



typedef void(*VFPTR) ();
void PrintVTable(VFPTR vTable[])
{
    // 依次取虚表中的虚函数指针打印并调用。调用就可以看出存的是哪个函数
    cout << " 虚表地址>" << vTable << endl;
    for (int i = 0; vTable[i] != nullptr; ++i)
        //这里有的编译器可以使用vTable[i]!=nullptr 来判断结束,但是这只是编译器行为。
        //虚函数表,有时候不会以nullptr结束。vs是以nullptr结束的,但是有时候需要我们手动清理一下解决方案。
        //printf(" 第%d个虚函数地址 :0x%x\n", i, vTable[i]);
    {
        printf(" 第%d个虚函数地址 :0x%p->", i + 1, vTable[i]);
        vTable[i]();//调用这个函数

        VFPTR f = vTable[i];
    }
    cout << endl;
    cout << endl;
}

int main()
{
    Base1 b1;
    Base2 b2;

    Derive de;

    printf("Base1的虚表:\n");
    PrintVTable((VFPTR*)*(void**)&b1);
    printf("Base2的虚表:\n");
    PrintVTable((VFPTR*)*(void**)&b2);


    printf("Derive中b1的虚表:\n");
    PrintVTable((VFPTR*)*(void**)&de);
    printf("Derive中b2的虚表:\n");
    PrintVTable((VFPTR*)*(void**)((char*)&de + sizeof(Base1)));

    return 0;
}

观察可以看出:多继承派生类的未重写的虚函数放在第一个继承基类部分的虚函数表中

5.3.菱形继承、菱形虚拟继承

菱形继承实际上和多继承没有太多的改变,子类中每一个父类的那一部分加了虚函数表(虚表),难点在菱形虚拟继承,虚表混着虚基表,小编没有学的很深入.

给大家分享一篇陈浩大佬的文章,里面有深入的讲解.
  1. 虚函数表解析

  1. 对象的内存布局

  1. 继承和多态常见的面试问题

6.1.概念考察

1. 下面哪种面向对象的方法可以让你变得富有(A )

A: 继承 B: 封装 C: 多态 D: 抽象

2. ( D)是面向对象程序设计语言中的一种机制。这种机制实现了方法的定义与具体的对象无关,而对方法的调用则可以关联于具体的对象。

A: 继承 B: 模板 C: 对象的自身引用 D: 动态绑定

3. 面向对象设计中的继承和组合,下面说法错误的是?(C)

A:继承允许我们覆盖重写父类的实现细节,父类的实现对于子类是可见的,是一种静态复

用,也称为白盒复用

B:组合的对象不需要关心各自的实现细节,之间的关系是在运行时候才确定的,是一种动

态复用,也称为黑盒复用

C:优先使用继承,而不是组合,是面向对象设计的第二原则

D:继承可以使子类能自动继承父类的接口,但在设计模式中认为这是一种破坏了父类的封

装性的表现

4. 以下关于纯虚函数的说法,正确的是(A )

A:声明纯虚函数的类不能实例化对象 B:声明纯虚函数的类是虚基类

C:子类必须实现基类的纯虚函数 D:纯虚函数必须是空函数

5. 关于虚函数的描述正确的是(B)

A:派生类的虚函数与基类的虚函数具有不同的参数个数和类型 B:内联函数不能是虚函数

C:派生类必须重新定义基类的虚函数 D:虚函数可以是一个static型的函数

6. 关于虚表说法正确的是(D )

A:一个类只能有一张虚表

B:基类中有虚函数,如果子类中没有重写基类的虚函数,此时子类与基类共用同一张虚表

C:虚表是在运行期间动态生成的

D:一个类的不同对象共享该类的虚表

7. 假设A类中有虚函数,B继承自A,B重写A中的虚函数,也没有定义任何虚函数,则(D)

A:A类对象的前4个字节存储虚表地址,B类对象前4个字节不是虚表地址

B:A类对象和B类对象前4个字节存储的都是虚基表的地址

C:A类对象和B类对象前4个字节存储的虚表地址相同

D:A类和B类虚表中虚函数个数相同,但A类和B类使用的不是同一张虚表

8. 下面程序输出结果是什么? (A)

//菱形虚拟继承
#include <iostream>
using namespace std;
class A {
public:
    A(char* s) { cout << s << endl; }
    ~A() {}
};
class B :virtual public A
{
public:
    B(char* s1, char* s2) :A(s1) { cout << s2 << endl; }
};
class C :virtual public A
{
public:
    C(char* s1, char* s2) :A(s1) { cout << s2 << endl; }
};
class D :public B, public C
{
public:
    D(char* s1, char* s2, char* s3, char* s4) :B(s1, s2), C(s1, s3), A(s1)
    {
        cout << s4 << endl;
    }
};
int main() {
    D* p = new D("class A", "class B", "class C", "class D");
    delete p;
    return 0;
}//classA classB classC classD

//基本菱形继承
//#include <iostream>
using namespace std;
class A {
public:
    A(const char* s) { cout << s << endl; }
    ~A() {}
};
//class B :virtual public A
class B : public A
{
public:
    B(const char* s1, const char* s2) :A(s1) { cout << s2 << endl; }
};
//class C :virtual public A
class C : public A
{
public:
    C(const char* s1, const char* s2) :A(s1) { cout << s2 << endl; }
};
class D :public B, public C
{
public:
    D(const char* s1, const char* s2, const char* s3, const char* s4) :B(s1, s2), C(s1, s3)
    {
        cout << s4 << endl;
    }
};
int main() {
    D* p = new D("class A", "class B", "class C", "class D");
    delete p;
    return 0;
}
//classA classB classA classC classD

A:class A class B class C class D B:class D class B class C class A

C:class D class C class B class A D:class A class C class B class D

假如这个题不是菱形虚拟继承,答案应该是classA classB classA classC classD 并且在D类的初始化列表不能初始化A("classA")

9. 多继承中指针偏移问题?下面说法正确的是(C )

class Base1 {  public:  int _b1; };
class Base2 {  public:  int _b2; };
class Derive : public Base1, public Base2 { public: int _d; };
int main(){
    Derive d;
    Base1* p1 = &d;
    Base2* p2 = &d;
    Derive* p3 = &d;
    return 0;
}

A:p1 == p2 == p3 B:p1 < p2 < p3 C:p1 == p3 != p2 D:p1 != p2 != p3

10. 以下程序输出结果是什么(B)

class A
{
public:
    virtual void func(int val = 1) { std::cout << "A->" << val << std::endl; }
    virtual void test() { func(); }
    //virtual void test(A* this) { func(); }
    //这里相当于是传入一个this指针,也就是父类的指针,构成多态的条件。func()调用的是子类的func函数
    //但是接口继承的方式,打印的结果是B->1
};

class B : public A
{
public:
    void func(int val = 0) { std::cout << "B->" << val << std::endl; }
};

int main(int argc, char* argv[])
{
    B* p = new B;
    p->test();
    return 0;
}

A: A->0 B: B->1 C: A->1 D: B->0 E: 编译出错 F: 以上都不正确

参考答案:
1. A 2. D 3. C 4. A 5. B
6. D 7. D 8. A 9. C 10. B

6.2.问答题

1. 什么是多态?

答:参考本节课件内容

2. 什么是重载、重写(覆盖)、重定义(隐藏)?

答:参考本节课件内容

3. 多态的实现原理?

答:参考本节课件内容

4. inline函数可以是虚函数吗?

答:可以,不过编译器就忽略inline属性,这个函数就不再是inline,因为虚函数要放到虚表中去。如果是多态调用,一定不 会使用inline属性,如果是普通调用,才会使用inline属性。

5. 静态成员可以是虚函数吗?

答:不能,因为静态成员函数没有this指针,使用类型::成员函数的调用方式无法访问虚函数表,所以静态成员函数无法放进虚函数表。

6. 构造函数可以是虚函数吗?

答:不能,因为对象中的虚函数表指针是在构造函数初始化列表阶段才初始化的。

7. 析构函数可以是虚函数吗?什么场景下析构函数是虚函数?

答:可以,并且最好把基类的析构函数定义成虚函数。

8. 对象访问普通函数快还是虚函数更快?

答:首先如果是普通对象,是一样快的。如果是指针对象或者是引用对象,则调用的普通函数快,因为构成多态,运行时调用虚函数需要到虚函数表中去查找。

9. 虚函数表是在什么阶段生成的,存在哪的?

答:虚函数表是在编译阶段就生成的,一般情况下存在代码段(常量区)的。

10. C++菱形继承的问题?虚继承的原理?

答:参考继承部分。注意这里不要把虚函数表和虚基表搞混了。

11. 什么是抽象类?抽象类的作用?

答:参考(3.抽象类)。抽象类强制重写了虚函数,另外抽象类体现出了接口继承关系。

おすすめ

転載: blog.csdn.net/zxf123567/article/details/129567997
おすすめ