能否借助CRTP在编译期强制类实现接口（避免虚函数）

可行，以下是两种解决原有问题的实现方案：

方案一：static_assert编译期检查（C++11及以上） #

通过在基类构造函数中加入static_assert，结合decltype和std::declval检查派生类是否符合接口要求，只要实例化派生类就会触发编译错误，无需等到调用函数；同时通过显式指定Derived::限定符避免无限递归。

#include <type_traits>

template <typename Derived>
class IFoo {
protected:
    // 保护构造函数，禁止直接实例化基类
    IFoo() {
        // 编译期验证：Derived必须实现int Required()函数
        static_assert(
            std::is_same_v<decltype(std::declval<Derived>().Required()), int>,
            "派生类必须实现int Required()函数"
        );
    }

public:
    // 显式调用派生类的实现，避免递归
    int Required() {
        return static_cast<Derived*>(this)->Derived::Required();
    }
};

// 正确实现的派生类
class MyFoo : public IFoo<MyFoo> {
public:
    int Required() {
        return 42;
    }
};

// 错误示例：未实现Required，编译阶段直接报错
// class BadFoo : public IFoo<BadFoo> {};

int main() {
    MyFoo f;
    f.Required(); // 正常调用
    return 0;
}

关键细节： #

• static_assert在基类构造函数中触发，只要创建派生类对象就会检查，解决了原代码只有调用函数才报错的问题。
• 调用时添加Derived::限定符，确保编译器优先查找派生类的Required，如果派生类未实现，直接报“找不到成员函数”的编译错误，彻底避免无限递归。

方案二：C++20 Concept约束 #

利用C++20的Concept特性，直接在模板参数层面约束派生类必须满足接口要求，语法更直观：

#include <concepts>

template <typename Derived>
concept HasRequired = requires(Derived d) {
    // 约束：必须有返回值为int的Required()函数
    { d.Required() } -> std::same_as<int>;
};

template <HasRequired Derived>
class IFoo {
public:
    int Required() {
        return static_cast<Derived*>(this)->Derived::Required();
    }
};

// 正确实现
class MyFoo : public IFoo<MyFoo> {
public:
    int Required() { return 42; }
};

// 错误示例：不符合Concept，继承时直接报错
// class BadFoo : public IFoo<BadFoo> {};

对比原有问题的缺陷： #

• 原代码中=delete的写法：仅当调用Required()时才会触发编译错误，未调用时编译器不会检查派生类是否实现。
• 原递归写法：未加Derived::限定符时，派生类未实现函数会导致编译器递归解析基类的Required，最终引发运行时栈溢出（部分编译器可能提前警告，但无法强制编译期报错）。

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