正确实施is_std_swappable

Question

这不是要重复实现is_swappable测试可交换概念的正确方法是什么？特别是关于“可交换概念的测试”方面。

我试图实现一个特征< code > is _ STD _ swapped :

#include <type_traits>
#include <utility>

template< typename T, typename = void >
struct is_std_swappable : std::false_type {};

template< typename T >
struct is_std_swappable< T, decltype( std::swap( std::declval< T& >(), std::declval< T& >() ) ) > : std::true_type {};

这适用于std::字符串和static_assert（is_std_swappable

现在我尝试了一种类型，它不应该被std::交换交换，假设实现使用std::移动：

struct DontMove {
    DontMove() = default;
    DontMove( DontMove&& ) = delete;
};

static_assert( is_std_swappable< DontMove >::value, "" );

结果（见 https://godbolt.org/z/014kJ2）：

>

Clang 7.0.0 在此处看到一个错误（“由于要求is_std_swappable，static_assert失败

MSVC 19.16不出错。如果MSVC提供< code>std::swap的非移动实现，这种情况可能会发生。另一方面，使用交换会产生错误(“试图引用已删除的函数”):

void foo() {
    DontMove dm;
    std::swap( dm, dm );
}

谁在这里？还是我在< code > is _ STD _ swapped 上的尝试有问题？

Answer 1

该标准不要求 std：：swap 对 SFINAE 友好。它也不能阻止它。

这两个编译器都没有错。