is_std_swappable 的正确实现

Question

这不是What is a proper way to implement is_swappable to test for the Swappable concept? 的重复，尤其是在“测试可交换 概念”方面。

我试图实现一个特征is_std_swappable：

#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::string 和static_assert( is_std_swappable< std::string >::value, "" ); 不会出错。

现在我尝试了一种不应被std::swap 交换的类型，假设使用std::move 实现：

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

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

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

• Clang 7.0.0 在这里看到一个错误（“static_assert failed due to requirements is_std_swappable<DontMove>::value")。

• MSVC 19.16 不会出错。如果 MSVC 提供了 std::swap 的不动实现。另一方面，使用 交换产生错误（“试图引用已删除的函数”）：

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

谁在这里？还是我对is_std_swappable 的尝试有问题​​？

Answer 1

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

编译器都没有错。