了解`std::is_move_constructible`

Question

没有移动构造函数但具有接受const T& 参数的复制构造函数的类型，满足std::is_move_constructible。例如，在以下代码中：

#include <type_traits>

struct T {
    T(const T&) {}
    //T(T&&) = delete;
};

int main() {
    static_assert(std::is_move_constructible<T>::value, "not move constructible");
    return 0;
}

T 将没有隐式移动构造函数，因为它有一个用户定义的复制构造函数。

但是，如果我们取消注释移动构造函数的显式删除，代码将不再编译。为什么是这样？我本来希望显式复制构造函数仍然满足std::is_move_constructible。

重载是否起作用，选择声明的移动构造函数然后因为它被删除而失败？

---

如果标准规定了 no implicit move ctor 和 deleted move ctor 类之间的移动可构造性之间的这种差异，请引用并在可能的情况下给出理由（例如“为禁止移动构造提供便利”-首先想到的东西）。

Answer 1

这是对我的第一个答案的全面修改，以纠正所说的一些错误并引用标准并指出提问者希望的一些细节。

std::is_move_constructible 实际做了什么

如果T 是一个结构，那么std::is_move_constructible<T> 的计算结果为std::is_constructible<T,T&&>。如果T x(y) 是一些y 类型为U 的格式良好的表达式，则std::is_constructible<T,U> 有效。因此，要使std::is_move_constructible<T> 为真，T x(std::move(y)) 对于T 类型的y 必须是格式良好的。

引用标准：

The predicate condition for a template specialization is_constructible<T, Args...>
shall be satisfied if and only if the following variable definition would
be well-formed for some invented variable t:
    T t(create<Args>()...);

(...)

Template: template <class T> struct is_move_constructible;
Condition: For a referenceable type T, the same result as is_constructible<T, T&&>::value,
           otherwise false.
Precondition: T shall be a complete type, (possibly cv-qualified) void,
              or an array of unknown bound.

创建移动构造函数时

标准规定，仅当用户未声明复制构造函数、移动构造函数、赋值运算符或析构函数时，才会创建默认移动构造函数。

If the definition of a class X does not explicitly declare a move
constructor, one will be implicitly declared as defaulted if and only if
—X does not have a user-declared copy constructor,
—X does not have a user-declared copy assignment operator,
—X does not have a user-declared move assignment operator, and
—X does not have a user-declared destructor

但是，该标准允许您使用类右值初始化类左值引用。

Otherwise, the reference shall be an lvalue reference to a non-volatile const type
(i.e., cv1 shall be const), or the reference shall be an rvalue reference.
—If the initializer expression is an xvalue (but not a bit-field),
class prvalue, array prvalue or function lvalue and “cv1 T1”
is reference-compatible with “cv2 T2”, or (...)
then the reference is bound to the value of the initializer expression (...)
(or, in either case, to an appropriate base class subobject).

因此，如果您有一个复制构造函数T::T(S& other) 和一个T&& 类型的对象y，即对T 的右值引用，那么y 与T& 和T x(y) 的引用兼容是调用复制构造函数T::T(S&) 的有效表达式。

示例结构的作用

让我以您的第一个示例为例，删除 const 关键字，以避免声明引用需要比初始化程序更具 cv-qualified 十次。

struct S {
    S(S&) {}
};

让我们检查一下情况。由于存在用户定义的复制构造函数，因此没有隐式默认的移动构造函数。然而， 如果y 属于S 类型，则std::move(y) 属于S&& 类型，与S& 类型的引用兼容。因此S x(std::move(y)) 完全有效并调用复制构造函数S::S(const S&)。

第二个例子做了什么

struct T {
    T(T&) {}
    T(T&&) = delete;
};

同样，没有定义移动构造函数，因为有一个用户定义的复制构造函数和一个用户定义的移动构造函数。再次让y 为T 类型并考虑T x(std::move(y))。

但是，这一次表达式中可以容纳多个构造函数，因此执行了重载选择。仅尝试使用最专业的匹配构造函数，因此仅尝试调用移动构造函数T::T(T&&)。但是move构造函数被删除了，所以这是无效的。

结论

第一个结构 S 可以使用其复制构造函数来执行类似移动的表达式，因为它是该表达式最专用的构造函数。

第二个结构T 必须使用其显式声明的移动构造函数来执行类似移动的表达式，因为它是最专业的。然而，该构造函数被删除，移动构造表达式失败。

Answer 2

概述

移动构造类是具有移动构造函数的类，无论是隐式的还是用户声明的。或者为右值引用调用的复制构造函数。这些构造函数将被调用，除非该类具有已删除的移动构造函数。

因此：

struct T {
    T(const T&) {}
};

是一个移动构造类，因此你可以从各自的特征中得到真实的结果。

通过移动构造函数声明delete：

struct T {
    T(const T&) {}
    T(T&&) = delete;
};

使您的班级不可移动。

为什么会这样？

即使移动构造函数是删除，它也参与重载决议，就好像它不是删除一样。因此，首选直接匹配。

对于is_move_constructible 提供成员常量value true 变量定义T obj(T&&); 必须是良构的，如果删除T 的移动构造函数是良构的。因此，您得到的值等于 false。

现在至于如何在编译时发生这种情况。寻找std::declval 的魔力。 std::declval 用于某处是 trait 的实现，用于评估是否可以在不实际评估表达式的情况下移动类对象。

Answer 3

在我的测试中，答案似乎又是错误的。顺便说一句，我已经在 MSVC 17 和 GNU 6.3 上测试了以下代码：

struct T {
   T(const T&) {}
};
static_assert(is_move_constructible<T>(), "");
T a;
T b(move(a)); // compiler error here

根据这里[http://en.cppreference.com/w/cpp/language/move_constructor]，用户定义的复制构造函数将禁用隐式默认移动构造函数。代码无法编译。 但奇怪的是，元函数 is_move_constructible 说是，编译器抱怨错误发生在以下位置：T(b(move(a));

所以，在我看来，is_move_constructible 的实现存在一些缺陷。

---

我的错误，我忘记了这里的默认构造函数。