final/override控制

先来复习下C++虚函数的特性：①重载函数需要与父类中虚函数的签名相同；②子类中的重载函数是否有virtual标识不影响继承树。按照这些特性，有如下代码

#include <iostream>
using namespace std;

class MethObject {

public:
  virtual double Arith()=0;
  virtual void Print()=0;
};

class Printable:public MethObject {

public:
  double Arith()=0;
  void Print(){
    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;
};

现在我们为了保持统一的打印风格，从而禁止Printable的子类重载Print虚函数，这就要用到C++11中的final关键字，做过Java的都知道finally关键字，他们的特性类似。

稍微修改下代码，就可以看到编译错误：

#include <iostream>
using namespace std;

class MethObject {

public:
  virtual double Arith()=0;
  virtual void Print()=0;
};

class Printable:public MethObject {

public:
  double Arith()=0;
  void Print() final{
    cout << "Output is: " << Arith() << endl;
  }
};

class Add2:public Printable {

public:
  Add2(double a,  double b):x(a), y(b) {}
  double Arith() {return x+y;}
  void Print() {
      cout << "This is disallowed!" << endl;
  }

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;
};

编译结果如下：

从编译器提示的信息，就可以很清楚的看到错误内容。

C++虚函数的第二个特性，会导致一个“跨层”的问题，看如下代码：

class A {
    virtual void Test() = 0;
};

class B:public A {
};

class C:public B {
    void Test(){}
};

类C中的Test函数仍然是虚函数，但是类C的继承者却不一定知道Test函数是否可以重载，或者还有一种情况，类C的继承者原意是想重载Test函数，但是手抖了下，写成了test()，在编译器看来这是OK的，会产生Test()与test()两个函数，但是在实际运用中，就会出现一些不必要的错误。为了解决这个问题，就需要用到override关键字（类似Java的修饰符中的@override）

#include <iostream>
using namespace std;

class A {
    virtual void Test() = 0;
    void test();
};

class B:public A {
};

class C:public B {
    void Test() override {}
    void test() override {}
};

编译结果如下：

提示信息很清晰，一眼就能看懂，就不做过多解释了。