在函数模板内使用不完全类型是否符合C++17标准？

1. 第一段代码是否符合C++标准？ #

你提供的第一段代码并非GCC专属特性，它完全符合C17（甚至更早的C11）标准。

原因在于C++模板的两阶段名称查找规则：

• 第一阶段（模板定义时）：编译器仅检查语法正确性，以及不依赖模板参数的名称是否合法。此时A<T>只是前向声明，但a.f()属于依赖模板参数T的表达式（因为a的类型是const A<T>&），所以这一步不会做合法性校验。
• 第二阶段（模板实例化时）：当main中调用g(a)触发g<int>的实例化时，A<int>的完整定义已经可见，编译器可以正常解析a.f()的调用，因此不会报错。

2. 是否需要修改为第二种写法？ #

这取决于你的实际需求：

• 如果只是为了解决循环头文件依赖，第一种写法已经足够：只需将A的前向声明放在g所在的头文件，A的完整定义放在独立头文件，确保实例化g的编译单元能包含A的完整定义即可。
• 第二种写法是更通用的鸭子类型实现，它完全不依赖A的任何声明，只要传入的类型具备const修饰的f()成员就能正常调用。这种写法耦合度更低，若g的逻辑不需要绑定到A类型，只是需要一个能执行f()的对象，那么这种写法会更灵活，也能彻底消除与A的头文件依赖。

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