C++深度解析 同名覆盖引发的问题 --- 父子间的赋值兼容,函数重写(47)
父子间的赋值兼容(子类对象可以当成父类对象来使用)
子类对象可以当作父类对象使用(兼容性)
子类对象可以直接赋值给父类对象
子类对象可以直接初始化父类对象
父类指针可以直接指向子类对象
父类引用可以直接引用子类对象
示例程序:(子类对象的兼容性)
#include <iostream>
#include <string>
using namespace std;
class Parent
{
public:
int mi;
int add(int i)
{
mi += i;
}
int add(int a, int b)
{
mi += (a + b);
}
};
class Child : public Parent
{
public:
int mv;
int add(int x, int y, int z)
{
mv += (x + y + z);
}
};
int main()
{
Parent p;
Child c;
//c可以当作父类的对象使用
p = c;
//将子类对象c直接初始化父类对象p1
Parent p1(c);
//用rp作为对象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;
int add(int i)
{
mi += i;
}
int add(int a, int b)
{
mi += (a + b);
}
void print()
{
cout << "I'm Parent." << endl;
}
};
class Child : public Parent
{
public:
int mv;
int 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;
}
结果如下:
父子间的兼容问题
编译期间,编译器只能根据指针的类型判断所指向的对象
根据赋值兼容,编译器认为父类指针指向的是父类对象
因此,编译结果只可能是调用父类中定义的同名函数
void how_to_print(Parent* p)
{
p->print();
}
在编译这个函数的时候,编译器不可能知道指针p究竟指向了什么。但是编译器没有理由报错。于是,编译器认为最安全的做法是调用父类的print函数,因为父类和子类肯定都有相同的print函数。
小结
子类对象可以当作父类对象使用(赋值兼容)
父类指针可以正确的指向子类对象
父类引用可以正确的代表子类对象
子类中可以重写父类中的成员函数