C++标准下模板调用未声明函数：程序是IFNDR还是格式错误？

代码示例 #

template<class T>
void foo(T t){ fuu<T>(); }

template<class T>
void fuu(){}

int main() {
  foo(5L);
}

编译器行为差异 #

• GCC与Clang会报错，错误信息如下：

error: 没有依赖于模板参数的'fuu'实参，因此必须提供'fuu'的声明 [-fpermissive]

• MSVC即使启用/permissive-严格模式，也不会对此代码发出错误提示。

标准条款依据与分析 #

根据最新C++标准的**[temp.dep.candidate]条款：
模板定义中使用的名称，若不属于依赖于模板参数的名称，则该名称必须在模板定义点可见；若未满足此要求，程序属于ill-formed, no diagnostic required (IFNDR)**——即格式错误，但标准不强制要求编译器必须诊断出该错误。

针对本例的关键判断：
foo模板中调用的fuu<T>()，其名称fuu的查找并不依赖于模板参数T的具体类型。也就是说，无论T是什么类型，编译器在处理foo模板定义时，都需要找到fuu的声明，但此时fuu的模板声明还未出现。这种情况完全符合IFNDR的判定条件。

编译器行为的合理性说明 #

• GCC/Clang的报错行为：标准允许编译器主动检测并诊断这类IFNDR错误，这属于编译器提供的额外检查，并不违反标准。
• MSVC不报错的行为：由于IFNDR的核心是“无需诊断”，因此MSVC的行为完全符合标准要求，编译器没有义务必须发现这类错误。

结论 #

该程序属于IFNDR范畴：它本身是格式错误的，但编译器是否发出诊断信息均符合标准规定。

内容的提问来源于stack exchange，提问作者K T KT