7

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

好的，所以我有这个对象，它在堆上有很多数据：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 的主要痛苦......没有使用模板解决这个问题的聪明方法吗？ “完美转发”？

4

1 回答 1

15

与 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

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

于 2012-08-03T21:27:35.660 回答