在C++中，CRTP相较于final修饰函数或非虚函数的优势是什么？

嘿，我来给你唠唠这个问题！你提到的普通继承确实能实现类似的调用效果，但CRTP的优势可比这表面上的要实在多了，咱们慢慢拆解：

• 编译期多态：鱼与熊掌兼得
  非虚函数的问题在于逻辑太死——编译时就绑定死了调用哪个函数，你想让不同子类有不同实现？要么改基类（太不灵活），要么子类写同名函数“隐藏”基类函数，但这本质是名字隐藏不是重写，一不小心就会出bug；用虚函数吧，又要绕虚表，有运行时开销。
  而CRTP刚好卡在中间：它是纯编译期的多态，既没有虚函数的运行时成本，又能让不同子类给同一个“接口”提供不同实现。就像你例子里的interface调用implementation，每个子类的implementation都是编译时直接绑定的，连虚表那点内存开销都省了。而且编译器还会帮你检查：如果子类没实现要求的implementation，直接编译报错，比你手动写子类隐藏基类函数靠谱多了。

• 无侵入的代码复用：少写重复代码
  CRTP是模板类，这就解锁了普通继承玩不了的玩法——比如给所有子类自动生成通用逻辑。举个实际的例子：你想让多个类都支持比较运算符==、!=，但又不想每个类都重复写一遍逻辑？用CRTP就能搞定：

  template<typename Derived>
  class Comparable {
  public:
      friend bool operator==(const Derived& a, const Derived& b) {
          const auto& self_a = static_cast<const Derived&>(a);
          const auto& self_b = static_cast<const Derived&>(b);
          return self_a.equals(self_b);
      }
      friend bool operator!=(const Derived& a, const Derived& b) {
          return !(a == b);
      }
  };
  
  class MyClass : public Comparable<MyClass> {
  public:
      bool equals(const MyClass& other) const {
          // 只需要写自己的核心比较逻辑
          return this->value == other.value;
      }
  private:
      int value;
  };
  

  这种场景下，普通非虚继承根本做不到——基类不知道子类的具体类型，没法写出通用的运算符；用虚函数又会有运行时开销，还得处理类型适配的问题，远不如CRTP省心。

• 编译期接口约束：比靠程序员自觉靠谱
  用final修饰函数是为了防止子类重写，非虚函数本来就不能被重写，但它们都没法约束子类必须实现某个函数——全靠你自己记，很容易漏写。而CRTP不一样：它能在编译期强制子类实现指定的函数，比如前面例子里的implementation或者equals，要是子类没写，编译器直接给你报错，相当于给子类定了个硬约束，但又完全没用到虚函数那套机制。

• 安全的静态向下转型
  在CRTP基类里用static_cast<Derived*>(this)，编译器会在编译时就检查Derived是不是真的继承了Base<Derived>，比你在普通继承里手动用dynamic_cast（有运行时开销）或者瞎用static_cast（容易出运行时错误）安全多了，完全没额外成本。

再回到你举的例子：普通非虚继承确实能让子类调用基类的foo，但如果你有一堆子类，每个都需要类似interface的逻辑但各自的实现不同，用CRTP的话你只需要写一遍基类的interface，每个子类实现自己的implementation就行；要是用普通非虚继承，你要么给每个子类都写一遍重复的interface逻辑，要么把interface改成虚函数（引入运行时开销），都不如CRTP灵活高效。

备注：内容来源于stack exchange，提问作者CatFood