C++中物件的拷貝一般使用拷貝建構函式，從而物件的拷貝大多是隱式的，使用拷貝建構函式的隱式拷貝很方便，但是編譯器無法識別不必要的拷貝，雖然我們人類可以識別這些不必要的拷貝，比如在寫函式原型時，忘了加&，就會引發一個這樣的非必要拷貝。

如果這種情況很嚴重，我們可以禁用拷貝建構函式和賦值函式（宣告成private），然後再提供一個顯式拷貝函式，如：

class HeavyObject { HeavyObject(const HeavyObject&); HeavyObject& operator=(const HeavyObject&); public: void clone_to(HeavyObject& dest) const; // more... };

這種方法的確可以work，但看上去很不自然，比如：

HeavyObject x, y; // ... y.clone_to(x); // copy y to x // 其實我們更習慣這樣的表達： x = y.clone(); x = y.clone(); 在形式上很自然，但是實現卻不容易（在C++11中實現要容易點，讓 x 接受 && 即可）。

但的確可以實現：在 C++98 標準中，如果一個函式返回一個非 Primitive 的值物件，那麼這個物件不能被 bind 到非 const 引用上， 但是可以被修改！

我們可以利用標準的這個特點：

template<class T> struct Ref2 : T {}; template<class T> struct Ref1 { // 作為返回值物件，Ref1 可以被修改，但不能繫結到 Ref1& 上 T val; Ref1(const T& y) : val(y) {} operator Ref2<T>&() // this is a non-const member function { return static_cast<Ref2<T>&>(val); } }; class HeavyObject { friend struct Ref1<HeavyObject>; // for Ref1 accessing the private copy-cons HeavyObject(const HeavyObject&); HeavyObject& operator=(const HeavyObject&); public: HeavyObject() {} void swap(HeavyObject& y) { /*non-throw*/ } void operator=(Ref2<HeavyObject>& y) { // prohibit chained assign this->swap(y); // y is the object created by clone } Ref1<HeavyObject> clone() const { // copy-cons is private and has implementation // assume return value optimization is enabled return Ref1<HeavyObject>(*this); } // more... };

當執行 x = y.clone() 時，clone 呼叫Ref1(const HeavyObject& y) 建立一個臨時物件並按值

返回，該物件不能 bind 到 non-const reference，但可以被修改！

接下來該物件被傳給HeavyObject::operator=，但該 operator= 只接受 Ref2& 或 const HeavyObject&，於是，編譯器需要呼叫一個 user defined type conversion, 在這裡，就是Ref1::operator Ref2&，該函式是 non-const，可以被呼叫（記得前面說的：不能 bind 到 non-const reference，但可以被修改，從而就可以呼叫 non-const member function）……

於是，接下來的事情就很簡單了……