类模板中SFINAE行为异常：CRTP模式下派生类成员方法检测失败

这段代码编译失败的核心原因是不完整类型的访问限制：

当编译器处理class Derive : Base<Derive>时，必须先实例化Base<Derive>模板。此时Derive还属于不完整类型——它的定义尚未完成（编译器还没读到public: void OnOk(){}这部分），无法访问它的非静态成员方法OnOk。

这直接导致is_inheritable<Derive>的特化分支无法匹配：decltype(std::declval<Derive>().OnOk())是无效表达式，因此is_inheritable<Derive>::value被解析为false。而Base模板的第二个参数依赖std::enable_if_t<is_inheritable<T>::value>，当条件为false时，enable_if_t会触发SFINAE（替换失败并非错误），导致模板参数推导失败，最终报出"template argument 2 is invalid"的错误。

方案1：用静态断言延迟检查 #

将检查逻辑从Base的模板参数移到类内部的静态断言，让检查延迟到Derive成为完整类型的时刻（比如创建对象时）：

#include <type_traits>

template <typename Op, typename = void>
struct is_inheritable : std::false_type {};

// 改用std::void_t简化SFINAE逻辑
template <typename Op>
struct is_inheritable<Op, std::void_t<decltype(std::declval<Op>().OnOk())>> : std::true_type {};

template<typename T>
class Base {
    // 当Base被实际使用（如构造对象）时，T已完全定义，此时触发检查
    static_assert(is_inheritable<T>::value, "派生类必须实现OnOk()方法");
};

class Derive : Base<Derive> {
public:
    void OnOk(){}
};

int main() {
    Derive d; // 此处触发静态断言，检查通过
    return 0;
}

方案2：构造函数层面的SFINAE约束 #

把enable_if的约束放到Base的构造函数上，同样延迟检查时机：

#include <type_traits>

template <typename Op, typename = void>
struct is_inheritable : std::false_type {};

template <typename Op>
struct is_inheritable<Op, std::void_t<decltype(std::declval<Op>().OnOk())>> : std::true_type {};

template<typename T>
class Base {
public:
    // 仅当T存在OnOk方法时，该构造函数才会被启用
    template<typename = std::enable_if_t<is_inheritable<T>::value>>
    Base() = default;
};

class Derive : Base<Derive> {
public:
    void OnOk(){}
};

int main() {
    Derive d; // 构造时触发检查，编译通过
    return 0;
}

方案3：C++20 Concept（更简洁） #

如果使用C++20及以上版本，直接用Concept约束模板参数即可——编译器会自动在Derive定义完成后验证Concept的满足性：

#include <concepts>
#include <type_traits>

// 定义Concept：检查类型是否拥有可调用的OnOk方法
template<typename T>
concept HasOnOk = requires(T t) {
    t.OnOk();
};

// 用Concept约束Base的模板参数
template<HasOnOk T>
class Base {};

class Derive : Base<Derive> {
public:
    void OnOk(){}
};

int main() {
    Derive d;
    return 0;
}

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