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

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(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

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

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