Yukuan's Blog: Assertion

Assertion 的使用目的，就是要防止客戶對程式庫的誤用。以 Design by Contract 的原則再加上 OOP 的術語，簡單說來：就是要確保物件在執行操作或行為後還要維持其內部狀態的正確。

假設描述物件這個行為的程式本身正確無誤，而作業系統也沒來找碴，那使物件狀態脫軌的必定來自物件使用者傳入錯誤的引數。

就如同程式行為發生“例外”一樣，程式庫的使用者知道如何偵測錯誤的物件狀態，但卻不知如何處理...

傳統 C 語言的 assert 做法，就是一偵測到要確認的條件不成立了，就立刻終止整個程式的執行，並列印一些偵錯訊息出來。

但是，在這個愈來愈趨向動態的程式世界。有時連客戶都無法確保傳入的引數是正確的，原因可能不是客戶不夠小心，而是在動態的世界裡，這是無法避免的。

這時，在 C++ 中可行的個解法，就是丟出“例外”。被丟出的例外可以被客戶捕捉，並作一些處理措施。萬一客戶不處理，才將程式終結掉。

我這裡使用的，就是裹著 Assertion 的例外，並利用 template 來讓客戶決定要丟出的例外種類：

From: "Jiang Yu-Kwan"
Sent: Monday, June 18, 2001 4:40 PM
Subject: Re: Fw: JavaOne特別報導

我再看了一下，它支援的是 generic programming，而 template 只是在C++下的實作方式。

以 JAVA 設計的哲學，它可能把GP搞得跟 C++ 的 template 語法很像，但骨子裡卻不必preprocessor處理，而是直接在 run time support。

而 assertion 的支援，只是為了支援 Design by Contract ，其支援的完整性，可能更勝 C。

因為 C++ 對 assertion 沒有更進一步的支援（直接沿用C的做法）。所以， JAVA 在這點有很大的改進空間。

以下我就舉例說明一下，如何製造一個 C++ 版本的 assertion 功能：
 1: // assertion.h
 2: //...
 3: 
 4: template <class Exception> void Assert( bool assertion )

 5: {
 6:     if (! assertion) throw Exception();

 7: }
 8: //...
 9: 

經修改後，我現在實際使用的 assertion 版本如下：

1: // Assertion for C++ version.
2: template <class Exception> inline void Assert( bool assertion )

3: {
4: #ifndef NO_CPP_ASSERTION
5:     if (! assertion) throw Exception();

6: #endif
7: }

 1: // user.c
 2: #include "assertion.h"
 3: //...
 4: class Date {

 5: public:
 6:     class Bad_arg{};
 7:     setMonth( int mon );

 8:     //...
 9: private:
10:     //...
11: };
12: 

13: void Date::setMonth( int mon )
14: {

15:     // 確保設定的月數在正確的範圍，否則，
16:     // 就丟出Bad_arg的例外。
17:     Assert<Bad_arg>(1<=mon && mon<=12);

18:     //...
19: }
20: //...
21: