c++ - 断言代码不编译

Question

简而言之:

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

一般情况:

如何编写测试，确保特定代码不编译？像这样:

// 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 中？

Answer 1

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 和 std::false_type)。

替代阶段的失败不同于一般的失败，因为它必须是一种表达方式，所以你能做的事情有些受限。但是，要测试复制是否可行，您可以执行以下操作:

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 .在工业强度库中，我们会将其隐藏为实现细节(公共(public)特征会转发到这种私有(private)特征。

然后我们特化。

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

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

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

sink_t<某种类型的表达式 >技术采用任何 类型表达式并将其转换为void : 基本上它是对替换失败的测试。 sink在图论中指的是事物流入而没有任何东西流出的地方——在这种情况下，void什么都不是，类型流入其中。

对于类型表达式，我们使用decltype(一些非类型表达式 ) ，这让我们可以在“假的”上下文中对其进行评估，我们只是丢弃结果。出于 SFINAE 的目的，现在仅评估非类型表达式。

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

非类型表达式得到它的类型评估。它实际上并没有运行，也不会导致任何东西的 ODR 使用。所以我们可以使用 std::declval<X>()生成类型的“假”实例 X .我们使用 X&对于左值，X对于右值，和 X const&对于 const左值。