断言代码无法编译

简而言之：

如何编写一个测试，检查我的类不可复制或可复制分配，而只能移动和移动分配？

一般来说：

如何编写测试，确保特定代码does not编译？像这样：

// Movable, but non-copyable class
struct A
{
  A(const A&) = delete;
  A(A&&) {}
};

void DoCopy()
{
  A a1;
  A a2 = a1;
}

void DoMove()
{
  A a1;
  A a2 = std::move(a1);
}

void main()
{
  // How to define these checks?
  if (COMPILES(DoMove)) std::cout << "Passed" << std::endl;
  if (DOES_NOT_COMPILE(DoCopy)) std::cout << "Passed" << std::endl;
}

我猜想与 SFINAE 有关，但是是否有一些现成的解决方案，也许是在 boost 中？

template<class T>struct sink{typedef void type;};
template<class T>using sink_t=typename sink<T>::type;

template<typename T, typename=void>struct my_test:std::false_type{};
template<typename T>struct my_test<T,
  sink_t<decltype(

将代码放在这里。请注意，它必须“尽早失败”，即在函数的签名中，而不是在函数体中

  )>
>:std::true_type {};

如果可以评估“将代码放在这里”，上面会生成一个测试。

要确定是否无法评估“在此处放置代码”，请否定测试结果。

template<class T>using not_t=std::integral_constant<bool, !T::value>;
not_t< my_test< int > >::value

当且仅当“将代码放在这里”在替换阶段失败时才为真。 （或者您可以通过交换来更手动地完成std::true_type and std::false_type above).

替换阶段的失败与一般的失败不同，因为它必须是一种表达，所以你能做的事情在某种程度上受到限制。但是，要测试复制是否可行，您可以执行以下操作：

template<typename T, typename=void>struct copy_allowed:std::false_type{};
template<typename T>struct copy_allowed<T,
  sink_t<decltype(
    T( std::declval<T const&>() )
  )>
>:std::false_type {};

并移动：

template<typename T, typename=void>struct move_allowed:std::false_type{};
template<typename T>struct move_allowed<T,
  sink_t<decltype(
    T( std::declval<T>() )
  )>
>:std::false_type {};

并且只移动：

template<typename T>struct only_move_allowed:
  std::integral_constant<bool, move_allowed<T>::value && !copy_allowed<T>::value >
{};

上述通用技术依赖于 SFINAE。基本特征类如下所示：

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

在这里，我们采用一个类型T，以及我们默认的第二个（匿名）参数void。在工业强度库中，我们将其隐藏为实现细节（公共特征将转发到这种私有特征。

然后我们就专业化。

template<typename T>struct whatever<T, /*some type expression*/>:std::true_type{};

诀窍是我们做/*some type expression*/评估类型void当且仅当我们希望测试通过时。如果失败，我们可以评估为非void类型，或者只是发生替换失败。

当且仅当其计算结果为void我们得到吗true_type.

The sink_t<某种类型的表达式>技术需要any输入表达式并将其转换为void：基本上是替代失败的测试。sink在图论中，指的是事物流入但没有任何东西流出的地方——在这种情况下，void什么都没有，类型就流入其中。

对于类型表达式，我们使用decltype(一些非类型表达式)，这让我们可以在“假”环境中评估它，我们只是丢弃结果。现在正在评估非类型表达式only出于 SFINAE 的目的。

请注意，MSVC 2013 对此特定步骤的支持有限或不支持。他们称之为“表达 SFINAE”。必须使用替代技术。

非类型表达式对其类型进行求值。它实际上并未运行，并且不会导致任何内容的 ODR 使用。所以我们可以使用std::declval<X>()生成类型的“假”实例X。我们用X&对于左值，X对于右值，以及X const& for const左值。