制作一个类模板 std::is_swappable

我正在尝试使类模板可交换。我不明白为什么静态断言失败：

#include <type_traits>

template <class T>
struct A {};

template <class T, class U>
constexpr void
swap (A <T>&, A <U>&) {}

static_assert (std::is_swappable_v <A <int>>);

int main (){}

它通过

template <class T>
constexpr void
swap (A<T>&, A<T>&) {}

但第一个不应该也可以吗？

神箭：https://godbolt.org/z/vbWWxrec4 https://godbolt.org/z/vbWWxrec4

std::is_swappable https://en.cppreference.com/w/cpp/types/is_swappable (and std::is_swappable_with) 认为std::swap too.

...使用后在未评估的上下文中都是格式良好的std::swap;

然后对于第一种情况，调用swap用户定义之间不明确swap and std::swap https://en.cppreference.com/w/cpp/algorithm/swap。对于第二个，用户定义swap然后在重载决策中获胜std::is_swappable按预期工作。