Lab 13-2: Template Method
| 實習目標 |
練習運用 Template Method 這種設計樣板 (Design Pattern)
達成軟體設計人員適當的分工 (模組適當的分工)
練習運用繼承架構來發揮多型的功能 (同時實現 Open-Closed Principle) |
|---|---|
| 簡介 |
看起來語法簡單的繼承，
對於很多初學者其實都是夢靨，
根本不知道怎樣用才能發揮它的最大功能，
還常常會做出不適當的的繼承 (Improper inheritance,
可以用 Liskov Substitution Principle,
local copy 來檢驗)
實際上繼承與多型可以使你的設計非常簡練， 有很好的擴充性， 過去十多年來有許多經典的設計， 我們通稱為 設計樣板， 熟悉這些東西以後， 你會有想像不到的軟體設計功力， 這裡我們先看一下這一個常用的 Template Method 設計樣板 這個 Template Method 樣板其實也可以說是現在很多 Framework 設計概念的縮小版， 我們在前面 Mandelbrot 實習裡操作過 MFC 的 Framework， 你看到我可以在不到一分鐘的時間裡就製作完一個標準的視窗程式介面， 擁有選單、工具列、狀態列、開關檔案、列印、預覽列印、繪圖與重繪等等功能， 這些功能要你憑藉 Windows API 去完成的話， 個個都需要許多的程式碼， 但是 Framework 裡這些功能事先都幫你做好了， 你只需要把你設計的功能填進去就可以迅速得到你想要的應用程式。 你發現你和 Microsoft 熟悉視窗界面的工程師分工， 你負責你自己的程式部份， 他們負責視窗界面繁瑣的細節。 在 Mandelbrot 那個範例裡， 我也把許多畫圖的功能都先做好， 你只需要修改 Mandelbrot 類別， 實作它的幾個成員函式就夠了， 你不用太過操心這些函式實際上是怎樣運用的。 我和你之間有適當的分工， 不過在那個實習裡， 分工的方法是很危險的， 我把 Mandelbrot 類別的程式檔案直接給你修改， 如果你改錯了， 甚至把我原先寫好的繪圖功能都改掉了， 我還需要幫你來偵錯... 這是很痛苦的， 在分工的時候是會導致兩個人的責任不夠清楚， 很容易互相懷疑指責... 所以現在有一個新的問題： 能不能不直接修改我寫好的 Mandelbrot 類別， 我根本不把 Mandelbrot.cpp 給你， 而達到同樣的功能呢? 答案就是繼承和多型 Template Method 基本上就是達到這樣的功能的一個設計樣板， 它的精神是 "在父類別裡設計裡處理大綱和處理方法， 在子類別裡提供具體內容"， 參考下圖， 在父類別 AbstractClass 中的 templateMethod 成員函式中描述完整的演算法則， 在子類別中不需要再敘述演算法則。 
請注意一個抽象類別沒有辦法用來建立物件個體， 那麼它究竟有什麼用呢? 這個實習的 Template Method 樣板讓你看到一個抽象類別可以決定方法的名稱 (method1, method2, method3)， 可以決定這些方法的使用方法 (templateMethod)， 基本上可以決定每一個方法的 "責任"。 |
| 步驟一 |
請參考下面的這個類別定義
class DataGroup
{
public:
DataGroup(int numberOfNames, char *names[],
int sizeOfArray,
int numberOfData, double dataArray[]);
virtual ~DataGroup();
void serialize(bool bOutput=true);
private:
virtual void openStream(bool bOutput) = 0;
virtual void closeStream(bool bOutput) = 0;
virtual void writeByte(unsigned char data) = 0;
char **m_names;
int m_numberOfNames;
double *m_dataArray;
int m_dataArraySize;
int m_numberOfData;
};
DataGroup::DataGroup(int numberOfNames, char *names[],
int sizeOfArray,
int numberOfData, double dataArray[])
: m_numberOfNames(numberOfNames),
m_dataArraySize(sizeOfArray),
m_numberOfData(numberOfData)
{
int i, len;
m_names = new char*[numberOfNames];
for (i=0; i<numberOfNames; i++)
{
len = strlen(names[i]);
m_names[i] = new char[len+1];
strcpy(m_names[i], names[i]);
}
m_dataArray = new double[m_dataArraySize];
for (i=0; i<numberOfData; i++)
m_dataArray[i] = dataArray[i];
}
DataGroup::~DataGroup()
{
int i;
for (i=0; i<m_numberOfNames; i++)
delete[] m_names[i];
delete[] m_names;
delete[] m_dataArray;
}
上面這個 DataGroup 類別的資料成員設計看起來有一點點複雜，
相信設計這個類別的人才會最清楚哪一個指標所代表的資料結構是什麼樣的東西，
其中 serialize() 界面代表要把這個類別的物件存到永續的媒體上，
例如：磁碟檔案、資料庫、報表紙、磁帶、遠端資料伺服主機等等，
和這些實際儲存資料的系統打交道有時是很麻煩的，
設計這個類別的開發人員主要專注於這些資料對於應用系統的支援，
也許並不清楚該如何把資料存放到實際儲存資料的系統上，
他希望把這些事情留給熟悉這些功能的同事去設計，
但是他的同事又不希望了解這個類別內資料的設計細節，
(當然這樣才能夠維持他以後更改資料設計的彈性)，
該如何設計呢?
在設計之前，請先開啟一個專案， 把上述的程式碼複製到 DataGroup.h 和 DataGroup.cpp 裡， 單獨編譯 DataGroup.cpp 確定語法沒有錯誤。 |
| 步驟二 |
請看 DataGroup 類別的 serialize() 函式設計：
void DataGroup::serialize(bool bOutput)
{
int i, j, len;
unsigned char *ptr;
openStream(bOutput);
if (bOutput) // output
{
ptr = (unsigned char *) &m_numberOfNames;
for (i=0; i<sizeof(int); i++)
writeByte(ptr[i]);
for (i=0; i<m_numberOfNames; i++)
{
len = strlen(m_names[i]);
ptr = (unsigned char *) &len;
for (j=0; j<sizeof(int); j++)
writeByte(ptr[j]);
for (j=0; j<len; j++)
writeByte(m_names[i][j]);
}
ptr = (unsigned char *) &m_numberOfData;
for (i=0; i<sizeof(int); i++)
writeByte(ptr[i]);
ptr = (unsigned char *) &m_dataArraySize;
for (i=0; i<sizeof(int); i++)
writeByte(ptr[i]);
for (i=0; i<m_numberOfData; i++)
{
ptr = (unsigned char *) &m_dataArray[i];
for (j=0; j<sizeof(double); j++)
writeByte(ptr[j]);
}
}
else // input
{
freeMemory();
ptr = (unsigned char *) &m_numberOfNames;
for (i=0; i<sizeof(int); i++)
ptr[i] = readByte();
m_names = new char*[m_numberOfNames];
for (i=0; i<m_numberOfNames; i++)
{
ptr = (unsigned char *) &len;
for (j=0; j<sizeof(int); j++)
ptr[j] = readByte();
m_names[i] = new char[len+1];
for (j=0; j<len; j++)
m_names[i][j] = readByte();
m_names[i][len] = 0;
}
...
}
closeStream(bOutput);
}
這個函式裏面大部分功能都和 DataGroup 自己的資料結構的細節有關，
因此理應由撰寫 DataGroup 的程式設計者來寫，
但是你看到他在實際輸出時運用一個還沒有定義的函式
writeByte(unsigned char) 來實作，
同時在初始化輸出裝置時運用 openStream(bool) 來實作，
在關閉輸出裝置時運用 closeStream(bool) 來實作。
這裡就是運用多型的機制：
實際上執行到的 openStream(), closeStream(), writeByte()
函式是在衍生類別裡才會定義的，
我們在上課時說過多型在運作時需要透過多型指標或是參考來運作，
this 指標就是這裡的多型指標。
請完成 serialize() 函式由資料儲存媒介輸入的部份， 你需要定義一個純粹虛擬函式 unsigned char readByte()， 藉由呼叫這個函式來完成輸入的功能， openStream() 和 closeStream() 裡面要根據 bOutput 參數來開啟或是關閉輸出/輸入的串流，同時輸入比輸出麻煩一點點， 你需要把物件裏面原先的記憶體刪除 (你可以把上面解構元裡的程式寫到一個輔助函式 freeMemory() 中， 然後在解構元還有這個 readByte() 函式裡呼叫)， 另外你一定要要依照建構元裡配置資料的方式配置記憶體。 |
| 步驟三 |
接下來請看在主程式裡如何測試這個 DataGroup 類別的序列化輸出功能
void main()
{
char *names[] = {"compressor", "o-ring"};
double darray[] = {1.1, 2.2, 3.3};
ScreenDataGroup scrobj(2, names, 5, 3, darray);
TextFileDataGroup tfobj(2, names, 5, 3, darray, "DataGroup.txt");
BinaryFileDataGroup bfobj(2, names, 5, 3, darray, "DataGroup.dat");
scrobj.serialize();
tfobj.serialize();
bfobj.serialize();
}
由於 DataGroup 裡有純粹虛擬函式 (pure virtual function)，
所以沒有辦法直接產生物件，
當然因為沒有定義實際輸出的裝置，
所以理所當然地沒有辦法運作，
所以上面有用到三個新的衍生類別 ScreenDataGroup, TextFileDataGroup,
BinaryFileDataGroup 這三個類別分別把資料序列化 (serialize)
到鍵盤螢幕、文字檔案、和二進位格式的檔案中，
接下來你就要負責設計這三個類別。
請依照上面的範例製作好 main() 函式， 並且加入測試由儲存媒體讀入物件的程式片段， 例如：
TextFileDataGroup tfobj2("DataGroup.txt");
tfobj2.serialize(false); // 由 DataGroup.txt 檔案中重建 tfobj2 物件
...
因為 DataGroup.txt 是前面物件 tfobj 的輸出，所以重建回來的 tfobj2 應該
和前面的 tfobj 擁有一模一樣的資料
|
| 步驟四 |
接下來說明一下 ScreenDataGroup 這個類別裡輸出的部份
#include <DataGroup.h>
class ScreenDataGroup : public DataGroup
{
public:
ScreenDataGroup(int numberOfNames, char *names[],
int sizeOfArray,
int numberOfData, double dataArray[])
: DataGroup(numberOfNames, names, sizeOfArray,
numberOfData, dataArray) {}
private:
void openStream(bool bOutput);
void closeStream(bool bOutput);
void writeByte(unsigned char data);
};
void ScreenDataGroup::openStream(bool)
{
}
void ScreenDataGroup::closeStream(bool)
{
}
void ScreenDataGroup::writeByte(unsigned char data)
{
static int nBytes=0;
int lownibble = data & 0x0F;
int highnibble = data >> 4;
cout << setw(1) << hex << highnibble;
cout << setw(1) << hex << lownibble << ' ';
nBytes = ++nBytes % 16;
if (nBytes == 0)
cout << endl;
}
請新增加一個類別檔案 ScreenDataGroup.cpp 和 ScreenDataGroup.h, 放進上述的程式碼， 你應該可以編譯同時測試一下螢幕輸出的功能了， 用心體會一下運用繼承和多型來完成的程式設計分工機制!! 範例執行程式， 這個程式執行後在螢幕上會顯示資料的 16 進位內容， 還會產生兩個檔案：DataGroup.txt 裡是文字格式的 16 進位內容， DataGroup.dat 裡是二進位格式的資料內容 請嘗試撰寫鍵盤輸入的部份， 也就是實作 unsigned char readByte() 函式，並且做一個 ScreenDataGroup(char *filename) 的建構元和一個 DataGroup() 的建構元，修改 serialize() 函式，根據 if (bOutput) // output 後面大括號裡輸出的順序，撰寫 else // input 後面大括號裡輸入的程式碼，把這一段程式中 writeByte 改成 readByte，適當的地方配置記憶體 一開始會以為測試這部份的程式碼的時候會很痛苦， 因為你需要鍵入許多的 16 進位資料， 不過測試的時候因為我們先輸出到螢幕上，所以你可以拷貝螢幕上出現的資料做為輸入來測試， 另外這個函式的內容在下一步驟中也會用到， 由檔案裡直接讀入這個物件的話就不用擔心鍵入許多的 16 進位資料了。 |
| 步驟五 |
請完成文字檔案輸出入裝置的 TextFileDataGroup 類別，
請注意在建構這個類別物件的時後，
建構元的參數比 DataGroup
物件建構時多一個字元陣列，
內容是序列化的檔案名稱，
你可以運用這個名稱去初始化輸出或是輸入檔案串流物件，你可以運用 fstream 定義一個串流物件成員，如此可以根據 bOutput 決定到底是輸入的檔案串流還是輸出的檔案串流。
另外由文字檔案輸入 DataGroup 物件時， TextFileDataGroup 物件建構時只需要給一個檔案名稱，這時可以有兩種設計方法，一種是直接在建構元裡面呼叫 serialize(false) 會透過 openStream 初始化輸入串流物件， 並且完成整個序列化的動作；另外一種則是在建構元裡只是把檔案名稱記下來，由客戶端程式決定呼叫 serialize(false) 的時機。 有同學測試發現 VC2005 中 setw(1) 似乎是輸出檔案串流 ofstream 不支援的方法， 你不能用，需要把它刪除， 不過輸出的結果還是對的就是了... 為了比對由串流建構起來的物件裡的資料是否和原來的物件一模一樣， 你可以在 DataGroup 類別裡增加一個 bool operator==(DataGroup &) 的成員，例如：
bool DataGroup::operator==(DataGroup &rhs)
{
int i;
if ((m_numberOfNames != rhs.m_numberOfNames) ||
(m_dataArraySize != rhs.m_dataArraySize) ||
(m_numberOfData != rhs.m_numberOfData))
return false;
for (i=0; i<m_numberOfNames; i++)
if (strcmp(m_names[i], rhs.m_names[i]) != 0)
return false;
for (i=0; i<m_numberOfData; i++)
if (m_dataArray[i] != rhs.m_dataArray[i])
return false;
return true;
}
請注意上面在比較 m_dataArray[i] 和 rhs.m_dataArray[i] 時不需要有百分誤差範圍的概念, 而只是比較兩個 double 數字裡每一個 bit 都完全一樣!! 然後在 main() 裡面用如下的方法測試
char *name[] = {"compressor", "o-ring"};
double darray[] = {1.1, 2.2, 3.3};
TextFileDataGroup tfobj(2, name, 5, 3, darray, "DataGroup.txt");
tfobj.serialize();
TextFileDataGroup tfobj2("DataGroup.txt");
tfobj2.serialize(false);
assert(tfobj2 == tfobj);
|
| 步驟六 | 請完成二進位格式檔案輸出入裝置的 BinaryFileDataGroup 類別， 在建構這個類別物件的時後建構元參數也是比 DataGroup 物件建構時多一個字元陣列， 內容是序列化的檔案名稱， 其它設計部份和 TextFileDataGroup 類似， 但是 readByte() 和 writeByte() 函式裡需要運用 istream::read() 和 ostream::write() 來實作。 |
| 步驟七 | 請助教檢查後, 將所完成的 project (去掉 debug/ 資料匣下的所有內容) 壓縮起來, 選擇 Lab13-2 上傳, 後面的實習課程可能需要使用這裡所完成的程式。 |
| 後續 |
請一定要仔細思考這樣子架構下分工的好處， 在這個範例裡撰寫衍生類別的工程師完全不需要知道 DataGroup 裡到底有什麼資料，到底是用什麼存放格式， 撰寫 DataGroup 類別的工程師也可以專注於 DataGroup 內部資料的設計， 不要去煩惱怎樣儲存的細節問題， 尤其是當資料需要儲存到遠端的資料伺服主機上， 或是需要儲存到容錯的硬碟陣列中， 這些狀況下更是有必要分工合作， 每個人負責一部份即可。 Open-Closed Principle: 這個例子中 DataGroup 抽象類別就滿足 Open for extension, closed for modification 的原則, 任何新擴充的功能只需要增加一個繼承 DataGroup 的類別就可以了, 完全不需要修改 DataGroup 以及基於 DataGroup 界面設計的其它應用程式碼 |
