C 類設計思考（三）類方法與實現函式

實現函式是指單獨完成某種具體任務的函式，如向量的點積、差積，矩陣的行列式計算等。實現函式必須遵守以下原則:

1、單一職責原則: 函式只能擁有一種功能,不能包含多個功能，但可呼叫其它實現函式完成特定任務。常見的一種錯誤例項是對容器物件進行統計的實現,其**既包含了對容器子物件的遍歷,又包含對單個子物件的統計處理.

2、標準資料型別原則: 實現函式的引數型別必須為語言內建的標準資料型別,不可以為使用者自定義的資料型別.

3、外部零依賴原則: 實現函式不得依賴於任何外部變數、全域性變數、類成員變數以及其它全域性性函式等,它僅能依賴傳入的函式引數;函式的實現**如果需要處理錯誤,可在引數列表中指定錯誤處理函式指標。

4、契約式實現原則: 函式實現的入口必須提供前條件驗證,包括函式引數檢查,函式實現的出口必須提供後條件驗證。如果函式有輸出引數，在前條件驗證通過後，初始化所有輸出引數為相應的預設值（這樣可剔除結果的任意性）;

排程函式是指使用實現函式或者其它排程函式完成特定任務的函式，排程函式的主要目的是提供實現函式所需要的執行場景。排程函式必須遵守以下原則:

1、零實現原則: 排程函式不允許包含任何實現,它僅能使用實現函式或者其它排程函式來完成特定任務;

2、層次排程原則: 排程函式只允許使用比自身低一層次的其它排程函式，而不允許跨層次排程.即國王排程城主,城主排程騎士,國王卻不可排程騎士。

c++類設計時首先需要遵守的原則是類方法及其實現的分離,即排程的不實現，實現的不排程(類的方法已經繫結到特定的類上，並依賴於特定的物件狀態，其**重用度必然較對應的實現函式小)。類方法屬於排程函式，同樣必須遵守排程函式的原則，類方法通過以物件狀態為場景並調應相應的實現函式來完成特定功能。

例項**:

template

inline const t vector2dotimpl(const t x0,const t y0,const t x1,const t y1)

return x0 * x1 + y0 * y1;

template

class cvector2

t dot(const cvector2& rhs) const

return vector2dotimpl(m_x,m_y,rhs.m_x,rhs.m_y);

t m_x;

t m_y;

胡樂秋2010/8/9

C 類設計思考（三） 類方法與實現函式