詳解Ruby中的異常_ruby專題

異常和執行總是被聯絡在一起。如果您開啟一個不存在的檔案，且沒有恰當地處理這種情況，那麼您的程式則被認為是低品質的。

如果異常發生，則程式停止。異常用於處理各種類型的錯誤，這些錯誤可能在程式執行期間發生，所以要採取適當的行動，而不至於讓程式完全停止。

Ruby 提供了一個完美的處理異常的機制。我們可以在 begin/end 塊中附上可能拋出異常的代碼，並使用 rescue 子句告訴 Ruby 完美要處理的異常類型。
文法

begin # - rescue OneTypeOfException # - rescue AnotherTypeOfException # - else # 其他異常ensure# 總是被執行end

從 begin 到 rescue 中的一切是受保護的。如果代碼塊執行期間發生了異常，控制會傳到 rescue 和 end 之間的塊。

對於 begin 塊中的每個 rescue 子句，Ruby 把拋出的異常與每個參數進行輪流比較。如果 rescue 子句中命名的異常與當前拋出的異常類型相同，或者是該異常的父類，則匹配成功。

如果異常不匹配所有指定的錯誤類型，我們可以在所有的 rescue 子句後使用一個 else 子句。
執行個體

#!/usr/bin/ruby begin  file = open("/unexistant_file")  if file   puts "File opened successfully"  endrescue   file = STDINendprint file, "==", STDIN, "\n"

這將產生以下結果。您可以看到，STDIN 取代了 file ，因為開啟失敗。
#<IO:0xb7d16f84>==#<IO:0xb7d16f84>
使用 retry 語句

您可以使用 rescue 塊捕獲異常，然後使用 retry 語句從開頭開始執行 begin 塊。
文法

begin  # 這段代碼拋出的異常將被下面的 rescue 子句捕獲rescue  # 這個塊將捕獲所有類型的異常  retry # 這將把控制移到 begin 的開頭end執行個體#!/usr/bin/ruby begin  file = open("/unexistant_file")  if file   puts "File opened successfully"  endrescue  fname = "existant_file"  retryend

以下是處理流程：

1.     開啟時發生異常。
2.     跳到 rescue。fname 被重新賦值。
3.     通過 retry 跳到 begin 的開頭。
4.     這次檔案成功開啟。
5.     繼續基本的過程。

注意：如果被重新命名的檔案不存在，本勢力代碼會無限嘗試。所以異常處理時，謹慎使用 retry。
使用 raise 語句

您可以使用 raise 語句拋出異常。下面的方法在調用時拋出異常。它的第二個訊息將被輸出。
文法

raise OR raise "Error Message" OR raise ExceptionType, "Error Message" OR raise ExceptionType, "Error Message" condition

第一種形式簡單地重新拋出當前異常（如果沒有當前異常則拋出一個 RuntimeError）。這用在傳入異常之前需要解釋異常的例外處理常式中。

第二種形式建立一個新的 RuntimeError 異常，設定它的訊息為給定的字串。該異常之後拋出到呼叫堆疊。

第三種形式使用第一個參數建立一個異常，然後設定相關的訊息為第二個參數。

第四種形式與第三種形式類似，您可以添加任何額外的條件陳述式（比如 unless）來拋出異常。
執行個體

#!/usr/bin/ruby begin   puts 'I am before the raise.'   raise 'An error has occurred.'   puts 'I am after the raise.' rescue   puts 'I am rescued.' end puts 'I am after the begin block.' 

這將產生以下結果：

I am before the raise. I am rescued. I am after the begin block. 

另一個示範 raise 用法的執行個體：

#!/usr/bin/ruby begin  raise 'A test exception.' rescue Exception => e  puts e.message  puts e.backtrace.inspect end 

這將產生以下結果：

A test exception.["main.rb:4"]

使用 ensure 語句

有時候，無論是否拋出異常，您需要保證一些處理在代碼塊結束時完成。例如，您可能在進入時開啟了一個檔案，當您退出塊時，您需要確保關閉檔案。

