c++ - 不可移动类的对象不可抛出？

当使用 Clang 3.9.1 或 GCC 6.3.0 编译时，抛出可移动但不可复制的对象似乎工作正常:

struct MovableNonCopyable {
    MovableNonCopyable();
    ~MovableNonCopyable();
    MovableNonCopyable(MovableNonCopyable &&);
    MovableNonCopyable(MovableNonCopyable const &) = delete;
    MovableNonCopyable & operator=(MovableNonCopyable &&);
    MovableNonCopyable & operator=(MovableNonCopyable const &) = delete;
};

void f() { throw MovableNonCopyable(); }

但是像这样抛出可复制但不可移动的对象:

struct CopyableNonMovable {
    CopyableNonMovable();
    ~CopyableNonMovable();
    CopyableNonMovable(CopyableNonMovable &&) = delete;
    CopyableNonMovable(CopyableNonMovable const &);
    CopyableNonMovable & operator=(CopyableNonMovable &&) = delete;
    CopyableNonMovable & operator=(CopyableNonMovable const &);
};

void g() { throw CopyableNonMovable(); }

而是导致编译错误，如:

test.cpp: In function 'void g()':
test.cpp:21:41: error: use of deleted function 'CopyableNonMovable::CopyableNonMovable(CopyableNonMovable&&)'
    void g() { throw CopyableNonMovable(); }
                                        ^
test.cpp:15:9: note: declared here
        CopyableNonMovable(CopyableNonMovable &&) = delete;
        ^~~~~~~~~~~~~~~~~~

为什么是这样？根据 [except.throw#5] 这应该是相反的，即复制构造函数应该是可访问的。

最佳答案

在这里，您明确要求编译器阻止从右值对象进行构造。

当您抛出临时 CopyableNonMovable() 对象时，编译器会为其必须抛出的“拷贝”寻找适当的构造函数。最适合的声明构造函数是移动构造函数，因为右值与右值引用绑定(bind)得最好。它查看声明，认为它已被删除，因此不得不拒绝它。

最好的解决方案是简单地不声明移动构造函数，这将使其隐式不生成，因为声明了复制构造函数。在这种情况下，右值将最好地绑定(bind)到对 const CopyableNonMoveable 的引用

关于c++ - 不可移动类的对象不可抛出？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/41940411/