与is_ swappable_

Question

这是这个问题的后续。稍微修改的代码版本，使用std::swappable_with_v而不是std::swappable_v会产生不一致的结果：

#include <type_traits>

template <class T>
struct A {};

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


int main (){
    static_assert (std::is_swappable_with_v <A <int>,A<double>>);
    using std::swap;
    A<int> a;
    A<double> b;
    swap(a,b);
}

静态断言仅通过msvc传递https://godbolt.org/z/G6sj86sfq.尽管当静态断言被移除时，所有3个主要编译器都接受代码：https://godbolt.org/z/hbdq4Eoh1

CP首选项注释:

此特性不会检查交换表达式直接上下文之外的任何内容：如果使用T或U会触发模板专门化、生成隐式定义的特殊成员函数等，并且这些函数有错误，则即使std：：is_swappable_with，实际交换也可能无法编译

但相反的情况不应该发生，即当使用std：：swap后调用交换成功时，特征应该产生true。

gcc和clang拒绝断言是否错误？

Answer 1

Gcc和clang是正确的。根据＜code＞std：：is_swappable_with＜/code＞的行为，

如果表达式交换（std：:d eclval

圣d::dec

您应该将模板参数指定为左值引用，如下所示：

static_assert (std::is_swappable_with_v <A <int>&,A<double>&>);

顺便说一句，std:：is_swappable也是这样做的。

提供等于 std：：is_swappable_with 的成员常量值