C++20 concepts自定义requires子句报关联约束不满足错误排查

• 核心问题出在Afunc的约束表达式写法：你在requires块中直接引用了类A的非静态成员变量c_。模板约束的检查发生在重载决议阶段，此时还没有实例化的this对象语境，无法访问非静态成员，导致约束表达式本身无法通过编译期校验，直接判定为关联约束不满足。
• 约束检查仅需要验证类型匹配关系，不需要依赖实际的成员变量实例，你可以使用std::declval构造对应类型的假想实例完成编译期类型推导，不需要用到运行时的真实对象。

1. 首先添加头文件引用，引入std::declval的定义：

#include <utility>

2. 修改Afunc的约束表达式，把对真实成员c_的引用替换为std::declval构造的假想C类型实例：

template<typename... Args>
requires requires (BLikeType t, Args... args) {
    {t.Bfunc(std::declval<C*>()->Cfunc(args...))};
}
std::array<double, sizeof...(Args)> Afunc(Args... args) {
    return c_->Cfunc(args...);
}

修改后编译即可正常通过，约束会按照预期校验BLikeType是否存在接收Cfunc返回值的Bfunc成员函数。

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