C++20 std::swappable_with概念问题：int与int无法匹配的解决办法

你遇到的这两个问题其实都是不同编译器在C++20标准支持初期的细节差异导致的，咱们一步步来修复：

1. Visual Studio中std::swappable_with未定义的问题 #

这个问题主要源于早期版本Visual Studio（比如VS2019的部分旧更新版本）对C++20 Concepts的支持不够完善，或者头文件依赖关系处理有偏差。可以通过两种方式解决：

• 升级编译器版本：优先使用VS2022或者VS2019的最新更新版本，这些版本对C++20标准的支持更完整。
• 补充必要头文件：除了<concepts>，额外引入<utility>头文件——std::swappable_with的约束检查依赖std::swap的声明，而std::swap的标准归属头文件就是<utility>，部分VS版本的<concepts>没有自动包含它。

2. GCC 10中int不满足std::swappable_with<int, int>的问题 #

这个问题的核心原因和VS的情况一致：GCC10的<concepts>头文件没有自动引入<utility>，而std::swappable_with的约束检查需要std::swap的存在（对于内置类型int，std::swap的重载定义就在<utility>中）。只要补充包含<utility>，就能让约束检查正常通过。

修复后的完整代码 #

#include <concepts>
#include <utility>  // 关键：补充该头文件，提供std::swap的定义

template <typename T, typename U>
requires std::swappable_with<T,U>
void mySwap(T& t, U& u) {
    T temp = t;
    t = u;
    u = temp;
}

int main() {
    int x, y;
    mySwap(x, y);
    return 0;
}

另外提个小细节：你自己实现的mySwap逻辑和std::swap完全一致，既然已经用了std::swappable_with约束，其实可以直接在函数里调用std::swap(t, u)，这样既符合标准库的设计意图，还能利用标准库针对不同类型的优化实现。

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