C++的虚函数和虚析构函数

2023-10-08 18:08
文章标签 c++ 函数 虚析构

本文主要是介绍C++的虚函数和虚析构函数,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

疑问:

如何利用一个循环结构,依次处理同一个类族中不同类的对象?

如何解决这个问题呢?这就要应用到虚函数来实现多态性。


虚函数是动态绑定的基础,必须是非静态的成员函数。虚函数经过派生之后,在类族中就可以实现运行过程中的多态。

根据赋值兼容规则,可以使用派生类对象来代替基类对象。如果用基类类型的指针指向派生类对象,就可以通过这个指针访问该对象,但访问到的,仅仅是从基类集成来的同名成员。

解决这一问题的办法:如果需要通过基类的指针指向派生类的对象,并访问某个与基类同名的成员,那么首先在基类中将这个同名函数声明为虚函数。

这样,通过基类类型的指针,就可以使属于不同派生类的不同对象产生不同的行为(操作),从而实现运行过程中的多态。


一般虚函数成员

声明语法:virtual 函数类型  函数名(形参表)

其实就是在类的定义中使用virtual关键字来限定成员函数,虚函数只能出现在类定义中的函数原型声明中,而不能在成员函数实现的时候。


运行过程中的多态需要满足三个条件:

1、满足赋值兼容规则。

2、声明虚函数。

3、由成员函数来调用或者是通过指针、引用来访问虚函数。


如果使用对象名来访问虚函数,则绑定在编译过程中就可以进行(静态绑定),无需在运行过程中进行。

注意:虚函数一般不能声明为内联函数,因为虚函数的调用时需要动态绑定的,而对内联函数的处理是静态的,所以虚函数一般不声明为内联函数(语法上是没有问题的)。


实例:

#include <iostream>  
#include <conio.h>  
using namespace std;  class Base  	//基类 
{  public:virtual void display()const;	//虚函数 
};  
void Base::display()const
{cout<<"Base::display()"<<endl;
}class Base1 :public Base	//派生类 
{public:void display()const;
};
void Base1::display()const
{cout<<"Base1::display()"<<endl;
}class Base2 : public Base	//派生类 
{public:void display()const;
};
void Base2::display()const
{cout<<"Base2::display()"<<endl;
};void fun(Base *ptr)	 
{ptr->display();
}int main()  
{  Base base;Base1 base1;Base2 base2;fun(&base);fun(&base1);fun(&base2);return 0;  
}  

运行结果:



结果分析:

程序中的Base1和Base2、Base属于同一个类族,而且是通过共有派生而来的,因此满足赋值兼容规则。

同时,基类Base的成员函数display()声明为虚函数,程序中使用对象指针来访问函数成员。

这样绑定过程就是在运行中完成的,实现了运行中的多态。

通过基类类型的指针留可以访问正在指向的对象的成员,这样就能够对同一类族中的对象进行同一的处理,抽象程度更高,程序更加简洁、高效。


系统如何判断派生类的一个函数成员是不是虚函数呢?主要有以下方法:

1、该函数是否与基类的虚函数由相同的名称。

2、该函数是否与基类的虚函数有相同的参数个数和相同的对应参数类型。

3、该函数是否与基类的虚函数有相同的返回值或者满足赋值兼容规则的指针、引用型的返回值。

如果从名称、参数、返回值这三个方面检查之后,派生类满足上述条件,就会自动确定为虚函数。这时,派生类的虚函数便会自动覆盖基类的虚函数。

同时,派生类的虚函数还会隐藏基类中同名函数的所用其他重载形式。


注意:基类中声明的非虚函数,通常是代表那些不希望被派生类改变的功能,也是不能实现多态的。所以一般不要重写继承来的非虚函数(语法上是没有限制的),

因为这样就会导致通过基类指针和派生类的指针或者对象调用同名函数时,产生不同的结果,引起混乱。


虚析构函数

在C++中,不能声明虚构造函数,在可以声明虚析构函数。

声明方法:virtual ~类名();

当析构函数设置为虚函数之后,在使用指针引用时可以动态绑定,实现运行时多态。

保证使用基类类型的指针就能够调用适当的析构函数针对不同的对象进行清理工作。

一句话:如果有可能通过基类指针调用对象的析构函数,就需要让基类的析构函数称为虚函数,不然会产生不确定的后果。

实例:

下面通过一个实例来说明。

#include <iostream>  
#include <conio.h>  
using namespace std;  class Base  	//基类 
{  public:~Base();	//虚函数 
};  
Base::~Base()
{cout<<"Base 析构函数"<<endl;
}class Derived :public Base	//派生类 
{public:Derived();~Derived();private:int *p;
};
Derived::Derived()
{p = new int(0);
}Derived::~Derived()
{cout<<"Derived 析构函数"<<endl;delete p;
}void fun(Base *b)
{delete b;
}int main()  
{  Base *b = new Derived();fun(b);return 0;  
}  

