为什么既没有使用clang声明也没有删除移动构造函数？

我不太确定你测试的foo是什么,但它肯定都是可移动的,可移动的.不可否认,这并没有说明移动构造函数或移动赋值是否可访问,只是来自右值的构造或赋值有效.这两个铛(铛版本3.5(主干196718))和海湾合作委员会(GCC版本4.9.0 20131031(实验)(GCC))同意这样的评价.这是我尝试的完整来源:

#include <iostream>
#include <type_traits>
#include <memory>

struct with_copy {
    with_copy() = default;
    with_copy(with_copy const&) {}
    with_copy& operator=(with_copy const&) { return *this; }
};

struct foo {
    with_copy c;
    std::unique_ptr<int> p;
};

int main()
{
    std::cout << "move constructible: "
              << std::is_move_constructible<foo>::value << '\n';
    std::cout << "move assignable: "
              << std::is_move_assignable<foo>::value << '\n';
    foo f0;
    foo f1 = std::move(f0);
    f0 = std::move(f1);
}

C++ 11,或者更确切地说是n3485,[class.copy]/9:

如果类的定义X没有显式声明一个移动构造函数,那么当且仅当一个类的定义被隐式声明为默认值时

X 没有用户声明的复制构造函数,

X 没有用户声明的复制赋值运算符,

X 没有用户声明的移动赋值运算符,

X 没有用户声明的析构函数,和

移动构造函数不会被隐式定义为已删除.

和/ 11:

隐式声明的复制/移动构造函数是inline public其类的成员.X如果X具有以下内容,则将类的默认复制/移动构造函数定义为已删除(8.4.3):

[...]

对于复制构造函数,rvalue引用类型的非静态数据成员,或

对于移动构造函数,一个非静态数据成员或直接或虚拟基类,其类型没有移动构造函数,并且不是简单的可复制.

由于with_copy是不平凡的拷贝,但foo将不动器构造器(它会被定义为删除,因此它不会被隐式声明).

C++ 1y,或者更确切地说是2013年12月12日的github repo commit e31867c0; 合并DR1402:

/ 9:

如果类的定义X没有显式声明一个移动构造函数,那么当且仅当一个类的定义被隐式声明为默认值时

X 没有用户声明的复制构造函数,

X 没有用户声明的复制赋值运算符,

X 没有用户声明的移动赋值运算符,和

X 没有用户声明的析构函数.

和/ 11:

隐式声明的复制/移动构造函数是inline public 其类的成员.X 如果X具有以下内容,则将类的默认复制/移动构造函数定义为已删除(8.4.3):

[...]

对于复制构造函数,rvalue引用类型的非静态数据成员.

超载解析(13.3,13.4)忽略定义为已删除的默认移动构造函数.

这里foo将有一个move-constructor.