GCC与Clang编译分歧：不完整类型非法使用，谁正确？

这个问题戳中了C模板两阶段查找的一个容易混淆的细节，先给结论：**GCC的编译行为符合C标准，Clang的报错是个实现bug**，原因得从模板的依赖名称查找规则说起。

核心规则：C++模板的两阶段查找机制 #

C++模板的解析分两个明确的阶段：

• 第一阶段（模板定义时）：只处理和模板参数无关的「非依赖名称」，如果这时候用到不完整类型、未声明的非依赖名称，会直接报错；但所有依赖模板参数的「依赖名称」（比如和T相关的成员、类型），会延迟到第二阶段再处理。
• 第二阶段（实例化时）：在模板被实例化的上下文（也就是你调用foo<S>()的main函数位置）里，再解析所有依赖名称相关的内容，包括函数调用的实参、返回值等。

针对这段代码的具体分析 #

咱们拆一下代码的关键时间线：

1. 模板foo<T>定义时，foo_t只有前向声明，属于不完整类型；
2. 后续foo_t被完整定义，struct S的foo成员也声明了（参数是完整的foo_t）；
3. 到main函数调用foo<S>()时，模板开始实例化，此时foo_t已经是完整类型。

关键就在模板里的表达式T{}.foo(foo_t{})：
这里的foo是依赖模板参数T的成员函数（因为是T类型对象的成员），所以整个函数调用属于依赖表达式。根据标准规则，这类表达式里的实参类型（也就是foo_t）的解析会被延迟到实例化阶段，而不是在模板定义阶段就检查。

到实例化阶段时，foo_t已经完整，构造foo_t{}完全合法，所以模板实例化没有任何问题，GCC的处理是对的。

为什么Clang会报错？ #

Clang在这里犯了个实现错误：它错误地把foo_t当成了非依赖名称，在模板定义阶段就检查它的完整性，而没有遵循标准的延迟查找规则，所以才抛出了error: invalid use of incomplete type 'foo_t'的错误。

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