同名覆盖引发的问题

在C++中,子类对象可以当作父类对象使用
子类对象可以直接赋值给父类对象
子类对象可以直接初始化父类对象
父类指针可以直接指向子类对象
父类引用可以直接引用子类对象
先来看一个例子:

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

结果:

sice@sice:~$ g++ a.cpp
a.cpp: 在函数‘int main()’中:
a.cpp:51:8: 错误： ‘class Parent’没有名为‘mv’的成员
a.cpp:52:22: 错误： 对‘Parent::add(int, int, int)’的调用没有匹配的函数
a.cpp:52:22: 附注： 备选是：
a.cpp:11:10: 附注： void Parent::add(int)
a.cpp:11:10: 附注：   备选需要 1 实参，但提供了 3 个
a.cpp:16:10: 附注： void Parent::add(int, int)
a.cpp:16:10: 附注：   备选需要 2 实参，但提供了 3 个

为什么rp.add(5),rp.add(10,10)为什么没有发生同名覆盖,而且pp->mv = 1000, pp->add(1, 10, 100)为什么会报错?这是父子间的赋值兼容
当使用父类指针(引用)指向子类对象时
-子类对象退化为父类对象
-只能访问父类中定义的成员
-可以直接访问被子类覆盖的同名成员

有代码可知,rp引用指向子类对象时,rp只能可以访问类中定义的成员,所以rp的操作没有问题,而pp使用父类指针指向子类对象时去访问了子类的成员所以报错了.

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

例子:

#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);    
    how_to_print(&c);    
    
    return 0;
}

结果:

sice@sice:~$ ./a.out 
I'm Parent.
I'm Parent.

这是因为我们的编译器在编译how_to_print这个函数的时候,编译器不可能知道指针p究竟指向了什么,但是编译器没有理由报错,于是,编译器认为最安全的做法是调用父类的print函数,因为父类和子类肯定都有相同的print函数,可以看出我们的父类指针可以正确的指向子类对象,父类引用可以正确的代表子类对象,但是当子类中可以重写父类中的成员函数的时候就会引发同名覆盖的问题,即使用父类指针(引用)指向子类对象时,只能访问父类中定义的成员