运行结果:



结果分析:

从上面的例子可以看出,通过基类指针,删除派生类对象时,调用的是基类的析构函数,派生类的析构函数并没有被执行,

所以派生类对象中动态分配的内存空间也是没有被释放的,这就造成了内存泄漏。这是非常危险的。


解决办法:

为了避免上述错误,可以将析构函数声明为虚函数。程序修改如下:

class Base  	//基类 
{  public:virtual ~Base();	//虚函数 
};  

运行结果:



从结果可以看出,此时对象所占用的内存才彻底的清楚干净了。派生类中动态申请的内存被正确的释放了。

这篇关于C++的虚函数和虚析构函数的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/167076

相关文章

Java调用C++动态库超详细步骤讲解(附源码)

《Java调用C++动态库超详细步骤讲解(附源码)》C语言因其高效和接近硬件的特性,时常会被用在性能要求较高或者需要直接操作硬件的场合,:本文主要介绍Java调用C++动态库的相关资料,文中通过代... 目录一、直接调用C++库第一步:动态库生成(vs2017+qt5.12.10)第二步:Java调用C++

C/C++错误信息处理的常见方法及函数

《C/C++错误信息处理的常见方法及函数》C/C++是两种广泛使用的编程语言,特别是在系统编程、嵌入式开发以及高性能计算领域,:本文主要介绍C/C++错误信息处理的常见方法及函数,文中通过代码介绍... 目录前言1. errno 和 perror()示例:2. strerror()示例:3. perror(

C++变换迭代器使用方法小结

《C++变换迭代器使用方法小结》本文主要介绍了C++变换迭代器使用方法小结,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录1、源码2、代码解析代码解析:transform_iterator1. transform_iterat

详解C++中类的大小决定因数

《详解C++中类的大小决定因数》类的大小受多个因素影响,主要包括成员变量、对齐方式、继承关系、虚函数表等,下面就来介绍一下,具有一定的参考价值,感兴趣的可以了解一下... 目录1. 非静态数据成员示例:2. 数据对齐(Padding)示例:3. 虚函数(vtable 指针)示例:4. 继承普通继承虚继承5.

C++中std::distance使用方法示例

《C++中std::distance使用方法示例》std::distance是C++标准库中的一个函数,用于计算两个迭代器之间的距离,本文主要介绍了C++中std::distance使用方法示例,具... 目录语法使用方式解释示例输出:其他说明:总结std::distance&n编程bsp;是 C++ 标准

Kotlin 作用域函数apply、let、run、with、also使用指南

《Kotlin作用域函数apply、let、run、with、also使用指南》在Kotlin开发中,作用域函数(ScopeFunctions)是一组能让代码更简洁、更函数式的高阶函数,本文将... 目录一、引言:为什么需要作用域函数?二、作用域函China编程数详解1. apply:对象配置的 “流式构建器”最

C++ 中的 if-constexpr语法和作用

《C++中的if-constexpr语法和作用》if-constexpr语法是C++17引入的新语法特性,也被称为常量if表达式或静态if(staticif),:本文主要介绍C++中的if-c... 目录1 if-constexpr 语法1.1 基本语法1.2 扩展说明1.2.1 条件表达式1.2.2 fa

Android Kotlin 高阶函数详解及其在协程中的应用小结

《AndroidKotlin高阶函数详解及其在协程中的应用小结》高阶函数是Kotlin中的一个重要特性,它能够将函数作为一等公民(First-ClassCitizen),使得代码更加简洁、灵活和可... 目录1. 引言2. 什么是高阶函数?3. 高阶函数的基础用法3.1 传递函数作为参数3.2 Lambda

C++中::SHCreateDirectoryEx函数使用方法

《C++中::SHCreateDirectoryEx函数使用方法》::SHCreateDirectoryEx用于创建多级目录,类似于mkdir-p命令,本文主要介绍了C++中::SHCreateDir... 目录1. 函数原型与依赖项2. 基本使用示例示例 1:创建单层目录示例 2:创建多级目录3. 关键注

C++从序列容器中删除元素的四种方法

《C++从序列容器中删除元素的四种方法》删除元素的方法在序列容器和关联容器之间是非常不同的,在序列容器中,vector和string是最常用的,但这里也会介绍deque和list以供全面了解,尽管在一... 目录一、简介二、移除给定位置的元素三、移除与某个值相等的元素3.1、序列容器vector、deque