[問題] class的assignment運算子 (C++ Primer 4ed p501)

[kkroy (☆㊣↖煞氣ㄟ阿喂↘ξ★)]

我翻到C++ primer 4ed p501時，書上說class內有pointer最好要寫copy ctor

跟 assignment 運算子，但是我看到p501有一種解法是value-like class 的作法，

意即class內有pointer，且當class有copy行為或assign行為時，

class會另創一個空間給他的pointer指。

不過我覺得它p501的 operator= 覆寫很怪，節錄如下:

class HasPtr{
     public:
         HasPtr(const int& p, int i):ptr(new int(p)),val(i){} // ctor
         HasPtr(const HasPtr& orig):ptr(new int(*orig.ptr)), val(orig.val){}
         HasPtr& operator=(const HasPtr&);
         //// 以下略 ////
     private:
         int * ptr;
         int val;
}


HasPtr& HasPtr::operator=(const HasPtr& rhs)
{
        *ptr = *rhs.ptr;   //// 這行很怪

        /// 我覺得應該是下面這樣才對: ///
        /*
        delete ptr;
        ptr = new int(*rhs.ptr);
        */

        val = rhs.val;
        return *this;
}

這樣子在main裡面寫:

int* p1 = new int(3);
HasPtr Obj1(p1,10);
HasPtr Obj2 = Obj1;
////......../////

我的改寫才正確吧?

不然Obj2出生時它的ptr還沒有跟系統要到記憶體位址，

就直接assign Obj1給它當作初始化，感覺很奇怪。

不過我實際開VS 2008去測，書上寫的也確實沒問題，

只是當我執行 HasPtr Obj2 = Obj1; 這行時，

我覆寫的operartor= 這個函式完全沒有執行到，不過Obj2卻初始化成跟Obj1一樣。

怎麼會這樣子呢?


還請各位高手指導一下，謝謝！


--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.113.144.17
※ 編輯: kkroy           來自: 140.113.144.17       (11/23 19:55)
※ 編輯: kkroy           來自: 140.113.144.17       (11/23 19:56)
→ akasan:1. ptr 在 ctor 不就要空間了? 2. Compiler幫你最佳化了XD
推 loveme00835:因為HasPtr Obj2 = Obj1; 呼叫的是 copy ctor, 不是=
推 loveflames:推樓上
→ kkroy:對! 我發現式呼叫copy ctor了....但是為什麼呢?
→ loveflames:用=的話，會執行參數型態跟Obj1相同的ctor
→ kkroy:我以為是呼叫operator=
→ loveflames:=是用在賦值，你把賦值跟初始搞混了
→ loveflames:如果改成HasPtr Obj2; Obj2=Obj1; 結果就是你要的
→ loveflames:不過你要再加一個HasPtr()就是了
→ kkroy:噢噢 我瞭解了 所以HasPtr Obj2 = Obj1為初始化
→ kkroy:等意於 HasPtr Obj2(Obj1)，所以都是呼叫copy ctor
→ loveflames:不過兩者有微妙差異，例如explicit