我花了很多时间为我的类实现移动语义,但现在我正在处理使用它的函数。
好的,所以我有这个对象在堆上有很多数据:CLargeOb
我实现了移动语义(constructor和operator =)。它理想地使用如下:
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中的一个主要痛苦...是不是有一个聪明的方法来解决这个问题模板还是“完美转发”?
答案 0 :(得分: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
这与几个专门的重载一样有效。为什么? 因为那些已经存在于类中的构造函数。让编译器为您确定在呼叫站点调用哪个,它已经知道该怎么做。