Lab 4-2: New/delete, function overloading,
and reference test

1. 練習使用 new / delete 配置記憶體

2. 練習撰寫 overloaded global function

3. 練習撰寫 overloaded member function

4. 練習撰寫 overloaded operators, ex. operator<<, operator>>

5. 練習使用參考 (reference) 變數

    void add(int, int);

    void add(int);

    void add(float, float);

    int x, y;

    float r, s;

    add(x);

    add(x, y);

    add(10, y);

    add(r, s);

    add(r, 10);

請下載你上一次實習時的程式檔案, 產生一個新的 專案, 把 complex.h 和 complex.cpp 拷貝進來, 並且加入 專案 中

我們先寫一小段應用程式, 請使用 new[] 配置一個有 10 個元素的 Complex 物件陣列, 寫一個迴圈將其中資料設為 (1+i), (2+2i), (3+3i), ..., (10+10i), 再寫一個迴圈將它們都加起來, 將加總結果用 print() 成員函式列印出來, 最後用 delete[] 刪除所配置的物件陣列以及它們所佔用的記憶體

    Complex x;

    .... // 計算或是設定 x 的內容

    Complex y;

    y.setValue(x); // 由 x 中拷貝資料到 y 中 (把 y 物件的內容設定為 x 物件的內容)

    assert(x.equal(y, 1e-10));

請注意在這裡我們已經開始使用方便的參考變數來取代指標變數了

    void Complex::print(ostream &out);

    ofstream outfile("outputfile.txt");
    Complex x;
    ...
    x.print(outfile);

但是有的時候也希望可以直接列印到螢幕去, 到字串裡, 甚至到網路遠端的裝置去, 例如

    x.print(cout)

    ostream &ostream::operator<<(int);

    int x;

    cout << x;

對 C++ 編譯器來說 cout << x; 相當於是 cout.operator<<(x); 的函式呼叫, 你可以用 debugger 來確定 
(把中斷點設在 cout << x; 然後逐步執行到函式裡, 你就可以看到執行到哪一個函式)

    Complex x, y;

    x.setValue(3, 4); y.setValue(5, 6);

    cout << '(' << x << ") * (" << y << ')';     

    // 在螢幕上列印出 (3 + 4 i) * (5 + 6 i)

  ostream &operator<<(ostream &os, Complex &rhs)
    {

        ...

        return os;

    }

新增上述程式之後, 你可以編譯一下, 然後立刻就發現了一個大問題, 編譯器不允許你在 operator<<() 函式中直接存取 Complex 類別內的私有資料成員, 這是適當封裝過的類別應該有的特性的特性: 所有的資料成員只有這個類別的成員函式才能夠直接存取, 要克服這個問題, 一般編譯器允許你用四種方法:

1. 把 Complex::m_real 和 Complex::m_imaginary 兩個資料成員改成 public 的。
   當然不建議用這種方法, 這樣子做不就沒有封裝了嗎? 物件內部的資料變成可以被任意程式修改...
   
   
2. 替 Complex 類別增加兩個 accessor 函式, Complex::getReal() 和 Complex::getImaginary() 函式裡就直接回傳 m_real 和 m_imaginary 的數值
   使用這個方法以後, 基本上別的模組只能夠看到 m_real 和 m_imaginary 的資料,但是不能直接修改, 甚至你也還保留了一些修改實作方法的彈性, 如果有一天你希望 m_real 不是單純一個 double 型態變數, 而是由一個函式由極座標運算出來, 你還是可以自由的修改而不會影響到客戶端程式; 如果有其他選擇的話, 還是不太建議這種用法, 因為我們說出現 accessor 和 mutator 通常代表界面設計並不完整
   
   
3. 將 ostream & ::operator<<(ostream &os, Complex &rhs) 設為 Complex 類別的夥伴函式。也就是在 Complex 的類別宣告中加上下面這一列
   friend ostream &operator<<(ostream &os, Complex &rhs);
   表示 Complex 類別特別允許這個函式存取它的私有的內容, 如此就可以完成上面的功能了 (friend 的語法只在 C++ 中有, Java 中就沒有, friend 語法從某種角度來看是破壞封裝的, 如果有其它選擇, 不建議用此種方法)
   
   
4. 呼叫上一個步驟所作的 Complex::print(ostream &) 函式來完成這個功能, 並且在 main() 函式中測試一下, 注意這個函式應該要放在 Complex.cpp 中, 函式的原型應該要放在 Complex.h 中

完成上面的函式之後, 你也可以將一個複數類別的物件以指定格式寫到檔案裡面,例如:

    Complex x;

    x.setValue(3, 4);

    ofstream file("outputfile.txt");

    file << x; // 在檔案裡寫入 3 + 4 i

    cout << "Hello"; 和

    cout.operator<<("Hello");

所呼叫的函式是不一樣的, 所以它們的表現是不一樣的, 你可以用 debugger 來驗證這件事, 事實上 cout << "Hello"; 是呼叫 operator<<(cout, "Hello") 函式來完成的, 而且根本就不存在 ostream::operator<<(char *) 這樣的成員函式, 同樣地 cout << 'h'; 是呼叫 operator<<(cout, 'h');, 根本不存在 ostream::operator<<(char) 這樣的成員函式, 如果你嘗試用 cout.operator<<('h'); 呼叫, 程式會執行, 但是你會發現其實呼叫到的成員函式是 ostream::operator<<(int)。

接下來你也可以嘗試擴充 iostream 中的 extraction operator 函式

 istream &operator>>(istream &is, Complex &rhs)
{
    ... 
    return is;
}

    ostream *operator<<(ostream *os, Complex src)
    {

        ... // 請列印 [[a + b i]] 以便和另外一個函式有所區別

        return os;

    }

    Complex x;

    cout << x;

    Complex x;

    cout << x << endl;

    cout << x << y << endl;

    operator<<(operator<<(cout, x), y).operator<<(endl);

等效的敘述來測試, 程式請保留起來, demo 給助教看, 做了這麼些練習後, 應該發覺 參考變數 (reference) 有很多好處了吧!!

Hint: operator<<(operator<<(&cout, x), y)->operator<<endl);