多态指的是基类指针可以指向派生类对象,但是想要通过父类指针调用派生类对象时,前提是该函数被声明为virtul。
如果一个函数在基类中声明为virtul,那么可以多次覆盖。
利用final限定符来保证虚函数不能再被覆盖
class Fish {
public:
virtual void Swim() { cout << "Fish Swim!" << endl; };
};
class Tuna :public Fish{
public:
void Swim() { cout<< "Tuna Swim!" << endl; }
};
class Tuna2 :public Tuna {
public:
void Swim() { cout << "Tuna2 Swim!" << endl; }
};
比如我们的swim函数,当这样调用时
Fish* p = new Tuna2;
Tuna2.swim();
会显示 Tuna2 Swim! 这是因为在基类中,swim已经声明为虚函数了,那么即使Tuna中不强调Swim是虚函数,依旧可以体现多态性。如果我们希望Tuna里面的Swim就是最终版本了,那么就需要final限定符。
只需要把原代码改为
class Tuna :public Fish{
public:
void Swim() final{ cout<< "Tuna Swim!" << endl; }
};
就可以禁止Tuna2重写swim。
同样的 如果把final用于类,那么这个类不能被继承。
C++的final和Java的final有一些不同,总结如下:
C++中的final
①用于类,表示不能被继承
②用于虚函数 , 表示不能被重写
Java中的final:
①用于类,表示不能被继承
②用于函数,表示不能被重写
③用于变量,表示为静态常量 相当于C++的const + static