C++20 Concepts在CRTP派生模板类中的约束失败问题排查

问题原因 #

你遇到的约束失败，核心问题在于CRTP继承时的类型不完全性：
当定义struct A : public Base<A>时，编译器需要先实例化Base<A>才能处理继承关系，但此时A还属于不完全类型——编译器还没读到A内部的printSub函数定义。你的原始requires表达式里直接声明了Derived t（值类型对象），而C++不允许用不完全类型创建对象；同时此时编译器也无法确认A是否存在printSub方法，因此触发约束失败。

解决方案 #

修改requires表达式，避免直接创建Derived类型的对象，改用引用类型或者std::declval来延迟成员函数的检查：

方案1：使用引用类型的参数 #

#include <iostream>

template<typename Derived>
requires requires (Derived& t) { // 用引用替代值类型，无需完整类型即可声明
    t.printSub();
}
struct Base
{
    void print() { std::cout << "print\n"; }
};

struct A: public Base<A>
{
    void printSub() { std::cout << "printSub from A\n"; }
};

int main() {
    A a1{};
    a1.print();
    a1.printSub();
    return 0;
}

方案2：使用std::declval（需包含<utility>头） #

std::declval可以在不创建对象的前提下，获取任意类型的引用，适合在requires表达式中做成员函数检查：

#include <iostream>
#include <utility> // 必须包含此头文件

template<typename Derived>
requires requires {
    std::declval<Derived&>().printSub(); // 通过declval获取引用调用成员
}
struct Base
{
    void print() { std::cout << "print\n"; }
};

struct A: public Base<A>
{
    void printSub() { std::cout << "printSub from A\n"; }
};

int main() {
    A a1{};
    a1.print();
    a1.printSub();
    return 0;
}

注意事项 #

如果printSub是const成员函数，需要调整约束中的引用为const版本，比如：

requires requires (const Derived& t) {
    t.printSub();
}
// 或者
requires requires {
    std::declval<const Derived&>().printSub();
}

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