深入理解C++11---C++11新特性解析与应用(摘录).docxVIP

深入理解C++11:C++ 11新特性解析与应用（摘录）final/override控制在了解C++11中的final/override关键字之前，我们先回顾一下C++关于重载的概念。简单地说，一个类A中声明的虚函数fun在其派生类B中再次被定义，且B中的函数fun跟A中fun的原型一样（函数名、参数列表等一样），那么我们就称B重载（overload）了A的fun函数。对于任何B类型的变量，调用成员函数fun都是调用了B重载的版本。而如果同时有A的派生类C，却并没有重载A的fun函数，那么调用成员函数fun则会调用A中的版本。这在C++中就实现多态。在通常情况下，一旦在基类A中的成员函数fun被声明为virtual的，那么对于其派生类B而言，fun总是能够被重载的（除非被重写了）。有的时候我们并不想fun在B类型派生类中被重载，那么，C++98没有方法对此进行限制。我们看看下面这个具体的例子，如代码清单2-23所示。代码清单2-23#include iostreamusing namespace std;classMathObject{public:??? virtual double Arith() = 0;??? virtual void Print() = 0;};class Printable : public MathObject{public:?? double Arith() = 0;?? void Print() // 在C++98中我们无法阻止该接口被重写?? {?????? cout Output is: Arith() endl;?? }};class Add2 : public Printable {public:??? Add2(double a, double b): x(a), y(b) {}??? double Arith() { return x + y; }private:??? double x, y;};class Mul3 : public Printable {public:??? Mul3(double a, double b, double c): x(a), y(b), z(c) {}??? double Arith() { return x * y * z; }private:??? double x, y, z;};// 编译选项:g++ 2-10-1.cpp在代码清单2-23中，我们的基础类MathObject定义了两个接口：Arith和Print。类Printable则继承于MathObject并实现了Print接口。接下来，Add2和Mul3为了使用MathObject的接口和Printable的Print的实现，于是都继承了Printable。这样的类派生结构，在面向对象的编程中非常典型。不过倘若这里的Printable和Add2是由两个程序员完成的，Printable的编写者不禁会有一些忧虑，如果Add2的编写者重载了Print函数，那么他所期望的统一风格的打印方式将不复存在。对于Java这种所有类型派生于单一元类型（Object）的语言来说，这种问题早就出现了。因此Java语言使用了final关键字来阻止函数继续重写。final关键字的作用是使派生类不可覆盖它所修饰的虚函数。C++11也采用了类似的做法，如代码清单2-24所示的例子。代码清单2-24struct Object{??? virtual void fun() = 0;};struct Base : public Object {??? void fun() final;?? // 声明为final};struct Derived : public Base {??? void fun();???? // 无法通过编译};// 编译选项:g++ -c -std=c++11 2-10-2.cpp在代码清单2-24中，派生于Object的Base类重载了Object的fun接口，并将本类中的fun函数声明为final的。那么派生于Base的Derived类对接口fun的重载则会导致编译时的错误。同理，在代码清单2-23中，Printable的编写者如果要阻止派生类重载Print函数，只需要在定义时使用final进行修饰就可以了。读者可能注意到了，在代码清单2-23及代码清单2-24两个例子当中，final关键字都是用于描述一个派生类的。那么基类中的虚函数是否可以使用final关键字呢？答案是肯定的，不过这样将使用该虚函数无法被重载，也就失去了虚函数的意义。如果不想成员函数被重载，程序员可以直接将该成员函数定义为非虚的。而final通常只在继承关系的“中途”终止派生类的重载中有意义。从接口派生的角度