ensure 子句做的就是這個。ensure 放在最後一個 rescue 子句後，並包含一個塊終止時總是執行的代碼塊。它與塊是否正常退出、是否拋出並處理異常、是否因一個未捕獲的異常而終止，這些都沒關係，ensure 塊始終都會運行。
文法

begin  #.. 過程  #.. 拋出異常rescue  #.. 處理錯誤ensure  #.. 最後確保執行  #.. 這總是會執行end執行個體begin raise 'A test exception.'rescue Exception => e puts e.message puts e.backtrace.inspectensure puts "Ensuring execution"end

這將產生以下結果：

A test exception.["main.rb:4"]Ensuring execution

使用 else 語句

如果提供了 else 子句，它一般是放置在 rescue 子句之後，任意 ensure 之前。

else 子句的主體只有在代碼主體沒有拋出異常時執行。
文法

begin  #.. 過程  #.. 拋出異常rescue  #.. 處理錯誤else  #.. 如果沒有異常則執行ensure  #.. 最後確保執行  #.. 這總是會執行end執行個體begin # 拋出 'A test exception.' puts "I'm not raising exception"rescue Exception => e puts e.message puts e.backtrace.inspectelse  puts "Congratulations-- no errors!"ensure puts "Ensuring execution"end

這將產生以下結果：

I'm not raising exceptionCongratulations-- no errors!Ensuring execution

使用 $! 變數可以捕獲拋出的錯誤訊息。
Catch 和 Throw

raise 和 rescue 的異常機制能在發生錯誤時放棄執行，有時候需要在正常處理時跳出一些深層嵌套的結構。此時 catch 和 throw 就派上用場了。

catch 定義了一個使用給定的名稱（可以是 Symbol 或 String）作為標籤的塊。塊會正常執行知道遇到一個 throw。
文法

throw :lablename#.. 這不會被執行catch :lablename do#.. 在遇到一個 throw 後匹配將被執行的 catchend OR throw :lablename condition#.. 這不會被執行catch :lablename do#.. 在遇到一個 throw 後匹配將被執行的 catchend

執行個體

下面的執行個體中，如果使用者鍵入 '!' 回應任何提示，使用一個 throw 終止與使用者的互動。

def promptAndGet(prompt)  print prompt  res = readline.chomp  throw :quitRequested if res == "!"  return resend catch :quitRequested do  name = promptAndGet("Name: ")  age = promptAndGet("Age: ")  sex = promptAndGet("Sex: ")  # ..  # 處理資訊endpromptAndGet("Name:")

上面的程式需要人工互動，您可以在您的電腦上進行嘗試。這將產生以下結果：

Name: Ruby on RailsAge: 3Sex: !Name:Just Ruby

類 Exception

Ruby 的標準類和模組拋出異常。所有的異常類組成一個層次，包括頂部的 Exception 類在內。下一層是七種不同的類型：

1.     Interrupt
2.     NoMemoryError
3.     SignalException
4.     ScriptError
5.     StandardError
6.     SystemExit
7.     Fatal 是該層中另一種異常，但是 Ruby 解譯器只在內部使用它。

ScriptError 和 StandardError 都有一些子類，但是在這裡我們不需要瞭解這些細節。最重要的事情是建立我們自己的異常類，它們必須是類 Exception 或其子代的子類。

讓我們看一個執行個體：

class FileSaveError < StandardError  attr_reader :reason  def initialize(reason)   @reason = reason  endend

現在，看下面的執行個體，將用到上面的異常：

File.open(path, "w") do |file|begin  # 寫出資料 ...rescue  # 發生錯誤  raise FileSaveError.new($!)endend

在這裡，最重要的一行是 raise FileSaveError.new($!)。我們調用 raise 來示意異常已經發生，把它傳給 FileSaveError 的一個新的執行個體，由於特定的異常引起資料寫入失敗。