为何类定义未提供时仍可评估Concept？技术问询

现象说明 #

以下两段代码的编译结果与预期存在差异：

代码1（仅声明MyClass） #

#include <iostream>

class MyClass;

template<typename T>
concept HasFun = requires(T t)
{
    { t.fun() };
};

int main()
{
    std::cout << HasFun<MyClass> << std::endl;
    return 0;
}

这段代码无编译错误，运行后输出0。

代码2（给出MyClass完整声明） #

将代码1中的class MyClass;替换为以下内容：

class MyClass
{
public:
    void fun();
};

修改后代码运行输出1。

原本预期代码1会因“MyClass类型不完整”触发编译错误，但实际并未报错，而是返回false。

规则解释 #

C++标准允许对不完整类型评估concept：当评估requires表达式时，若操作涉及不完整类型的成员访问（如t.fun()），编译器无法确认该成员是否存在，因此会判定concept的约束不满足，最终返回false，而非直接触发编译错误。

适用场景 #

• 延迟类型检查的模板设计：编写通用模板时，可在类型完整前进行初步的concept匹配，避免过早触发编译错误，待类型完整后再完成最终验证。
• 条件分支的类型适配：当代码需要根据类型是否满足concept选择不同实现分支，且部分类型仅在模板实例化时才会完整时，可先基于不完整类型做初步判断，后续再处理完整类型的逻辑。
• 大型项目的编译平滑性：在类型声明与定义分离的大型项目中，对不完整类型评估concept可避免因提前引用未定义类型导致的编译错误扩散，提升编译过程的稳定性。

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