Question

这是我第一次使用C ++ 0x rvalue引用进行实验，似乎有些奇怪的事情发生了。

在下面的代码示例中，工厂函数MakeWindow按值返回Window对象。调用者使用它来初始化Window对象。如果我理解正确，这应该调用移动构造函数。为了检测到这一点，我在那里抛出异常。最重要的是，我禁用了复制构造函数：

#include <iostream>


// Fake WinAPI
typedef void* HWND;
HWND CreateWindow() { return (void*)1; }
void DestroyWindow(HWND) { }
// End WinAPI


// C++ WinAPI Wrapper Library
class Window
{
public:
    Window(HWND inHandle) :
        mHandle(inHandle)
    {
        std::cout << "Window constructor. Handle: " << inHandle << std::endl;
    }

    Window(Window && rhs) :
        mHandle(rhs.mHandle)
    {
        std::cout << "Window move constructor. Handle: " << mHandle << std::endl;
        rhs.mHandle = 0;
        throw 1; // this is my "breakpoint"
    }

    ~Window()
    {
        std::cout << "Window destructor. Handle: " << mHandle << std::endl;
        if (mHandle)
        {
            DestroyWindow(mHandle);
        }
    }

private:
    Window(const Window&);
    Window& operator=(const Window&);

    HWND mHandle;
};


// Factory function
Window MakeWindow()
{
    return Window(CreateWindow());
}


int main()
{

    {
        Window window(MakeWindow());
    }
    std::cout << "Everything is OK." << std::endl;
    return 0;
}

然而，代码运行正常，不会抛出此异常。这是控制台输出：

Window constructor. Handle: 0x1
Window destructor. Handle: 0x1
Everything is OK.

如果我注释掉移动构造函数，则编译失败并出现以下错误：

MysteryMove.cpp: In function 'Window MakeWindow()':
MysteryMove.cpp:39:5: error: 'Window::Window(const Window&)' is private
MysteryMove.cpp:49:33: error: within this context
MysteryMove.cpp: In function 'int main()':
MysteryMove.cpp:39:5: error: 'Window::Window(const Window&)' is private
MysteryMove.cpp:57:35: error: within this context
make: *** [all] Error 1

似乎没有意义。谁能解释一下发生了什么？

更新

感谢@Philipp我了解到移动构造函数也可以省略。这在N3126 draft standard的§12.8/ 34和脚注124中有所描述。

还有人提到RVO仅允许用于非易失性对象。这意味着我可以绕过它编写像这样的工厂函数：

// Factory function
Window MakeWindow()
{
    volatile Window window(CreateWindow());
    return const_cast<Window&&>(window);
}

确实有效：

Window constructor. Handle: 0x1
Window move constructor. Handle: 0x1
terminate called after throwing an instance of 'int'
Abort trap

Answer 1

不是很明显吗？您的代码返回本地临时Window的副本：

Window MakeWindow()
{
    return Window(CreateWindow());
}

编译器实际上会优化此副本（通过返回值优化） - 这就是为什么你的移动构造函数从未被实际调用 - 但为了正确性，复制构造函数仍然必须存在。

移动构造函数似乎没有执行

更新

1 个答案: