Visual Studio C++编译模板类报C2027错误GCC正常如何解决

问题原因 #

这是MSVC（Visual Studio C编译器）和GCC对C标准中类内constexpr静态成员初始化的实现差异导致的：在类Test<T>的定义体内，声明constexpr static Test<T> Reset = Test<T>()时，Test<T>本身还处于不完全类型状态，MSVC严格要求此时构造对象的类型必须完全定义，因此抛出C2027错误，而GCC做了兼容处理允许这种用法。

可行解决方案 #

这里提供两种同时兼容MSVC和GCC的修改方案：

• 方案1：类内仅保留声明，初始化逻辑移到类外
  改动最小，完全保留原有语义，修改后代码如下：

  #include <type_traits>
  #include <cstdint>
  #include <string>
  
  namespace NS
  {
      template <class T>
      class Test
      {
      public:
          // 仅保留类内声明，移除初始化表达式
          constexpr static Test<T> Reset;
  
      private: 
      };
  
      // 类外定义时完成初始化，此时类已完全定义
      template <class T>
      constexpr Test<T> Test<T>::Reset = Test<T>();
  } 
  
  struct Def
  {
      static constexpr uint16_t Init = 0xffff;
      
  };
  
  using  MY = NS::Test<Def>;
  
  struct TransactionInfo
  {
      MY          my;
  };
  

• 方案2：显式声明constexpr默认构造函数
  如果需要保留类内初始化的写法，可以显式声明默认构造函数，提示MSVC该类型可在当前语境构造：

  namespace NS
  {
      template <class T>
      class Test
      {
      public:
          // 显式声明constexpr默认构造函数
          constexpr Test() = default;
          constexpr static Test<T> Reset = Test<T>();
  
      private: 
      };
  
      template <class T>
      constexpr Test<T> Test<T>::Reset;
  }
  

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