虚拟决赛和非虚拟决赛有什么区别？

Question

virtual final声明新的（非重写）成员函数与仅声明非虚拟成员函数之间有什么区别？

我猜virtual final编译器无论如何都会将成员函数（不覆盖任何内容）优化为非虚拟函数，但也许我在这里错了。

Answer 1

拥有虚拟方法意味着您是动态转换的合法目标，并且您不能成为标准布局。

从 ABI 角度来看，我怀疑编译器不会做额外的工作来消除final方法，因此带有条目的 vtable 仍然存在，除非整个类在“as-if”下被消除。

但在每个调用点，他们都可以绕过 vtable 并直接调用该方法（假设编译器在调用站点知道该方法的地址；某些动态加载设置可能会使 vtable 在调用站点已知） ，但方法地址不是）。

这还可以防止派生类覆盖这个确切的签名。IE：

struct Parent {
  void foo();
};
struct Child:Parent {
  void foo();
};

这是合法的，同时

struct Parent {
  virtual void foo() final;
};
struct Child:Parent {
  void foo();
};

不是。依赖于此是脆弱的，因为

struct Parent {
  virtual void foo() final;
};
struct Child:Parent {
  void foo() const;
};

又是合法的。