打印
[综合信息]

C++中final、override关键字和=default、=delete语法

[复制链接]
365|2
手机看帖
扫描二维码
随时随地手机跟帖
跳转到指定楼层
楼主
duo点|  楼主 | 2024-2-24 16:11 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式
在C++11及更高版本中,final、override关键字以及=default和=delete语法提供了一些强大的特性,用于控制类的继承、显式说明覆盖关系和定义特殊成员函数。下面分别介绍这些特性。

1. final 关键字
final 关键字用于指示某个类或虚函数不能被继承或覆盖。它可以应用于类、虚函数和类的成员函数。

1.1 final 应用于类
class Base final {
    // ...
};

// 错误:无法继承自 'final' 类 'Base'
// class Derived : public Base {};
1.2 final 应用于虚函数
class Base {
public:
    virtual void foo() const final {
        // ...
    }
};

class Derived : public Base {
public:
    // 错误:无法覆盖 'final' 函数 'foo'
    // void foo() const override {}
};
2. override 关键字
override 关键字用于明确表示派生类中的成员函数是覆盖基类中的虚函数。

class Base {
public:
    virtual void foo() const {
        // ...
    }
};

class Derived : public Base {
public:
    void foo() const override {
        // 派生类中覆盖基类的虚函数
    }
};
如果 override 关键字使用在非虚函数上,或者派生类中没有相应的被覆盖的虚函数,编译器将产生错误。

3. =default 和 =delete 语法
=default 和 =delete 语法用于控制特殊成员函数的生成和删除。

3.1 =default 语法
=default 用于告诉编译器生成默认的特殊成员函数。

class MyClass {
public:
    // 使用默认的构造函数
    MyClass() = default;

    // 使用默认的析构函数
    ~MyClass() = default;

    // 使用默认的拷贝构造函数
    MyClass(const MyClass&) = default;

    // 使用默认的拷贝赋值运算符
    MyClass& operator=(const MyClass&) = default;
};
3.2 =delete 语法
=delete 用于删除某个特殊成员函数,使其不能被调用或生成。

class NonCopyable {
public:
    // 删除拷贝构造函数
    NonCopyable(const NonCopyable&) = delete;

    // 删除拷贝赋值运算符
    NonCopyable& operator=(const NonCopyable&) = delete;
};
在上述例子中,NonCopyable 类不允许被复制,因为拷贝构造函数和拷贝赋值运算符被删除。

4. 默认构造函数和删除默认构造函数
在C++中,默认构造函数是在没有显式定义任何构造函数时由编译器生成的。有时,我们可能需要显式指示编译器生成默认构造函数,或者删除默认构造函数。

4.1 生成默认构造函数
使用=default语法,可以显式指示编译器生成默认构造函数:

class MyClass {
public:
    // 显式指示生成默认构造函数
    MyClass() = default;
};
4.2 删除默认构造函数
使用=delete语法,可以显式删除默认构造函数,防止被调用:

class NoDefaultConstructor {
public:
    // 显式删除默认构造函数
    NoDefaultConstructor() = delete;
};
在这个例子中,NoDefaultConstructor类将不再有默认构造函数。

5. 构造函数委托
构造函数委托是指在一个构造函数中调用同一个类的其他构造函数。这在C++11及以后的版本中是可能的。

class MyClass {
public:
    // 构造函数委托
    MyClass(int x, int y) : x_(x), y_(y) {}

    // 默认构造函数委托给上面的构造函数
    MyClass() : MyClass(0, 0) {}

private:
    int x_;
    int y_;
};
这样,当调用默认构造函数时,实际上是调用了带有参数的构造函数,通过构造函数委托可以避免代码的重复。

6. 隐式生成的特殊成员函数
C++中的特殊成员函数有默认生成的版本,包括默认构造函数、析构函数、拷贝构造函数、拷贝赋值运算符等。在某些情况下,编译器会自动生成这些特殊成员函数。

例如:

class MyClass {
public:
    // 编译器会生成默认构造函数
    // 编译器会生成析构函数
    // 编译器会生成拷贝构造函数
    // 编译器会生成拷贝赋值运算符
};
如果需要显式声明或定义某个特殊成员函数,可以使用=default语法。

class MyClass {
public:
    // 显式声明使用默认生成的构造函数
    MyClass() = default;

    // 显式声明使用默认生成的析构函数
    ~MyClass() = default;

    // 显式声明使用默认生成的拷贝构造函数
    MyClass(const MyClass&) = default;

    // 显式声明使用默认生成的拷贝赋值运算符
    MyClass& operator=(const MyClass&) = default;
};
总结
=default 语法用于显式指示编译器生成默认的特殊成员函数。
=delete 语法用于显式删除默认的特殊成员函数,防止其被调用。
构造函数委托允许在一个构造函数中调用同一类的其他构造函数。
隐式生成的特殊成员函数是编译器自动生成的默认版本,它们包括默认构造函数、析构函数、拷贝构造函数等。

使用特权

评论回复
沙发
尽快回复过| | 2024-2-24 16:27 | 只看该作者
除了删除拷贝构造函数和拷贝赋值运算符之外,还可以使用=delete语法来删除移动构造函数和移动赋值运算符。这在某些情况下可能是有必要的,例如禁用特定类型的对象的移动操作。
class NoMove {
public:
    // 删除移动构造函数
    NoMove(NoMove&&) = delete;

    // 删除移动赋值运算符
    NoMove& operator=(NoMove&&) = delete;
};

使用特权

评论回复
板凳
kmnqhaha| | 2024-8-27 13:47 | 只看该作者
阻止类被继承。当你确定某个类不应该再被扩展时,可以使用 final,例如:class Base final { /* ... */ };

使用特权

评论回复
发新帖 我要提问
您需要登录后才可以回帖 登录 | 注册

本版积分规则

427

主题

1594

帖子

1

粉丝