c++知识细节-基类指针指向子类对象/虚纯虚函数/多态性/虚析构

本文围绕C++知识细节展开,介绍了基类指针指向子类对象的新玩法,探讨了虚函数的使用,包括override和final关键字的作用,阐述了多态性是针对虚函数而言,还讲解了纯虚函数和抽象类的概念,最后强调基类析构函数应写成虚函数以保证正确析构。

c++知识细节-基类指针指向子类对象/虚纯虚函数/多态性/虚析构

基类指针,派生类指针

新玩法: 父类指针可以new一个子类对象.

Human *phuman = new Men;
phuman->funchuman();	//父类类型指针可以调用父类的成员函数
phuman->funcmen();	//不可以,因为你是一个父类指针

Q: 既然父类指针没有办法调用子类的成员函数,那么为什么还让父类指针指向子类对象呢?

虚函数

Q: 有没有一个解决方法,使我们只定义一个对象指针,就能调用各种子类对象的成员函数?
A: 调用父子类中的同名同参函数的话,对这个函数是有要求的.在父类的eat()函数声明之前必须加virtual关键字,将其声明为虚函数.函数实现不用加.子类中可加可不加,因为一旦某个函数被声明成了虚函数,那么所有子类中它都是虚函数.加上有助于阅读.

Human *phuman = new Men;
phuman->eat();	//此时调用的是父类的eat()函数->"人类吃各种粮食"
===============================================================
//父类eat()声明前加上virtual后
phuman->eat();	//此时调用的是Men类的eat()函数->"男人喜欢吃米饭"
phuman->Human::eat();	//这样写可以调用Human类的eat()函数
delete phuman;
phuman = new Women;
phuman->eat();	//此时调用的是Women类的eat()函数->"女人喜欢吃面食"

Notes:
①为了避免在子类中写错虚函数(比如参数或参数个数写的和父类不同了),在子类中的函数声明后可以添加override关键字,此时写错时编译器会提示报错.override关键字就是用来修饰子类中的虚函数的.
②final也是虚函数专用,他是用在父类中.如果在父类的函数声明中加了final,那么任何尝试覆盖该函数的操作都会报错.
③子类中的虚函数必须和父类中声明的一致.
④调用虚函数时执行的是动态绑定.动态:程序运行的时候才知道调用了哪个子类的eat()虚函数,取决于你new的是什么子类的对象.

多态性

多态性就是针对虚函数来说的.
多态性: 体现在具有继承关系的父类和子类之间.通过父类指针,在程序运行时期,找到动态绑定到父类指针上的对象,这个对象既可能是父类对象也可能是子类对象,然后系统内部通过查虚函数表,找到函数eat()的入口地址,从而调用父类或者子类的eat()函数,这就是运行时期的多态性.

纯虚函数

(1)纯虚函数是在基类中声明的虚函数,但他在基类中没有定义.但是要求所有派生类中都要定义这个虚函数的实现方法.
(2)基类中纯虚函数的实现是在纯虚函数的定义后面加上 =0.
(3)一旦在一个类中定义了纯虚函数,那么就不能生成这个类的对象了.这个类就成了抽象类了,不能用来生成对象了.
抽象类的作用就是用来统一管理子类对象.

virtual void eat2() = 0;

基类的析构函数要写成虚函数

Human* phuman = new Men;
delete phoman;	//没有执行子类的析构函数,坏事

结论: 用基类指摘new子类的对象,在delete的时候系统不会调用子类的构造函数.
Q: 如何解决?
A: 把父类的析构函数写成虚函数.
Notes:
①在public继承中,基类对派生类及其对象的操作,只能影响到从基类继承下来的成员.
②如果想要用基类对非继承成员进行操作,则要把基类的这个函数定义为虚函数,析构函数自然也应该如此.
③此时基类中析构函数的虚属性也会继承给子类,这样的话子类中的析构函数也就自然而然成了虚函数,虽然名字和基类的析构函数名字不同.
④ delete phuman时,为了调用子类Men的析构函数,则调用的函数必须是virtual的,也就是为了获得运行时的多态行为.
⑤虚析构的函数保证析构是一定会从子类开始析构。
子类析构时,会依次调用子类析构函数(~men),类成员变量析构函数,基类析构函数(~Human)。

代码类

