C++——多态相关

最新推荐文章于 2024-10-05 21:10:28 发布

coco冯

最新推荐文章于 2024-10-05 21:10:28 发布

阅读量34

点赞数

文章标签： c++ 开发语言

本文链接：https://blog.csdn.net/fsbwb/article/details/132906416

版权

4、C++11 override和final

5、重载、覆盖（重写）、隐藏（重定义）的对比

一、多态的概念

多态的概念：通俗来说多态就是多种形态，具体点就是去完成某个行为，当不同的对象去完成时会产生出不同的状态。

二、多态的定义及实现

1、多态的构成条件

多态是在不同继承关系的类对象，去调用同一函数，产生了不同的行为。比如student继承了person。person对象买票全价，student对象买票半价。

在继承中要构成多态还有两个条件：

（1）必须通过基类的指针或者引用调用虚函数

（2）被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写

2、虚函数

虚函数：即被virtual修饰的类成员函数被称为虚函数。

3、虚函数的重写

虚函数的重写（覆盖）：派生类中有一个跟基类完全相同的虚函数（即派生类虚函数与基类虚函数的返回值类型、函数名字、参数列表完全相同），称子类的虚函数重写了基类的虚函数。

虚函数重写的两个例外：

（1）协变（基类与派生类虚函数返回值类型不同）

派生类重写基类虚函数时，与基类虚函数的返回值类型不同。即基类虚函数返回基类对象的指针或者引用，派生类虚函数返回派生类对象的指针或者引用时，叫做协变。

class A{};
class B : public A{};

class person
{
public:
    virtual A* f()
    {
        return new A;
    }
};

class student : public person
{
public:
    virtual B* f()
    {
        return new B;
    }
};

（2）析构函数的重写（基类与派生类析构函数的名字不同）

如果基类的析构函数为虚函数，此时派生类析构函数只要定义，无论是否加virtual关键字，都与基类的析构函数构成重写，虽然基类与派生类析构函数名字不同。虽然函数名字不同，看起来违背了重写的规则，其实不然，这里可以理解为编译器对析构函数的名称做了特殊处理，编译后析构函数的名称统一处理成了destructor。

4、C++11 override和final

从上面可以看出，C++对函数重写的要求比较严格，但是有些情况下由于疏忽，可能会导致函数名字次序写反而无法构成重写，而这种错误在编译期间是不会报错的，只有在程序运行时没有得到预期结果才来debug会得不偿失，因此C++11提供了override和final两个关键字，可以帮助用户检测是否重写。

（1）final：修饰虚函数，表示该虚函数不能被重写

class A
{
public:
    virtual void func() final{}
};

class B : public A
{
public:
    virtual void func() { cout << "重写" << endl; }
};

（2）override：检查派生类虚函数是否重写了基类某个虚函数，如果没有重写编译报错

class A
{
public:
    virtual void func(){}
};

class B : public A
{
public:
    virtual void func() override { cout << "重写" << endl; }
};

5、重载、覆盖（重写）、隐藏（重定义）的对比

重载：两个函数在同一作用域、函数名形同参数不同

重写（覆盖）：两个函数分别在基类和派生类的作用域、函数名/参数/返回值都必须相同（协变例外）、两个函数必须是虚函数

重定义（隐藏）：两个函数分别在基类和派生类的作用域、函数名相同、两个基类和派生类的同名函数不构成重写就是重定义

三、抽象类

1、概念

在虚函数的后面写上=0，则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类（也叫接口类），抽象类不能实例化出对象。派生类继承后也不能实例化出对象，只有重写纯虚函数，派生类才能实例化出对象。纯虚函数规范了派生类必须重写，另外纯虚函数更体现了接口继承。

2、接口继承和实现继承

普通函数的继承是一种实现继承，派生类继承了基类的函数，可以使用函数，继承的是函数的实现。虚函数的继承是一种接口继承，派生类继承的是基类虚函数的接口，目的是为了重写，达成多态，继承的是接口。所以如果不实现多态，不要把函数定义成虚函数。

四、多态的原理

1、虚函数表

从上面的代码可以看到b的大小是8字节，除了_b成员还多了一个_vfptr放在对象的前面（注意有些平台可能放到对象的最后面，这跟平台有关），对象中的这个指针我们叫做虚函数表指针。一个含有虚函数的类中都至少都有一个虚函数表指针，因为虚函数的地址要被放到虚函数表中，虚函数表也简称为虚表。

class Base
{
public:
	virtual void fun1()
	{
		cout << "Base::fun1()" << endl;
	}
	virtual void fun2()
	{
		cout << "Base::fun2()" << endl;
	}
	void fun3()
	{
		cout << "Base::fun3()" << endl;
	}
private:
	int _b = 1;
};

class Derive : public Base
{
public:
	virtual void fun1()
	{
		cout << "Derive::func1()" << endl;
	}
private:
	int _d = 2;
};

int main()
{
	Base b;
	Derive d;

	return 0;
}