17370845950

C++11起用final关键字可标准、无歧义地禁止类被继承或虚函数被重写：类名后加final阻止派生，虚函数声明末加final阻止override，二者均属编译期检查，不可替代。

用 final 关键字直接禁止类被继承

在 C++11 及之后标准中，final 是唯一标准、无歧义的方式。把它加在类定义末尾即可，编译器会拒绝任何从该类派生的行为：

class Base final {
public:
    virtual void foo() {}
};

此时若写 class Derived : public Base {};，编译器报错类似：error: cannot derive from 'final' base class 'Base'。注意：final 必须紧贴在类名后、左大括号前（或分号前，如果是纯声明），位置错就无效。

常见误用：

• 把 final 放在访问说明符后面（如 public final class B {}）——语法错误
• 对非虚函数或普通成员函数加 final ——不合法，final 只能修饰虚函数或类
• 在模板类上直接加 fin

  

  al 而未实例化时，某些旧编译器可能不报错，但实际特化后仍会拦截继承

final 修饰虚函数：阻止重写而非继承

final 加在虚函数声明末尾，作用是“这个虚函数在当前类中封顶”，子类不能重写它，但子类本身仍可被继承（除非类也标了 final）：

class Base {
public:
    virtual void foo() final {} // 子类无法 override foo()
};
class Derived : public Base {
public:
    void foo() override {} // ❌ 编译失败：cannot override a function marked 'final'
};

这种写法常用于框架设计中保护关键行为逻辑不被意外覆盖，比如资源清理、协议校验等。和 private 虚函数不同，final 不影响访问权限，只约束重写行为。

注意点：

• final 和 override 可以共存，但顺序必须是 virtual → override → final（仅对重写函数）
• 如果基类函数没声明为 virtual，加 final 会直接编译失败
• 虚函数表（vtable）不受影响，final 是编译期检查，不改变运行时开销

不用 final 的替代方案：私有虚析构 + 删除构造？不推荐

有人尝试用“私有析构函数 + delete 默认构造”模拟不可继承效果，例如：

class NonInheritable {
private:
    ~NonInheritable() = default;
protected:
    NonInheritable() = default;
};

但这只能让派生类因无法调用基类析构而编译失败，且依赖于派生类析构时触发基类析构的时机，行为不稳定；更严重的是，用户仍可通过友元、继承链绕过，甚至在某些编译器下静默通过。C++ 标准明确不保证这种技巧的可靠性。

结论很直接：没有 final 就不该试图模拟。如果你还在用 C++03 或受限环境，应升级工具链，而不是手写脆弱的 hack。

兼容性与实际设计建议

final 在 GCC 4.7+、Clang 3.1+、MSVC 2015+ 完全支持。启用 C++11 或更高标准（如 -std=c++11）即可使用。

设计时真正需要考虑的是语义而非语法：

• 禁止继承 ≠ 类是“最终实现”，而是表明“这个抽象层级已封闭”，比如 std::string_view 或某些策略类
• 不要为了“防止误用”而滥用 final，它会阻碍测试替身（mock）、策略替换等合理扩展场景
• 如果一个类既有不可继承需求，又需多态接口，应拆分为接口类（纯虚）+ final 实现类，而非把所有东西塞进一个 final 类里

最容易被忽略的一点：很多团队只记得给类加 final，却忘了同步检查其虚函数是否也需要 final 保护——尤其当该类提供可重写的钩子函数时，遗漏会导致关键逻辑被绕过。