隐式与显式删除的复制构造函数

Question

我最近在我的C ++ 11代码中遇到了一些奇怪的行为。

我有一个班级，只能移动：

class only_move
{
public:

    only_move() :  value(0) {}

    only_move(int value) : value(value) {}

    only_move(const only_move&) = delete;
    only_move& operator=(const only_move&) = delete;

    only_move(only_move&&) = default;
    only_move& operator=(only_move&&) = default;

    int value;
};

我有另一个类，其中包含一个only_move对象：

class has_only_move_member
{
public:

    has_only_move_member() = delete;

    has_only_move_member(only_move&& value) : member(std::move(value)) {}

    only_move member;
};

如果我的理解是正确的，这意味着has_only_move_member无法复制，因为only_move成员不能被复制。 这意味着隐式删除has_only_move_member(const has_only_move_member&) 。 我们来看看：

has_only_move_member object(only_move(5));
has_only_move_member copy_of_object(object);

正如所料，它打印出：

error: use of deleted function ‘has_only_move_member::has_only_move_member(const has_only_move_member&)’
note: ‘has_only_move_member::has_only_move_member(const has_only_move_member&)’ is implicitly deleted because the default definition would be ill-formed:
class has_only_move_member

好的，所以我继续将has_only_move_member实例放在std::map 。 由于他们没有复制构造函数，我已将它们移入其中：

has_only_move_member object(only_move(5));

std::map<int, has_only_move_member> data;
data.emplace(5, std::move(object));

到现在为止还挺好。 这就像一个魅力。

但我有个主意。 如何更明确地显式删除has_only_move_member的复制构造has_only_move_member 。 所以我写进了班级has_only_move_member ：

has_only_move_member(const has_only_move_member&) = delete;

之后，从上面的相同代码，我将对象移动到地图中给了我一个错误：

/usr/include/c++/4.8/bits/stl_pair.h:134:45: error: use of deleted function ‘has_only_move_member::has_only_move_member(const has_only_move_member&)’

是的当然它已被删除，但为什么隐式和显式删除之间存在这样的差距？

我在使用libcd ++上的g ++ 4.8.2和clang 3.4-rc1以及使用libc ++的Mac OS X 10.9上最近的apple-clang-llvm 4.0获得相同的行为

Answer 1

我已在评论中说过这一点，但由于这是一个正确答案，我将其作为一个重新发布：

您添加了一个自定义构造函数（即使它是已删除的构造函数）。 因此编译器不会自动生成移动构造函数。 编译器然后回退到复制哪个（按照你的要求）它显然不能做。