移动语义和常量引用

Question

我花了很多时间为我的班级实现移动语义，但现在我正在处理使用它的函数。

好的，所以我有一个在堆上有很多数据的对象：CLargeOb，我为此实现了移动语义（构造函数和运算符 =）。理想情况下是这样使用的：

void OtherOb::Func(CLargeOb&& largeOb1, CLargeOb&& largeOb2)
{
    SomeOtherFunc(largeOb1); // use objects
    SomeOtherFunc(largeOb2); 
    m_largeOb1 = (CLargeOb&&)largeOb1; // save as members and trash the originals
    m_largeOb2 = (CLargeOb&&)largeOb2;
}

但是并不总是允许移动/丢弃对象，所以我添加了这两个函数：

void OtherOb::Func(const CLargeOb& largeOb1, CLargeOb&& largeOb2)
{
    SomeOtherFunc(largeOb1);
    SomeOtherFunc(largeOb2); 
    m_largeOb1 = largeOb1;
    m_largeOb2 = (CLargeOb&&)largeOb2;
}

void OtherOb::Func(CLargeOb&& largeOb1, const CLargeOb& largeOb2)
{
    SomeOtherFunc(largeOb1);
    SomeOtherFunc(largeOb2); 
    m_largeOb1 = (CLargeOb&&)largeOb1;
    m_largeOb2 = largeOb2;
}

虽然它有效，但您已经可以猜到，当我有一个将 3 个或更多这些对象作为参数的函数时，它会成为 *ss 的主要痛苦......难道没有聪明的方法来解决这个问题吗？模板还是“完美转发”？

Answer 1

与 C++03 中的情况一样，指导方针是：如果您想要一个副本，请在参数列表中创建它。

这让调用者处理你如何获取对象，不管怎样，你只是获取一个对象：

void OtherOb::Func(CLargeOb largeOb1, CLargeOb largeOb2) 
{ 
    SomeOtherFunc(largeOb1); // use objects 
    SomeOtherFunc(largeOb2);  
    m_largeOb1 = std::move(largeOb1); // save as members and trash the originals 
    m_largeOb2 = std::move(largeOb2); // (you should use std::move, not cast)
} 

调用者：

OtherOb o;

CLargeOb x, y;
const CLargeOb z;

o.Func(x, std::move(y)); // need x for later, done with y so move it
o.Func(std::move(x), z); // done with x, necessarily copy z

这与几个专门的重载一样有效。为什么？ 因为那些已经作为构造函数存在于类中。让编译器在调用点为你确定要调用哪个，它已经知道要做什么了。