欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

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

程序员文章站 2023-03-31 12:39:22
final: final修饰符可用于修饰类,放在类名后面,被final修饰符修饰的类不能被继承。示例代码: final修饰符还可用于修饰类中的成员函数,但是成员函数必须是虚函数,被final修饰符修饰的虚函数在子类中不可以被重写。示例代码如下: override: 在C++11之前,在父类中用vir ......

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