C++11 特性：显式 override 和 final

来源：互联网发布：数据库什么叫日志文件编辑：程序博客网时间：2024/05/06 00:09

今天我们要介绍的是其中的一个特性：显式的使用 final和override关键字。先来看下面的例子：

C++
1
2
3
struct B1 final { };
 
struct D1 : B1 { }; // 错误！不能从 final 类继承！

上面的代码是错误的，因为 D1 试图继承 B1，而 B1 则声明为 final。很像 Java，不是吗？当然！还有另外的用法：

C++
1
2
3
4
5
6
7
8
9
structB2
{
    virtualvoidf()final{}// final 函数
};
 
structD2:B2
{
    virtualvoidf(){}
};

这段代码又会出错，因为D2::f重写了B2::f，但是B2::f却被声明为 final 的！

下面再看另外一段代码：

C++
1
2
3
4
5
6
7
8
9
struct B3
{
    virtual void f() {}
};
 
struct D3 : B3
{
    void f() {}
};

开发 D3 的程序员真的想重写B3::f函数吗？还是说，他只是不小心写了个与父类同名的函数，却在不经意间导致了覆盖？为了避免这种错误，C++ 11 引入了override关键字（多么像 C# 啊！）。于是，我们会发现，下面的一段代码是会出错的：

C++
1
2
3
4
5
6
7
8
9
10
structB4
{
    virtualvoidg(int){}
};
 
structD4:B4
{
    virtualvoidg(int)override{}// OK
    virtualvoidg(double)override{}// Error
};

多亏了override关键字，我们可以让编译器帮我们检测到这个很难发现的程序错误。这段代码的错误在于，override关键字表明，g(double)虽然想要进行override的操作，但实际父类并没有这么个函数。

值得注意的是，这些并不是一些语法糖，而是能确确实实地避免很多程序错误，并且暗示编译器可以作出一些优化。调用标记了final的virtual函数，例如上面的B2::f，GNU C++ 前端会识别出，这个函数不能被覆盖，因此会将其从类的虚表中删除。而标记为final的类，例如上面的 B1，编译器则根本不会生成虚表。这样的代码显然更有效率。

0 0