實現賦值操作符要注意的問題

實現賦值操作符要注意的問題

* 賦值操作符實現的簡例
CFoo & CFoo::operator=(const CFoo & rhs)

{

  if (this == &rhs)

    return *this;              // 防止自賦值


  // assign to all data members

  // ...


  return *this;                // 返回自身引用

}


* 要防止自身賦值
* 必須對每個成員賦值
* 增加新資料成員時，要同時更新賦值
* 子類賦值函數必須調用父類的賦值函數

derived& derived::operator=(const derived& rhs)

{

  if (this == &rhs) return *this;


  base::operator=(rhs);    // 調用this->base::operator=

  // 子類成員賦值...


  return *this;

}

但如果基類賦值運算子是編譯器產生的，可這樣實現derived::operator=：

derived& derived::operator=(const derived& rhs)

{

  if (this == &rhs) return *this;


  static_cast<base&>(*this) = rhs;      // 對*this的base部分

                                        // 調用operator=

  // ...

  return *this;

}

* 如果不會用到賦值操作，就聲明一個私人賦值函數。

 

2010.12.14 補充: zy498420
指出成員賦值時須小心記憶體流失, 詳見下面的評論.