MSVC允许在模板默认参数中使用未前置声明类是否合规？

示例代码 #

// class Foo; // 切换此行注释
template <class T=Foo > class Bar;

class Foo {};

template <class T>
class Bar {};

编译现象 #

当注释掉第一行的class Foo;前向声明后：

• GCC与Clang均报错，错误信息分别为：
  GCC输出：

  <source>:2:19: error: 'Foo' does not name a type
      2 | template <class T=Foo > class Bar;
        |                   ^~~
  

  Clang输出：

  <source>:2:19: error: unknown type name 'Foo'
  template <class T=Foo > class Bar;
                    ^
  1 error generated.
  

• MSVC编译此代码无报错。

标准合规性分析 #

根据C标准，模板声明中使用的名字必须在该声明点可见。模板的默认参数属于模板声明的一部分，解析template <class T=Foo>时，Foo既没有前向声明，也未在之前定义，此时Foo是未声明的标识符，完全违反C标准的要求。

MSVC的行为属于非标准的宽松实现，它可能延迟了对默认参数中类型名的查找时机，直到后续Foo的定义出现或模板被实例化时才进行检查，但这种处理方式并不符合C++标准的规定。

结论 #

GCC和Clang的报错行为符合C标准，MSVC的无报错行为是偏离标准的宽松实现，注释掉前向声明后的代码本身属于违反C标准的写法。

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