如何检测一个类是否有移动构造函数？

Question

我想检测（并使用 中的结果std::enable_if）C++ 类是否定义了移动构造函数。

以下程序打印MOVE，因此使用std::is_move_constructible不是这样做的方法：

#include <stdio.h>
#include <type_traits>
class C {
 public:
  C() { puts("C()"); }
  C(int) { puts("C(int)"); }
  ~C() { puts("~C()"); }
  C(const C&) { puts("C(const C&)"); }
  // C(C&&) { puts("C(C&&)"); }
  C& operator=(const C&) { puts("C="); return *this; }
};
int main(int argc, char** argv) {
  (void)argc; (void)argv;
  if (std::is_move_constructible<C>::value) puts("MOVE");
  return 0;
}

我需要一个程序，MOVE只有当我取消注释包含&&.

Answer 1

简短的回答：这是不可能的。

更多细节，基于@TobySpeight 的评论：

如果该类不包含C(C&&) = delete;，则无法检测它是否包含C(C&&) { ... }：std::is_move_constructible<C>::value在任何一种情况下都为真，并且没有其他方法可以检测到它。

C(C&&) = delete;可以检测到的存在：如果存在，std::is_move_constructible<C>::value则为假C(C&&) = delete;。

在这个对“理解std::is_move_constructible”的回答中有更多解释。

为了避免在 中缓慢复制std::vector::push_back，不需要检测用户定义的移动构造函数。这是替代方案，基于@NirFriedman 的评论：

• 所有类都有一个复制构造函数。
• 旧的 (C++98) 类具有成员交换和 0 参数构造函数（可由编译器隐式生成），并且它们没有用户定义的移动构造函数。
• 新的 (C++11) 类没有成员交换（但它们可以有命名空间级交换或友元交换），并且它们有一个用户定义的移动构造函数。
• 小类（我们不关心复制构造函数的速度，它总是足够快）可能有一个用户定义的移动构造函数。他们也可能有一个成员交换（但他们不应该，为了速度）。如果他们有一个成员交换，他们也有一个 0 参数构造函数（可以由编译器隐式生成）。
• SFINAE 用于检测成员交换。
  • 如果存在成员 swap，则使用 resize + back + swap 向向量添加新元素。
  • 否则，使用 push_back。

对于旧类，这将使用成员交换（快速）。对于新类，它将使用移动构造函数（快，也快一点）。对于小类，它将使用复制构造函数（假设对于小类足够快）或移动构造函数（如果可用）。

这是我快速std::vector::push_back检测成员交换的最终解决方案：https : //github.com/pts/fast_vector_append/blob/master/fast_vector_append.h