Question

我正在尝试理解移动语义和C ++中的完美转发为此，我做了下一个简单的程序：

#include <iostream>

struct Test
{
    Test(){ std::cout << "Test()" << std::endl; }
    Test(Test&&){ std::cout << "Test(Test&&)" << std::endl; }
    Test(const Test&){ std::cout << "Test(const Test&)" << std::endl; }

    ~Test(){ std::cout << "~Test()" << std::endl; }
};

Test MakeTest()
{
    Test t;//output Test()

    return Test(t);//output Test(const Test&)
}//output ~Test

int main()
{
    std::cout << "------------------------------" << std::endl;
    Test t0(MakeTest()); //How is t0 constructed!??
    std::cout << "------------------------------" << std::endl;
    Test t1(std::forward<Test>(MakeTest())); //output Test(Test&&) \n ~Test
    std::cout << "------------------------------" << std::endl;

    return 0;
}//output ~Test \n ~Test

程序有以下输出（VS2013，GCC 4.8 - 调试mdoe，关闭优化）：

------------------------------
Test()
Test(const Test&)
~Test()
------------------------------
Test()
Test(const Test&)
~Test()
Test(Test&&)
~Test()
------------------------------
~Test()
~Test()

我在这里不明白的是如何构建t0。我希望使用Test(Test&&)构建，因为MakeTest()的返回值是未命名的临时值。

你能解释为什么它不会调用我定义的3个构造函数中的任何一个吗？

Answer 1

@Angew的评论很可能是正确的，复制/移动elision必须收费。

另一点可能是，即使Test（t）是临时的，它仍然是一个值，因此复制构造函数更接近匹配。

无论如何，如果你想确保使用移动构造函数，你可以使用std :: move（）。

Test MakeTest()
{
    Test t;
    return std::move(Test(t));
}

我多次使用它，因为一旦我们使用移动构造函数，构造函数中很容易出现问题，我们确实希望被调用。

函数返回值和右值引用绑定

1 个答案: