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

Function return values and rvalue references binding

本文关键字：引用 绑定 返回值 函数      更新时间：2023-10-16

我正在尝试理解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个构造函数中的任何一个吗？

@Angew的评论很可能是对的，复制/移动省略必须收费。

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

无论如何，如果您确实希望使用move构造函数，您可以使用std:：move()。

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

我用了好几次，因为一旦我们使用了move构造函数，构造函数中很容易出现一些技巧，我们确实希望被调用。

相关文章：