带约束auto非类型模板参数的类模板方法外联定义的MSVC错误

你的代码完全符合C++20标准，问题出在MSVC对带concept约束的非类型模板参数（NTTP）外联成员函数定义的解析支持上，属于编译器实现缺陷。GCC和Clang的行为是正确的，它们能正确识别类模板与外联成员函数的关联。

问题细节 #

当类模板使用带concept约束的占位符NTTP（template<std::integral auto A>），并将成员函数实现移到类外时，MSVC无法正确解析模板参数的关联，从而抛出错误：

error C2039: 'bar': is not a member of 'Foo<A>'
note: see declaration of 'Foo<A>'
error C2447: '{': missing function header (old-style formal list?)

即使将约束移到requires子句（template<auto A> requires std::integral<A>），MSVC的错误依然存在，且无需实例化模板就会触发错误。

临时解决方法 #

针对这个MSVC的bug，可以采用以下几种临时方案：

• 用static_assert替代concept约束：在类内部添加编译期断言，实现类似的类型检查（语义上是实例化时检查，而非模板声明阶段的约束）：

  template<auto A>
  struct Foo
  {
      static_assert(std::integral<decltype(A)>);
      void bar();
  };
  
  template<auto A>
  void Foo<A>::bar()
  {}
  

• 不分离成员函数的声明与定义：将成员函数的实现直接写在类模板内部，这是最直接的规避方式。
• 显式指定NTTP的类型：放弃auto占位符，改为显式声明类型参数和NTTP，虽然会增加模板参数数量，但能绕过MSVC的解析问题：

  template<std::integral T, T A>
  struct Foo
  {
      void bar();
  };
  
  template<std::integral T, T A>
  void Foo<T, A>::bar()
  {}
  

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