final限定符在声明与定义分离时无作用？技术咨询

这确实是个容易让人困惑的细节问题！先直接给结论：你遇到的这种编译器不报错的情况，是不符合C++语法规范的，属于编译器的实现bug。

为什么会这样？ #

C++标准里明确规定，final是虚函数声明的一部分，它的作用是标记该虚函数禁止被派生类重写——这个属性和函数的定义是在类内还是类外完全无关。

我们拆解你的两种代码场景：

1. 类内声明+定义合并：

   class A { 
   public: 
       virtual ~A() = default; 
       virtual void foo() final {} 
   }; 
   class B : public A { 
   public: 
       void foo() override {} 
   };
   

   这里final直接写在函数声明（同时也是定义）里，编译器能正确识别这个虚函数被标记为不可重写，所以派生类B尝试重写时触发报错，这是完全符合标准的正确行为。

2. 声明与定义分离：

   class A { 
   public: 
       virtual ~A() = default; 
       virtual void foo() final; 
   }; 
   void A::foo() {} 
   class B : public A { 
   public: 
       void foo() override {} 
   };
   

   虽然foo的定义被移到了类外，但类内的声明已经明确加上了final修饰符。按照C++标准，派生类B中尝试重写foo()的行为是非法的，编译器必须触发编译错误。你遇到的报错消失的情况，是编译器没有正确处理final修饰符的声明属性导致的bug。

补充说明 #

不同编译器对标准的实现程度可能有差异，比如GCC、Clang这类主流编译器在这种场景下会正确抛出错误，但部分旧版本或小众编译器可能存在这个疏漏。如果你遇到这种情况，建议检查编译器版本，或者换用符合标准的编译器来验证。

内容的提问来源于stack exchange，提问作者PKua