为何MSVC编译时出现未实例化模板未定义的奇怪错误？

编译代码 #

#include <type_traits>
template<class> struct S { };
template<class T>
using Foo = std::integral_constant<unsigned, sizeof(S<std::underlying_type_t<T>>)>;
int main() { }

报错信息 #

error C2027: use of undefined type 'S<_Underlying_type<_Ty,std::is_enum_v<_Ty>>::type>'
note: see declaration of 'S<_Underlying_type<_Ty,std::is_enum_v<_Ty>>::type>'

错误原因 #

这是MSVC的模板实例化时机Bug。按照C++标准，std::underlying_type_t<T>仅对枚举类型T合法，但在模板Foo未被实际使用（main函数中未调用Foo）的情况下，编译器本不需要实例化sizeof(S<std::underlying_type_t<T>>)这部分内容。

但MSVC错误地在模板定义阶段就尝试解析std::underlying_type_t<T>的实例化，当T为任意非枚举类型时，std::underlying_type_t<T>会生成不完整类型，导致S<该不完整类型>被判定为未定义，触发C2027错误。而GCC、Clang等编译器会遵循标准，仅在Foo被实际实例化时才检查这部分代码，因此不会报错。

解决方法 #

有两种可行的修复方式：

• 延迟实例化：将sizeof的计算放到辅助模板中，让实例化推迟到Foo被实际使用时：

  #include <type_traits>
  template<class> struct S { };
  
  template<class T>
  struct FooHelper {
      static constexpr unsigned value = sizeof(S<std::underlying_type_t<T>>);
  };
  
  template<class T>
  using Foo = std::integral_constant<unsigned, FooHelper<T>::value>;
  
  int main() { }
  

• 添加类型约束：用std::enable_if或C++20的requires约束Foo仅对枚举类型生效，避免编译器对非枚举类型进行无效解析：

  #include <type_traits>
  template<class> struct S { };
  
  template<class T, std::enable_if_t<std::is_enum_v<T>, int> = 0>
  using Foo = std::integral_constant<unsigned, sizeof(S<std::underlying_type_t<T>>)>;
  
  int main() { }
  

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