c++ - 是否可以在 C++03 中定义 'move-and-swap idiom' 等效项

Question

我绑定(bind)到C++03并且我有一个不可复制的对象(例如持有资源)。

我需要使用 move 和交换语义才能执行类似的操作并避免复制:

MyClass returnMyClass(void)
{
    MyClass temp;
    // fill 'temp' members with actual data
    return temp;
}

int main(void)
{
    MyClass test;
    test = returnMyClass(); // need to avoid copies
}

是否可以在 C++03 中满足所有这些要求？

与 this 的情况基本相同，但对于 C++03。

<小时/>

换句话说:

给定一个不可复制类MyClass，在C++03中是否有可能执行MyClass test = returnMyClass ();?

恐怕答案是不，但也许我错过了一些技巧。

Answer 1

move 语义并没有什么魔力。这只是另一种重载。右值引用确实很方便，但并不是必需的。

template <class T>
struct rref { 
    rref (T& t) : t(t) {}
    T& t; 
};

template<class T>
rref<T> move(const T& t) {
   return rref<T>(const_cast<T&>(t));
}

// you now can do a "move ctor"
class Foo {
   Foo(rref<Foo>) { ... }
};

现在您还需要 NRVO 来启动才能使其发挥作用。标准不保证它，但几乎每个实现都提供它。为了确保它确实发生，您可以声明但不定义复制因子。

Full working demo