在C++ 0x中传递/移动构造函数的参数

Question

如果我有一个带有n个参数的构造函数,那么任何参数都可以是rvalue和lvalue.是否可以通过为rvalues移动语义来支持这一点,而无需为每个可能的rvalue/lvalue组合编写2 ^ n个构造函数？

Answer 1

你按每个值取值,如下:

struct foo
{
    foo(std::string s, bar b, qux q) :
    mS(std::move(s)),
    mB(std::move(b)),
    mQ(std::move(q))
    {}

    std::string mS;
    bar mB;
    qux mQ;
};

参数初始化函数参数将是复制构造函数或移动构造函数.从那里,您只需将函数参数值移动到您的成员变量中.

请记住:复制和移动语义是由类提供的服务,而不是由您提供的服务.在C++ 0x中,您不再需要担心如何获取自己的数据"副本"; 只要求它,让课程做到:

foo f("temporary string is never copied", bar(), quz()); // no copies, only moves
foo ff(f.mS, f.mB, f.mQ); // copies needed, will copy
foo fff("another temp", f.mB, f.mQ); // move string, copy others

注意:您的构造函数只接受值,这些值将弄清楚如何构造自己.当然,从那里开始,您可以将它们移动到您想要的位置.

这无处不在.有一个需要副本的功能吗？在参数列表中进行:

void mutates_copy(std::string s)
{
    s[0] = 'A'; // modify copy
}

mutates_copy("no copies, only moves!");

std::string myValue = "don't modify me";
mutates_copy(myValue); // makes copy as needed
mutates_copy(std::move(myValue)); // move it, i'm done with it

在C++ 03中,你可以很好地模拟它,但它并不常见(根据我的经验):

struct foo
{
    foo(std::string s, bar b, qux q)
    // have to pay for default construction
    {
        using std::swap; // swaps should be cheap in any sane program

        swap(s, mS); // this is effectively what
        swap(b, mB); // move-constructors do now,
        swap(q, mQ); // so a reasonable emulation
    }

    std::string mS;
    bar mB;
    qux mQ;
};