無法用Control.Exception.try捕捉「Prelude.read：no parse」異常

Question

我試圖從文件中讀取一些值並捕獲可能發生的每個異常（以"Easier to ask for forgiveness than permission"的心態）。儘管如此，我在遇到Prelude.read: no parse異常時遇到了問題。告訴try，它應該抓住每一個例外，我定義tryAny用顯式類型SomeException這在我的知識是每一個異常的「超類型」：

import Control.Exception (try,SomeException) 
tryAny :: IO a -> IO (Either SomeException a) 
tryAny = try 

隨着tryAny我似乎能夠趕上IO錯誤：

> tryAny (fromFile "nonExistingFileName") 
Left nonExistingFileName: openFile: does not exist (No such file or directory) 

但讀取錯誤不會被捕獲：

> tryAny (return ((read "a")::Int)) 
Right *** Exception: Prelude.read: no parse 

我可以ð o抓住每一個異常？

Answer 1

return不評估它的參數，因此不會拋出任何異常。當您嘗試打印結果時，評估發生在tryAny之外。

使用evaluate（可能與force一起從Control.DeepSeq，這取決於您的實際情況）。

Answer 2

與evaluate，force和try實驗，以下@Roman Cheplyaka的建議的很多後，我想出了這個解決方案，這似乎是超炫明顯，現在我看到的最後結果：

import Control.DeepSeq (force,NFData) 
import Control.Exception (try,SomeException) 

tryAnyStrict :: NFData a => IO a -> IO (Either SomeException a) 
tryAnyStrict = try.evaluateIoCompletely 

evaluateIoCompletely :: NFData a => IO a -> IO a 
evaluateIoCompletely ioA = do 
    a <- ioA 
    evaluate $ force a 

該解決方案將該過程分解爲一個函數，該函數將執行嚴格的評估並拋出所有異常和一個將捕獲這些異常的包裝器。 force返回一個純粹的haskell對象，該對象本身必須先進行評估以強制對a進行深度評估。從documentation：

force x = x `deepseq` x 

力X充分評估x，然後返回。請注意，力x僅在需要力x本身的值時執行評估，所以本質上它將淺層評估轉變爲深層評估。

有此實現，出了問題我在前面嘗試的幾個細微的問題：如果你使用ioA直接輸入到force而不是a，那麼你將最終的目標

• 類型IO (IO a)，因爲evaluate的類型爲b -> IO b。這個直接的問題可以通過IO(IO a) -> IO a類型的一些解包函數來解決，但是您會遇到類型錯誤假設NFData a，現在需要爲NFData (IO a)。但對於IO a，似乎沒有實例聲明可用，至少對於a::(String,String)。
• 您可以使用tryAnyStrict = do a <- ioA; (try.evaluate.force) a而不是使用兩個函數。然後問題是a <- ioA的異常將不會被捕獲，例如ioA是serialized <- readFile; return $ read serialized的結果，並且要讀取的文件不存在。
• 您不能在代碼中嵌入try.evaluateIoCompletely而沒有類型信息，因爲try需要知道它應該捕獲哪個異常。此信息現在通過返回類型tryAnyStrict提供，該類型將類型的try :: Exception e => IO a -> IO (Either e a)解析爲最常見的異常類型SomeException。

現在，經過我tryAnyStrict工作，我仍然有懶評價的問題，因爲如果a <- ioA失敗 - 在IOA是read從一個文件中懶洋洋地讀一個字符串的結果 - （例如文件內容沒有read）所需的格式），那麼文件仍然沒有被完全讀取，因此仍然打開。隨後寫入文件將失敗（「openFile：resource busy」）。所以......我可能實際上用@kqr和@Roman Cheplyaka建議使用readMay或readMaybe來重寫整個代碼，並且還直接強制嚴格讀取文件。

Answer 3

我有同樣的問題，並沒有找到readMaybe建議在一些評論。但我發現它解決了我的問題的另一種有用的閱讀變化 - readIO

的readIO功能類似，只是，而不是終止程序的單子，這標誌着解析失敗的IO讀取。

使用它我能夠捕捉並處理程序中的所有錯誤。

Answer 4

如果你可以使用safe-exceptions

您可以和使用tryAnyDeep

tryDeep :: (C.MonadCatch m, MonadIO m, E.Exception e, NFData a) => m a -> m (Either e a) 
tryDeep f = catch (liftM Right (evaluateDeep f)) (return . Left) 
tryAnyDeep :: (C.MonadCatch m, MonadIO m, NFData a) => m a -> m (Either SomeException a) 
tryAnyDeep = tryDeep 

但它解決方案中得到一個具有deriving (NFData)。