为何合规C++20代码可在Clang编译，却在MSVC遇模板推导错误？

问题原因 #

这是MSVC的已知编译器bug，并非你的代码违反了C++标准。

具体来说，你的HasFoo概念使用非const的T t调用foo()，而X::foo是const成员函数。根据C++标准，非const对象完全可以调用const成员函数，且返回值类型确实是int，满足std::same_as<int>的约束。但旧版本的VS2022（如你当前使用的版本）在处理这种"非const对象调用const成员函数"的约束检查时存在逻辑错误，导致错误判定约束不满足。

解决方案 #

你可以通过以下两种方式快速修复：

• 修改HasFoo概念的requires表达式，使用const限定的参数：

  template <typename T>
  concept HasFoo = requires(const T t) { // 添加const限定参数
      { t.foo() } -> std::same_as<int>;
  };
  

• 升级VS2022到17.7及以后版本，微软在该版本中修复了这类Concept约束检查的bug。

验证说明 #

修改后的代码在Clang、GCC和修复后的MSVC中都能正常编译运行，完全符合C++20标准的要求。

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