C++20 Concepts重构CRTP代码：现有约束方案是否足够？

问题背景 #

现有一段使用CRTP模式的C代码，目标是结合C20的Concepts特性进行重构。原始代码（已声明Quackable但未实际约束）如下：

#include <concepts>
#include <iostream>

template <typename T>
concept Quackable = requires( T t ) { t.Quack(); };

template <typename T>
struct BaseDuck {
    void DoQuack() { Impl().Quack(); }
private:
    T& Impl() { return static_cast<T&>( *this ); }
};

struct Duck : public BaseDuck<Duck> {
    void Quack() const { std::cout << "quack"; }
};

int main() {
    Duck().DoQuack();
    return 0;
}

最初尝试直接约束BaseDuck的模板参数，编译失败：

template <Quackable T>
struct BaseDuck {
    void DoQuack() { Impl().Quack(); }
private:
    T& Impl() { return static_cast<T&>( *this ); }
};

将约束移至成员函数的requires子句后代码可正常运行：

template <typename T>
struct BaseDuck {
    void DoQuack() requires Quackable<T> { Impl().Quack(); }
private:
    T& Impl() requires Quackable<T> { return static_cast<T&>( *this ); }
};

疑问：该方案是否足够？或是需要重构/移除CRTP以实现现代C++的静态多态？

解答 #

1. 直接约束模板参数失败的原因 #

核心问题是CRTP的类型依赖顺序：当定义Duck : public BaseDuck<Duck>时，Duck的完整类型尚未被编译器完全解析，此时检查Quackable<Duck>会失败——因为Duck的Quack()成员还未被处理，编译器无法确认它满足Quackable约束。

2. 成员函数级约束方案的合理性 #

这个方案是可行且足够的，但可以做细节优化：

• 匹配const属性：原始Duck的Quack()是const成员，但Impl()返回非const引用，会触发const不匹配。可以调整Concept的约束，或者给Impl()添加const重载：

  // 调整Concept，支持const对象调用
  template <typename T>
  concept Quackable = requires(const T t) { t.Quack(); };
  
  // 给Impl()添加const重载
  template <typename T>
  struct BaseDuck {
      void DoQuack() const requires Quackable<T> { Impl().Quack(); }
  private:
      T& Impl() { return static_cast<T&>(*this); }
      const T& Impl() const { return static_cast<const T&>(*this); }
  };
  

• 简化约束范围：Impl()是私有成员，仅被DoQuack()调用，无需给它单独加约束，只要DoQuack()的约束生效，就能保证安全性。

3. 是否需要移除CRTP？ #

不需要。CRTP本身就是C中实现零开销静态多态的经典方案，结合C20 Concepts可以让它的接口约束更清晰、编译错误提示更友好，完全符合现代C++的设计理念。

如果想进一步优化静态多态的写法，可以考虑用Concept定义明确的静态接口，让CRTP基类专注于转发逻辑，但本质上还是CRTP的变种，核心价值没有变化。

总结 #

将约束放在成员函数级的方案完全足够，既解决了CRTP的类型依赖问题，又利用Concepts实现了编译期接口检查。无需移除CRTP，它依然是现代C++静态多态的高效实现方式。

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