15、C++11/14对多态的增强：override、final、default、delete与noexcept

说实话，C++03时代写多态代码，我总觉得有点「裸奔」的感觉。你写了一个虚函数，到底有没有成功覆盖基类的接口？编译器不吭声，只能靠运行时去猜。我记得有一次重构老代码，改了个基类虚函数的参数类型，结果所有派生类的同名函数全变成了重载——编译通过，运行结果全乱套。这种坑，踩过一次就忘不了。

好在C++11/14终于出手了。它们给多态加了好几层「安全带」。今天我们就来聊聊这些增强，说白了就是让编译器帮你盯着，别让多态在运行时翻车。

override：让编译器帮你检查覆盖

先看一个经典问题。你写了个派生类，想覆盖基类的虚函数：

class Base {
public:
    virtual void show(int x) {}
};

class Derived : public Base {
public:
    void show(short x) {}  // 你以为覆盖了？其实没有！
};

这段代码编译通过，但Derived::show根本没覆盖Base::show。为什么？参数类型不同，一个是int，一个是short。它变成了重载，不是覆盖。运行时你调用基类指针的show，走的还是基类版本。

我在项目里见过类似的bug，排查了整整一个下午。后来C++11引入了override关键字：

class Derived : public Base {
public:
    void show(short x) override { }  // 编译错误！没有覆盖任何基类虚函数
};

加上override后，编译器直接报错。你想想看，这省了多少调试时间。我个人习惯是：所有意图覆盖基类虚函数的派生类函数，一律加上override。这不是可选项，是必选项。

核心要点：override是上下文关键字，只在函数声明末尾有效。它告诉编译器：「我就是要覆盖，你帮我检查一下。」

final：禁止继续派生或覆盖

有些类设计出来，就不想让人再继承。或者某个虚函数，不希望被后续派生类修改。C++11给了我们final关键字。

class Base {
public:
    virtual void step1() final { /* 固定流程 */ }
    virtual void step2() {}
};

class Derived : public Base {
public:
    void step1() override { }  // 编译错误！step1是final的
};

class MoreDerived final : public Derived { };  // 这个类不能再被继承
// class Extra : public MoreDerived { };  // 编译错误

final可以用在类上，也可以用在虚函数上。用在类上，表示这个类不能作为基类。用在虚函数上，表示派生类不能覆盖它。

我曾经在一个大型项目中，基类有个初始化流程，里面调用了几个虚函数。结果某个派生类不小心覆盖了其中一个，导致整个初始化顺序乱掉。如果当时那个函数加了final，问题根本不会出现。

使用建议：如果你设计的虚函数有明确的语义约束，不希望被篡改，就加上final。这不仅是语法约束，更是设计意图的文档化。

=default与=delete对虚函数的影响

这两个语法糖，很多人只用在普通函数上。其实它们对虚函数也有影响，而且有些细节容易忽略。

=default：让编译器生成默认实现。但虚函数能不能用=default？

class Base {
public:
    virtual ~Base() = default;  // 可以，生成默认析构函数
    virtual void func() = default;  // 编译错误！普通虚函数不能=default
};

只有特殊的虚函数才能=default，比如析构函数。普通虚函数没有「默认实现」这个概念，所以不能用。

=delete：禁止调用。虚函数能不能=delete？

class Base {
public:
    virtual void show() = delete;  // 可以，但要注意
};

class Derived : public Base {
public:
    void show() override { }  // 可以覆盖
};

这里有个坑：基类把虚函数删除了，但派生类仍然可以覆盖它。你通过基类指针调用show，会触发编译错误。但通过派生类指针调用，是正常的。嗯，这里要注意，=delete不是「禁止派生类定义」，而是「禁止通过当前类调用」。

避坑指南：我曾经在基类中=delete了一个虚函数，以为所有派生类都不能用了。结果派生类自己又定义了一个同名函数，导致基类指针调用时报错，派生类指针调用正常。这种不一致很容易引发困惑。如果你真想禁止某个虚函数被调用，考虑把基类做成抽象类，或者用final+private组合。

noexcept与虚函数

noexcept是C++11引入的异常说明。它告诉编译器：这个函数不会抛出异常。对虚函数来说，noexcept的规则有点绕。

class Base {
public:
    virtual void safe() noexcept;
    virtual void risky();
};

class Derived : public Base {
public:
    void safe() noexcept override;   // 可以，保持一致
    void risky() noexcept override;  // 可以，派生类更严格
    // void safe() override;  // 编译错误！不能去掉noexcept
};

规则很简单：派生类覆盖虚函数时，noexcept只能加不能减。基类说noexcept，派生类也必须noexcept。基类没说noexcept，派生类可以加，也可以不加。

为什么这样设计？因为调用方可能根据基类的noexcept做优化。如果派生类偷偷抛异常，优化就失效了。编译器强制你保持一致性。

我个人建议：如果你的虚函数确实不会抛异常，就加上noexcept。它能让编译器生成更高效的代码。但别为了性能乱加——万一真抛了异常，程序会直接终止。

总结一下：override帮你检查覆盖是否正确，final帮你锁定设计意图，=default/=delete控制虚函数的生成与访问，noexcept保证异常安全的一致性。这四个特性，让C++多态从「裸奔」变成了「全副武装」。

知识体系图

C++11/14 多态增强 override final =default / =delete noexcept 编译期检查 防止签名不匹配 禁止继承/覆盖 设计意图文档化 控制生成与访问 异常安全一致性 让多态从「裸奔」变成「全副武装」

这张图把四个增强特性放在一起对比。你会发现，它们各自解决不同的问题：override管正确性，final管约束性，=default/=delete管可控性，noexcept管安全性。组合使用，效果最佳。

好了，这一章的内容就到这里。记住，C++11/14的这些增强不是花架子，是真正能帮你减少运行时bug的利器。下次写虚函数时，别忘了用上它们。

公众号:蓝海资料掘金营，微信deep3321

← 上一章 📖 返回目录 下一章 →