【C++】48.同名覆盖引发的问题

什么是父子间的 赋值兼容 问题？

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

#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);
    }
};

class Child : public Parent
{
public:
    int mv;
    
    void add(int x, int y, int z)
    {
        mv += (x + y + z);
    }
};

int main()
{
    Parent p;
    Child c;
    
    p = c;
    
    Parent p1(c);
    
    
    Parent& rp = c;
    Parent* pp = &c;
    
    rp.mi = 100;
    rp.add(5);             // 没有发生同名覆盖?
    rp.add(10, 10);        // 没有发生同名覆盖?
    
    /* 为什么编译不过? */
    // pp->mv = 1000;
    // pp->add(1, 10, 100);
    
    return 0;
}

上述代码中，当使用父类指针（引用）指向子类对象的时候

子类对象退化为父类对象

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

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

 

函数重写

子类重定义父类中已经存在的成员函数，并且是在继承中，这样叫做函数重写。

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

class Parent
{
public:   
    void print()
    {
        cout << "I'm Parent." << endl;
    }
};

class Child : public Parent
{
public:
 
    void print()
    {
        cout << "I'm Child." << endl;
    }
};

 

问题：

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

#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;
}

上述结果都是打印 ：

I'm parent

问题分析：

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

 

引发的思考：

编译器的处理方式是合理的的嘛？是期望的嘛？

想法：

实际中 当子类重写父类一个函数，就是认为父类的函数满足不了子类的需求。但是实际结果却不是这样的，所以不是期望的。

这就是 为什么引出虚函数的原因了！

小结

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

父类的指针（引用）可以正确的指向(代表)子类对象。

子类可以重写父类中的成员函数。