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);             // 没有发生同名覆盖?  0000000000000000000
    rp.add(10, 10);        // 没有发生同名覆盖?    
    /* 为什么编译不过? */
    // pp->mv = 1000;
    // pp->add(1, 10, 100);    
    return 0;

}

当使用父类指针(引用)指向子类对象时,子类对象退化为父类对象,只能访问父类中定义的成员,可以直接访问被子类覆盖的同名成员。

子类中可以重定义父类中已经存在的成员函数,这种重定义发生在继承中,叫做函数重写。函数重写是同名覆盖的一种特殊情况。

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

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

}

在编译这个函数的时候,编译器不可能知道指针p究竟指向了什么。但是编译器没有理由报错,于是,编译器认为最安全的做法是调用父类的print函数,因为父类和子类肯定都有相同的print函数。(如果在运行时,p指针指向的是子类对象,那么将这个prient函数解释为父类中的版本,根据赋值兼容性规则,也是正确的,于是编译器都打印父类中的函数)

同名覆盖带来的问题,当子类重写了父类中的某一函数时,有可能带来以上问题。

子类对象可以当作父类对象使用(赋值兼容),父类指针可以正确的指向子类对象,父类引用可以正确的代表子类对象,子类中可以重写父类中的成员函数。

猜你喜欢

转载自blog.csdn.net/ws857707645/article/details/80253076