C++11新特性之final override标识符

来源：cnblogs　　作者：我是团长　　时间：2018/12/18 9:39:52　　对本文有异议

final:

　　final修饰符可用于修饰类，放在类名后面，被final修饰符修饰的类不能被继承。示例代码：

// 正确的示范
#include <iostream>
 
class A
{
public:
    void show_a_info()
    {
        std::cout << "i am class A" << std::endl;
    }
};
class B : public A
{
public:
    void show_b_info()
    {
        std::cout << "i am class B" << std::endl;
    }
};
int main()
{
    B b;
    b.show_a_info();
    b.show_b_info();
    return 0;
}
// 输出：
// i am class A
// i am class B

// 错误的示范
#include <iostream>
 
class A final
{
public:
    void show_a_info()
    {
        std::cout << "i am class A" << std::endl;
    }
};
class B : public A
{
public:
    void show_b_info()
    {
        std::cout << "i am class B" << std::endl;
    }
};
int main()
{
    B b;
    b.show_a_info();
    b.show_b_info();
    return 0;
}
// 编译报错：错误    2    error C3246: “B”: 无法从“A”继承，因为它已被声明为"final"

　　final修饰符还可用于修饰类中的成员函数，但是成员函数必须是虚函数，被final修饰符修饰的虚函数在子类中不可以被重写。示例代码如下：

// 正确的示范
#include <iostream>
 
class A
{
public:
    virtual void show_info()
    {
        std::cout << "i am class A" << std::endl;
    }
    virtual void test_final() final
    {
        return;
    }
};
class B : public A
{
public:
    void show_info()    // 可以被重写
    {
        std::cout << "i am class B" << std::endl;
    }
    void test_final()    // 编译报错：A::test_final声明为final的函数无法被B::test_final重写
    {
        int count = 0;
        // do_something()
        return;
    }
};
int main()
{
    A *a_ptr = new B();
    a_ptr->show_info();
    return 0;
}

override:

　　在C++11之前，在父类中用virtual声明一个虚函数，在子类中进行重写时，可以省略virtual修饰符，但是子类中重写的函数就算省略了virtual修饰符，它依然是个虚函数，当我们阅读代码时，子类中的这个函数由于没有virtual修饰符修饰，我们不去看父类的定义并不会知道在子类中这是一个虚函数，为了解决可读性问题，我们可以在子类中也加上virtual修饰符，但也同样会带来如下代码中的问题：

class A
{
public:
    virtual void show_info(int x)
    {
        std::cout << "i am class A" << std::endl;
    }
};
class B : public A
{
public:
    virtual void show_info(float x)
    {
        std::cout << "i am class B" << std::endl;
    }
};

　　本意是想重写父类中的show_info(int x)函数，但是写成了show_info(float x)，这样写就已经不是重写了，而是变成了重载。为了解决可读性及这种重写被不小心写成重载的问题，在C++11中当我们想重写父类的虚函数时，可以在子类中重写的虚函数后面加上override修饰符，这样既标识在子类中这是在重写父类中的虚函数，同时也可以防止重写被误写为重载，因为当子类中对应的函数声明和父类中不一致时，是编译不过的，示例如下：

// 正确的示范
#include <iostream>
 
class A
{
public:
    virtual void show_info(int x)
    {
        std::cout << "i am class A" << std::endl;
    }
};
class B : public A
{
public:
    //virtual void show_info(float a) override    // 错误error C3668: “B::show_info”: 包含重写说明符“override”的方法没有重写任何基类方法
    //{
    //    std::cout << "i am class B" << std::endl;
    //}
 
    virtual void show_info(int a) override        // 正确
    {
        std::cout << "i am class B" << std::endl;
    }
};