final/override控制

声明：该笔记是在学习《深入理解C++11》、《C++11/14高级编程 Boost程序库探秘》时做的总结，方便以后巩固复习！

函数重载的概念：

一个类A中声明的虚函数fun在其派生类B中再次被定义，且B中的函数fun跟A中fun的原型一样（函数名、参数列表等一样），那么我们就称B重载（overload）了A的fun函数。

final关键字的作用

限制某个类不能被继承，或者某个虚函数不能被重写

使用 final 修饰函数，只能修饰虚函数，并且要把final关键字放到类或者函数的后面。

使用final关键字修饰过的类是不允许被继承的，也就是说这个类不能有派生类。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
class Object
{
public:
    virtual void fun()
    {
        cout << "Object class...";
    }
};

class Base : public object
{
public:
    void fun() final
    {
        cout << "Base class...";
    }
};

    class Derived : public Base
{
public:
    // 语法错误, 不允许重写
    void fun()
    {
        cout << "Derived class...";
    }
};

派生于Object的Base类重载了Object的fun接口，并将本类中的fun函数声明为final的。那么派生于Base的Derived类对接口fun的重载则会导致编译时的错误。

override关键字的作用

override 关键字确保在派生类中声明的重写函数与基类的虚函数有相同的签名，同时也明确表明将会重写基类的虚函数，这样可以保证重写的虚函数的正确性，提高代码的可读性。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
struct Base 
{
	virtual void Turing() = 0;
    virtual void Dijkstra() = 0;
    virtual void VNeumann(int g) = 0;
    virtual void DKnuth() const;
    void Print();
};
    
struct DerivedMid: public Base
{
    // void VNeumann(double g);
};
    
struct DerivedTop : public DerivedMid
{
	void Turing() override;
    void Dikjstra() override;              // 无法通过编译，拼写错误，并非重载
    void VNeumann(double g) override;      // 无法通过编译，参数不一致，并非重载
    void DKnuth() override;                // 无法通过编译，常量性不一致，并非重载
    void Print() override;                 // 无法通过编译，非虚函数重载
};

从上例中可以看出使用override后，假设在重写过程中因为误操作，写错了函数名或者函数参数或者返回值或者常量性；编译器都会提示语法错误，提高了程序的正确性，降低了出错的概率。