C++--同名覆盖、多态
一.同名覆盖引发的问题
父子间的赋值兼容--子类对象可以当作父类对象使用(兼容性)
1.子类对象可以直接赋值给父类对象
2.子类对象可以直接初始化父类对象
3.父类指针可以指向子类对象
4.父类引用可以直接引用子类对象
代码示例
#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; }
对该代码进行结果预测:通过之前的学习的同名覆盖,程序会在 rp.add(5); rp.add(10, 10); 进行同名覆盖,且在父类指针指向子类对象时可以进行调用
运行结果
通过程序的运行结果看到,与预测的结果不同,这是因为当使用父类指针(引用)指向子类对象时
1.子类对象退化为父类对象--所以在pp->mv时会出错
2.只能访问父类中定义的成员
3.可以直接访问被子类覆盖的同名成员--所以没发生同名覆盖
特殊的同名函数
1.子类中可以重定义父类中已经存在的成员函数
2.这种重定义发生在继承中,叫做函数重写
3.函数重写是同名覆盖的一种特殊情况
Q:当函数重写遇上赋值兼容会发生什么?
代码示例
#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; }
输出结果
问题分析
1.编译期间,编译器只能根据指针的类型判断所指向的对象
2.根据赋值兼容,编译器认为父类指针指向的是父类对象
3.因此,编译结果只可能是调用父类中定义的同名函数
在编译这个函数的时候,编译器不可能知道指针p指向了什么,但是编译器没有理由报错。于是,编译器认为最安全的做法时调用父类的print函数,因为父类和子类肯定都有相同的print函数
二.多态的概念和意义
函数重写
1.父类中被重写的函数依然会继承给子类
2.子类中重写的函数将覆盖父类中的函数
3.通过作用域分辨符(::)可以访问父类中的函数
A.面向对象中期待的行为
1.根据实际的对象类型判断如何调用重写函数
2.父类指针指向--a.父类对象调用父类中定义的函数b.子类对象则调用子类中定义的函数
B.面向对象的多态的概念
1.根据实际的对象类型决定函数调用的具体目标
2.同样的调用语句在实际运行时有多种不同的表现形态
C.C++语言中直接支持多态的概念
1.通过使用virtual关键字对多态进行支持
2.被virtual声明的函数被重写后具有多态特性
3.被virtual声明的函数叫做虚函数
#include <iostream> #include <string> using namespace std; class Parent { public: virtual void print() { cout << "I'm Parent." << endl; } }; class Child : public Parent { public: 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; }
运行结果
D.多态的意义
1.在程序的运行过程中展现出多态的特性
2.函数重写必须实现多态,否则没有意义
3.多态时面向对象组件化程序设计的基础特性
静态联编--在程序的编译期间就能确定具体的函数调用
动态联编--在程序实际运行后才能确定具体的函数调用
#include <iostream> #include <string> using namespace std; class Parent { public: virtual void func() { cout << "void func()" << endl; } virtual void func(int i) { cout << "void func(int i) : " << i << endl; } virtual void func(int i, int j) { cout << "void func(int i, int j) : " << "(" << i << ", " << j << ")" << endl; } }; class Child : public Parent { public: void func(int i, int j) { cout << "void func(int i, int j) : " << i + j << endl; } void func(int i, int j, int k) { cout << "void func(int i, int j, int k) : " << i + j + k << endl; } }; void run(Parent* p) { p->func(1, 2); // 展现多态的特性 // 动态联编 } int main() { Parent p; p.func(); p.func(1); p.func(1, 2); cout << endl; Child c; c.func(1, 2); cout << endl; run(&p); run(&c); return 0; }
运行结果
小结
1.函数重写只可能发生在父类与子类之间
2.根据实际对象的类型确定调用的具体函数
3.virtual关键字是C++中支持多态的唯一方式
4.被重写的虚函数表现出多态的特性
- C++中的重载隐藏覆盖&&JAVA中的重载覆盖&&多态
- 【C++】对象函数的覆盖、重载、多态
- C++重写(覆盖)、重载、重定义、多态
- C++【多态】和【覆盖】
- C++笔试基础——覆盖与多态
- C++多态实现(虚函数,成员函数覆盖、隐藏)
- C++基类,派生类,同名覆盖原则
- [C++基础]重载、覆盖、多态与函数隐藏(3)
- C++ 封装、继承、多态、重载、覆盖、隐藏基本概念详解
- [C++基础]重载、覆盖、多态与函数隐藏(4)
- C++的多态(重载,隐藏和覆盖)
- c++中多态函数以及函数重载,覆盖,遮蔽(隐藏)的区别
- 转---C++学习之多态及重载(overload),覆盖(override),隐藏(hide)的区别
- C++的多态的被覆盖的问题
- Java多态之向上转型、同名变量以及方法覆盖
- C++多态、重载和覆盖的区别
- C++基础:多态的剖析(重载、覆盖、隐藏)
- C++什么多态、覆盖、重写、重载剖析_boomgo
- C++中的虚函数,多态,覆盖隐藏重载
- 详解一道C++笔试题,考察重载、覆盖、多态