final和override


配套视频课程已更新完毕,大家可通过以下两种方式观看视频讲解:

关注公众号:爱编程的大丙,或者进入大丙课堂学习。


1. final

C++中增加了final关键字来限制某个类不能被继承,或者某个虚函数不能被重写,和Java的final关键字的功能是类似的。如果使用final修饰函数,只能修饰虚函数,并且要把final关键字放到类或者函数的后面。

1.1 修饰函数

如果使用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
class Base
{
public:
virtual void test()
{
cout << "Base class...";
}
};

class Child : public Base
{
public:
void test() final
{
cout << "Child class...";
}
};

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

在上面的代码中一共有三个类:

  • 基类:Base
  • 子类:Child
  • 孙子类:GrandChild

test()是基类中的一个虚函数,在子类中重写了这个方法,但是不希望孙子类中继续重写这个方法了,因此在子类中将test()方法标记为final,孙子类中对这个方法就只有使用的份了。

1.2 修饰类

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

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

class Child final: public Base
{
public:
void test()
{
cout << "Child class...";
}
};

// error, 语法错误
class GrandChild : public Child
{
public:
};

Child类是被final修饰过的,因此Child类不允许有派生类GrandChild类的继承是非法的,Child是个断子绝孙的类。

2. override

override关键字确保在派生类中声明的重写函数与基类的虚函数有相同的签名,同时也明确表明将会重写基类的虚函数,这样就可以保证重写的虚函数的正确性,也提高了代码的可读性,和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
class Base
{
public:
virtual void test()
{
cout << "Base class...";
}
};

class Child : public Base
{
public:
void test() override
{
cout << "Child class...";
}
};

class GrandChild : public Child
{
public:
void test() override
{
cout << "Child class...";
}
};

上述代码中第13行和第22行就是显示指定了要重写父类的test()方法,使用了override关键字之后,假设在重写过程中因为误操作,写错了函数名或者函数参数或者返回值编译器都会提示语法错误,提高了程序的正确性,降低了出错的概率。