【c++深度解析10】同名覆盖引发的问题

父子间的赋值兼容

1.子类对象可以当做父类对象使用（兼容性）

2.子类对象可以直接初始化父类对象

3.父类指针可以直接指向子类对象

4.父类引用可以直接引用子类对象

当使用父类指针（引用）指向子类对象时

1.子类对象退化为父类对象

2.只能访问父类中定义的成员

3.可以直接访问被子类覆盖的同名成员

特殊的同名函数

子类中可以重定义父类中已经存在的成员函数，这种重定义发生在继承中，叫做函数重写

函数重写是同名覆盖的一种特殊情况

当函数重写遇上了赋值兼容会发生什么？

直接看如下一个例子：

#include <iostream>
#include <string>

using namespace std;

class Parent
{
public:
    int mi;
    
    void add(int i)
    {
        mi += i;
    }
    
    void add(int a, int b)
    {
        mi += (a + b);
    }
    
    void print()
    {
        cout << "I'm Parent." << endl;
    }
};

class Child : public Parent
{
public:
    int mv;
    
    void add(int x, int y, int z)
    {
        mv += (x + y + z);
    }
    
    void print()
    {
        cout << "I'm Child." << endl;
    }
};

void how_to_print(Parent* p)
{
    p->print();
}

int main()
{
    Parent p;
    Child c;
    
    how_to_print(&p);    // Expected to print: I'm Parent.
    how_to_print(&c);    // Expected to print: I'm Child.
    
    return 0;
}

结果打印结果为 ：

    how_to_print(&c);    // Expected to print: I'm Child.  退化为调用父类的 print()函数了

问题分析：

编译期间，编译器只能根据指针的类型判断所指向的对象。

根据赋值兼容，编译器认为父类指针指向的是父类对象

因此，编译结果只能是调用父类中定义的同名函数

、’