Transcript 十一、Ｅｘｃｅｐｔｉｏｎ與Ａｓｓｅｒｔｉｏｎ

Ｊａｖａ 入門到認證
十一、Ｅｘｃｅｐｔｉｏｎ 與
Ａｓｓｅｒｔｉｏｎ
作者：許裕永
１、Ｅｘｃｅｐｔｉｏｎ

１－１ ＵｎＣｈｅｃｋｅｄ
ｎ
Ｅｘｃｅｐｔｉｏ
 沒有針對可能產生錯誤的程式碼，撰寫錯誤處理機制，
而程式仍然可以編譯。那麼這個Ｅｘｃｅｐｔｉｏｎ便
屬於ＵｎＣｈｅｃｋｅｄ Ｅｘｃｅｐｔｉｏｎ。

１－２ Ｃｈｅｃｋｅｄ Ｅｘｃｅｐｔｉｏｎ
 沒有針對可能產生錯誤的程式碼，做錯誤處理機制，程
式在編譯時便會失敗。那麼這個Ｅｘｃｅｐｔｉｏｎ便
屬於Ｃｈｅｃｋｅｄ Ｅｘｃｅｐｔｉｏｎ。
２、ｔｒｙ

ｃａｔｃｈ
ｌｌｙ
ｆｉｎａ
２－１ ｔｒｙ ｃａｔｃｈ
 將可能會產生錯誤的程式碼寫在ｔｒｙ的區塊中，再用ｃａｔｃｈ來接收Ｊ
ａｖａ傳入的Ｅｘｃｅｐｔｉｏｎ物件。ｃａｔｃｈ可以一個以上。
 每個ｃａｔｃｈ區塊中的變數名稱都是獨立的區域變數，所以兩個ｃａｔｃ
ｈ中的Ｅｘｃｅｐｔｉｏｎ都命名為ｅ，是合法的。

２－２ ｔｒｙ ｃａｔｃｈ ｆｉｎａｌｌｙ
 我們應該要把跟ｔｒｙ區塊中的程式碼有關聯，而且一定要執行的程式敍述，
寫在ｆｉｎａｌｌｙ的區塊中。

２－３ ｔｒｙ ｆｉｎａｌｌｙ
 ｔｒｙ區塊後可以直接寫ｆｉｎａｌｌｙ，而不寫任何ｃａｔｃｈ。

２－４ 巢狀ｔｒｙ ｃａｔｃｈ
 如同ｉｆ跟ｆｏｒ一樣，ｔｒｙ
ｃａｔｃｈ也可以是巢狀的。
３、ｔｈｒｏｗｓ
 ３－１
與
ｔｈｒｏｗ
ｔｈｒｏｗｓ
方法中如果有丟出Ｃｈｅｃｋｅｄ
Ｅｘｃｅｐ
ｔｉｏｎ物件的敍述句，則必須在方法名稱後以
ｔｈｒｏｗｓ宣告。
 ３－２
ｔｈｒｏｗ
在程式碼中可以用ｔｈｒｏｗ指定丟出的Ｅｘｃ
ｅｐｔｉｏｎ物件。
４、自訂Ｅｘｃｅｐｔｉｏｎ物件
 ４－１
ｅｘｔｅｎｄｓ
ｃｌａｓｓ
ＣｌａｓｓＮａｍｅ ｅｘｔｅｎ
ｄｓ Ｅｘｃｅｐｔｉｏｎ｛｝
自訂的Ｅｘｃｅｐｔｉｏｎ均屬於Ｃｈｅｃｋｅ
ｄ Ｅｘｃｅｐｔｉｏｎ 。
５、Ａｓｓｅｒｔｉｏｎ

５－１ ａｓｓｅｒｔ


ａｓｓｅｒｔ 運算式Ａ［：運算式Ｂ］；
５－２ 啟動指令
 －ｅａ
 －ｄａ

５－３ 適當的使用時機
 不要在ａｓｓｅｒｔ中執行必要的運算。
 不要用Ａｓｓｅｒｔｉｏｎ機制來檢測ｐｕｂｌｉｃ方法的參數。
 不要用Ａｓｓｅｒｔｉｏｎ機制來檢測方法的運算結果。
 建議使用Ａｓｓｅｒｔｉｏｎ機制來檢測ｐｒｉｖａｔｅ方法的參數。
 建議使用在ｓｗｉｔｃｈ的語法，來了解ｃａｓｅ不成立的原因。
 程式碼重點的標註。
６、認證重點整理


６－１ Ｅｘｃｅｐｔｉｏｎ
 Ａｓｓｅｒｔｉｏｎ是開發時期的錯誤處理機制，而Ｅｘｃｅｐｔｉｏｎ是執行時期的錯誤處理
機制。
 Ｅｘｃｅｐｔｉｏｎ是一個類別名稱，它底下有許多的子類別分別代表各種不同狀況產生的錯誤。
 沒有撰寫錯誤處理，而程式一樣可以編譯的Ｅｘｃｅｐｔｉｏｎ屬於ＵｎＣｈｅｃｋ Ｅｘｃｅ
ｐｔｉｏｎ。
 沒有撰寫錯誤處理，程式就無法編譯的Ｅｘｃｅｐｔｉｏｎ屬於Ｃｈｅｃｋ Ｅｘｃｅｐｔｉｏ
ｎ。
 觀念：１、所謂產生Ｅｘｃｅｐｔｉｏｎ其實是建構了某一個Ｅｘｃｅｐｔｉｏｎ類別的物件。
