使用Concepts选择类模板特化：多编译器结果不一致问题咨询

问题现象 #

使用C++20 Concept选择类模板的不同特化版本时，三款主流编译器表现不一致：

• GCC：可正常编译通过
• Clang：接受成员函数F()的外部定义，但拒绝嵌套类State构造函数的外部定义
• MSVC：对所有外部定义均拒绝编译

代码示例：

#include <type_traits>
using namespace std;

template <class T> concept is_ENUM = std::is_enum<T>::value;
template <class T> concept is_not_ENUM = !std::is_enum<T>::value;

template <class Token> class FSM
{
};

template <is_ENUM Token> class FSM<Token>
{
public:
  class State
  {
  public:
    State ();
  };

  FSM () = default;
  void F ();
};
 
template <is_ENUM Token> void FSM<Token>::F ()
{
}

template <is_ENUM Token> FSM<Token>::State::State ()
{
}

template <is_not_ENUM Token> class FSM<Token>
{
public:
  class State
  {
  public:
    State ();
  };

  void F ();
};

template <is_not_ENUM Token> void FSM<Token>::F ()
{
}

template <is_not_ENUM Token> FSM<Token>::State::State ()
{   
}

int main ()
{
    enum class T1 {A, B, C};
    FSM <T1> fsm1;
    FSM <int> fsm2;
    return 0;
}

标准规范与代码正确性 #

根据C++20标准，你的代码写法是符合规范的：

• 类模板的特化通过Concept约束明确区分了不同的实例化分支
• 特化类的成员函数、嵌套类成员的外部定义，通过相同的Concept约束绑定到对应的特化版本

将定义内联后所有编译器都能正常接受，也证明代码逻辑本身是正确的——内联时嵌套类和成员函数的定义直接属于对应特化，编译器无需额外解析外部定义与特化的关联关系。

差异原因判断 #

当前的跨编译器表现差异属于编译器实现Bug：

• GCC对Concept约束特化的嵌套成员外部定义处理正确，能准确关联到对应的特化版本
• Clang在处理嵌套类的成员定义时，未能正确识别其所属的Concept约束特化，但普通成员函数的处理正常
• MSVC对这类场景的支持尚未完善，完全无法处理Concept约束特化的成员外部定义

这类问题会随着编译器对C++20 Concept特性的实现迭代逐步修复。

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