带concept约束的CRTP模板提前被编译器拒绝的问题咨询

问题行为的标准符合性 #

编译器的拒绝行为完全符合C标准规定。
C中类类型的完整定义时点是类体的闭合右大括号}处。当处理struct D : public S<D>这行代码时，编译器需要先实例化基类S<D>才能继续处理派生类D的定义，此时D还处于不完整类型状态，尚未解析到类体内容。而类模板的约束是在模板实例化时立即触发校验的，你的concept C要求检查不完整类型D的成员f，自然会校验失败，C++标准并未要求编译器延后约束检查到派生类定义完成。

可行的校验方案 #

下面提供三种可正常生效的CRTP约束方案：

方案1：将约束从类模板层级下移到成员函数层级 #

类模板本身不附加约束，将concept校验放到成员函数的声明上，成员函数的实例化只会在用户主动调用、且派生类已经完整定义后才会触发，不会影响CRTP基类的实例化：

#include <concepts>

template <class T>
concept C = requires(T t) {
    { t.f() };
};

template <class T>
struct S
{
    C<T> T f() { return T(); }
};

struct D : public S<D>
{
};

// 只有当调用f的时候才会触发约束检查，此时D已经完整
int main() {
    D d;
    d.f();
    return 0;
}

方案2：用基类私有构造+友元强制继承合法性 #

如果你的核心需求是确保只有合法的派生类才能继承S，不需要校验成员函数存在性，可以用CRTP通用的防误用方案，不需要用到concept：

template <class T>
struct S
{
    T f() {return T();}
private:
    S() = default;
    friend T; // 只有派生类T能访问基类构造函数
};

// 合法继承场景
struct D : public S<D>
{
};

// 非法继承场景会直接编译报错：
// struct Bad : public S<int> {};

方案3：延迟到类内静态断言检查 #

如果必须在类层面做校验，可以把静态断言放到基类的析构函数中，析构函数的实例化时机晚于派生类定义完成，不会触发不完整类型检查问题：

#include <concepts>
#include <type_traits>

template <class T>
concept C = requires(T t) {
    { t.f() };
};

template <class T>
struct S
{
    T f() {return T();}
    ~S() {
        static_assert(C<T>, "Template parameter T must satisfy concept C");
        static_assert(std::is_base_of_v<S<T>, T>, "T must inherit from S<T>");
    }
};

struct D : public S<D>
{
};

内容的提问来源于stack exchange，提问作者Kelemen Máté