２、建立Ｅｘｃｅｐｔｉｏｎ物件的是Ｊａｖａ。３、Ｅｘｃｅｐｔｉｏｎ物件會先傳回程式之
中。
６－２ ｔｒｙ ｃａｔｃｈ ｆｉｎａｌｌｙ
 將可能會產生錯誤的程式碼寫在ｔｒｙ的區塊中，再用ｃａｔｃｈ來接收Ｊａｖａ傳入的Ｅｘｃ
ｅｐｔｉｏｎ物件。ｃａｔｃｈ可以一個以上。
 ｃａｔｃｈ區塊執行完畢後，並不會再回頭去執行ｔｒｙ區塊中未執行的程式碼。
 Ｅｘｃｅｐｔｉｏｎ在ｃａｔｃｈ中的排列，父類別要置於子類別下方。
 我們應該要把跟ｔｒｙ區塊中的程式碼有關聯，而且一定要執行的程式碼，寫在ｆｉｎａｌｌｙ
的區塊中。
 如果變數ａ宣告在ｔｒｙ的區塊中，那麼變數ａ就只存活在ｔｒｙ的區塊，無論是ｃａｔｃｈ或
ｆｉｎａｌｌｙ的區塊都不能存取。
 ｔｒｙ區塊後可以直接寫ｆｉｎａｌｌｙ，而不寫任何ｃａｔｃｈ。
 如同ｉｆ跟ｆｏｒ一樣，ｔｒｙ ｃａｔｃｈ也可以是巢狀的。
 ｔｒｙ ｃａｔｃｈ ｆｉｎａｌｌ是整體，各個區塊之間，不可以撰寫任何敍述句。
６、認證重點整理（二）

６－３ ｔｈｒｏｗｓ 與 ｔｈｒｏｗ
 方法中如果有丟出Ｃｈｅｃｋｅｄ




Ｅｘｃｅｐｔｉｏｎ物件的敍述句，則必須在方
法名稱後以ｔｈｒｏｗｓ宣告。
丟出Ｃｈｅｃｋｅｄ Ｅｘｃｅｐｔｉｏｎ的方式有兩種。第一種是：呼叫有宣告ｔ
ｈｒｏｗｓ ＣｈｅｃｄｅｄＥｘｃｅｐｔｉｏｎ的方法，而該呼叫敍述沒有置放於
ｔｒｙ ｃａｔｃｈ的機制之中。另一種就是：在程式碼中用ｔｈｒｏｗ指定丟出的
Ｅｘｃｅｐｔｉｏｎ物件。
方法中不想丟出去的Ｃｈｅｃｋｅｄ Ｅｘｃｅｐｔｉｏｎ應該自行用ｔｒｙ ｃａ
ｔｃｈ處理。
方法中想丟出去的Ｃｈｅｃｋｅｄ Ｅｘｃｅｐｔｉｏｎ必須在方法名稱後面用ｔｈ
ｒｏｗｓ宣告。
ｔｈｒｏｗ可以丟出的Ｅｘｃｅｐｔｉｏｎ物件，不管是ＵｎＣｈｅｃｋｅｄ或Ｃｈ
ｅｃｋｅｄ的Ｅｘｃｅｐｔｉｏｎ都可以。只是，如果是Ｃｈｅｃｋｅｄ Ｅｘｃｅ
ｐｔｉｏｎ就一定要宣告於ｔｈｒｏｗｓ的後面；但如果是ＵｎＣｈｅｃｋｅｄ Ｅ
ｘｃｅｐｔｉｏｎ則是否宣告於ｔｈｒｏｗｓ後方都可以。
６、認證重點整理（三）


６－４ 自訂Ｅｘｃｅｐｔｉｏｎ
 自訂的Ｅｘｃｅｐｔｉｏｎ均屬於Ｃｈｅｃｋｅｄ Ｅｘｃｅｐｔｉｏｎ。
６－５ Ａｓｓｅｒｔｉｏｎ
 Ａｓｓｅｒｔｉｏｎ機制的開啟及關閉是相當具有彈性，可以指定類別或ｐａｃｋａｇｅ開啟；
也可以指定開啟的同時又指定部份的類別或ｐａｃｋａｇｅ關閉。
 Ａｓｓｅｒｔｉｏｎ機制是讓設計師設定程式中斷點，來協助處理邏輯錯誤的機制。
 ａｓｓｅｒｔ是在條件值為ｔｒｕｅ時繼續執行，條件值為ｆａｌｓｅ時中斷程式。也就是條件
值應該是設計師預期要的值，而當執行時期該值不符合設計師的期望時，中斷程式。
 Ａｓｓｅｒｔｉｏｎ機制在使用者執行時，是肯定關閉的，因為使用者不會去開啟它，也沒有必
要。
 Ａｓｓｅｒｔｉｏｎ機制所產生的ｅｒｒｏｒ是用來中斷程式，協助我們除錯，請不要把它當做
另一種ｉｆ的語法來寫，更不要用ｔｒｙ ｃａｔｃｈ的機制來補捉這個ＡｓｓｅｒｔｉｏｎＥ
ｒｒｏｒ。
 不要在ａｓｓｅｒｔ中執行必要的運算。
 不要用Ａｓｓｅｒｔｉｏｎ機制來檢測ｐｕｂｌｉｃ方法的參數。
 不要用Ａｓｓｅｒｔｉｏｎ機制來檢測方法的運算結果。
 建議使用Ａｓｓｅｒｔｉｏｎ機制來檢測ｐｒｉｖａｔｅ方法的參數。
 建議使用在ｓｗｉｔｃｈ的語法中，來了解ｃａｓｅ不成立的原因。