//声明基类Human.h
#include <iostream>
class Human
{
public:
	Human();
	Human(int);
public:
	int m_age;	//年龄
	char m_name[100];	//姓名
	void funchuman(){}
public:
	virtual void eat();
};	//类定义时千万不要忘记分号
//定义基类Human.cpp
#include <iostream>
#include "Human.h"
Human::Human()
{
	cout << "执行了Human::Human()" << endl;
}
Human::Human(int abc)
{
	cout << "执行了Human::Human(int)" << endl;
}
void Human::eat()
{
	std::cout << "人类吃各种粮食" << std::endl;
}
//声明子类Men.h
#include <iostream>
#include "Human.h"
class Men : public Human	//表示Men是Human的子类
{
public:
	Men();
	void funcmen(){}
public:
	void eat();
};	//类定义时千万不要忘记分号
//定义子类Men.cpp
#include <iostream>
#include "Men.h"
Men::Men()
{
	cout << "执行了Men::Men()" << endl;
}
void Men::eat()
{
	std::cout << "男人喜欢吃米饭" << std::endl;
}
//声明子类Women.h
#include <iostream>
#include "Human.h"
class Women : public Human	//表示Men是Human的子类
{
public:
	Women();
	void funcwomen(){}
public:
	void eat();
};	//类定义时千万不要忘记分号
//定义子类Women.cpp
#include <iostream>
#include "Women.h"
Women::Women()
{
	cout << "执行了Women::Women()" << endl;
}
void Women::eat()
{
	std::cout << "女人喜欢吃面食" << std::endl;
}
任务描述 本关任务:编写一个程序,实现基类 Point 和子类 Square,Circle 等的多态关系,深刻体会多态机制在程序可扩展性和可维护性方面的优秀特性。 相关知识 为了完成本关任务,你需要掌握:多态函数。 多态函数 多态 当一个基类指针或者引用与子类对象建立关系的时候,可以根据子类对象的不同,调用相应的子类覆盖的方法完成不同的功能。此为多态多态依托于继承关系,并配合继承,增强代码的可扩展性和可维护性。 多态机制实施的条件有如下三个: 指针或引用; 继承关系(inheritance); 函数覆盖(override)。 函数 与继承、类型适应的结合可使 C++支持运行时的多态性。 从基类继承来的函数,在派生类中仍是函数。 函数语法: 成员函数声明前加 virtual。 virtual 应用场合 前提条件是类的成员函数; 函数所在的类将作为基类,且派生类中该函数功能有可能会更改(意味着派生类会覆盖它),则基类函数设置为 virtual; 成员函数的调用通过基类指针或引用间接访问,则应设置为函数(因为,有可能传递派生类对象作为实参)。 virtual 只能加在成员函数的声明前面,不能在成员函数的定义前面virtual。 函数函数名、参数类型、函数的返回值的类型相同。函数、协变返回类型例外。 实现动态的多态性时,必须使用基类类型的指针变量,使该指针指向不同派生类的对象,并通过调用指针指向函数才能实现动态的多态性。 在派生类中没有重新定义函数时,与一般的成员函数一样,当调用这种派生类对象函数时,则调用基类中的函数。 函数与一般函数相比较,调用时执行速度要慢一些。因此,不要滥用。 应用的对象只能是类的成员函数。因为函数仅适用于有继承关系的类对象,所有普通函数不能是函数。静态函数、内联函数也不能是函数。 函数一般都要设置为函数。 编程要求 根据提示,在右侧编辑器指定位置补充代码,完成多个子类形状的建,并输出基本信息和面积值。 测试说明 平台会对你编写的代码进行测试: 测试输入:4,91,51,2,32; 预期输出: 平均值:44.0 最大值:91 测试输入: 1 2 2 预期输出: 调用Square的display函数,显示一个正方形. 坐标:(0, 0), 边长:1 1 Square destructor Point destructor 调用Circle的display函数,显示一个圆. 坐标:(0, 0), 半径:1 3.14 调用Circle的display函数,显示一个圆. 坐标:(0, 0), 半径:1 3.14 Circle destructor Point destructor Circle destructor Point destructor 调用Triangle的display函数,显示一个三角形. 坐标:(0, 0), 底边长:1, 高:1 0.5 调用Triangle的display函数,显示一个三角形. 坐标:(0, 0), 底边长:1, 高:1 0.5 Triangle destructor Point destructor Triangle destructor Point destructor#include<iostream> using namespace std; //C++多态函数 //基类Point class Point { public: Point(int xa, int yb) { //有参造函数 x = xa; y = yb; } Point(){ x = 0; y = 0; } //定义函数display(),满足子类继承时的多态效应。 //补全代码 //---------------------------------------------------- //由于在Point基类阶段,无法实现实际的求面积方法,因此将get_area()设计为纯虚函数。 //请补全代码 //------------------------------------------------ //函数通常定义为函数 //请补全函数头 //-------------------------------- { cout << "Point destructor" << endl; } protected: int x; //x坐标 int y; //y坐标 }; //Square继承了Point class Square : public Point{ public: Square(int xa, int xb, int len):Point(xa,xb),length(len){ } Square() { length = 1; } void display(){ //显示一个方形 cout<<"调用Square的display函数,显示一个正方形.\n"<< "坐标:(" << x << ", " << y << "), 边长:" << length <<endl; } //补全代码,实现自己的求面积函数get_area //-------------------------------------- //函数通常定义为函数 //请补全函数头 //-------------------------------------- { cout << "Square destructor" << endl; } protected: int length; }; //Circle继承了Point class Circle: public Point { public: Circle(int xa, int xb, int r):Point(xa,xb) { radius = r; } Circle(){ radius = 1; } void display() { //显示一个圆 cout<<"调用Circle的display函数,显示一个圆.\n"<< "坐标:(" << x << ", " << y << "), 半径:" << radius <<endl; } //补全代码,实现自己的求面积函数get_area //------------------------------------------ //函数通常定义为函数 //请补全函数头 //----------------------------------------------- { cout << "Circle destructor" << endl; } protected: int radius; }; //编写一个Triangle类,继承Point,属性包含底边长和高 //并有自己的有参,无参造函数,display函数和get_area函数,以及函数 //此处补全代码: //--------------------------------------------------------------- //显示一个图形的通用函数Disp void Disp(/*补全代码,填上参数,仔细思考这里应该填写什么类型的 对象?引用?指针?*/) { p.display(); } //显示一个图形面积的通用函数:Area_of_shape void Area_of_shape(/*补全代码,填上参数,仔细思考这里应该填写什么类型的 对象?引用?指针?*/) { cout << s->get_area() << endl; } //函数create_shapes实现在堆内存中,动态生成一组图形,并返回首地址。 //option表示图形类型,1为方形,2为圆形,3为三角形 //num为生成图形的数量 Point* create_shapes(int option, int num) { //补全代码,实现功能 //建议使用switch,并注意new对象数组的用法。 //-------------------------------------------- } int main() { //在堆内存中生成不同的图形。 //定义基类图形指针 Point *p; int num;//个数 //输入即将生成的方形个数 cin >> num; //生成一组方形 p = create_shapes(1, num); //依次显示这组方形的基本信息,以及面积。 for(int i = 0; i < num; i++) { //注意:p作为基类指针,在指向子类数组时, //其对于属性的作用范围仍局限在子类中的基类属性。 //若直接通过+i或[i]形式,会造成内存指向的错位。 //因此,需要想办法将其强制转换为子类类型的指针。 //下同 //显示基本信息 Disp(/*补全代码,填写实参*/); //显示面积值 Area_of_shape(/*补全代码,填写实参*/); } //注销 //注意,由于涉及到数组的注销,因此注销时,基类指针,也需要转换为子类指针才能顺利注销,下同。 //请补齐注销代码 //-------------------------------- //输入即将生成的圆形个数 cin >> num; //生成一组圆形 p = create_shapes(2, num); //依次显示这组圆形的基本信息,以及面积。 for(int i = 0; i < num; i++) { Disp(/*补全代码,填写实参*/); Area_of_shape(/*补全代码,填写实参*/); } //注销 //请补齐注销代码 //-------------------------------- //输入即将生成的三角形个数 cin >> num; //生成一组三角形 p = create_shapes(3, num); //依次显示这组三角形的基本信息,以及面积。 for(int i = 0; i < num; i++) { Disp(/*补全代码,填写实参*/); Area_of_shape(/*补全代码,填写实参*/); } //注销 //请补齐注销代码 //---------------------------------------------------- return 0; }
05-31
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值