“尝试”没有抓住例外情况

Question

我正在使用hedis并试图处理服务器死机的情况。 根据文件：

与服务器的连接丢失：如果连接丢失，命令函数将抛出ConnectionLostException。 它只能在runRedis之外捕获。

所以我假设我想捕获ConnectionLostException。 然而，虽然我似乎能正确地抓住它，但它似乎也冒出了顶部，我不知道为什么。 这是一些代码（只在GHCI中运行）：

:set -XOverloadedStrings
import Database.Redis
import Control.Exception

conn <- connect defaultConnectInfo
runRedis conn $ ping

现在，如果我在建立连接和运行命令之间杀死redis服务器，我会得到我期望的结果：

⟨interactive⟩：ConnectionLost ***例外：ConnectionLost

所以相反，我尝试执行以下操作（我添加了>>= evaluate以尝试强制评估错误，但它没有区别）：

let tryR = try :: IO a -> IO (Either ConnectionLostException a)
tryR . (>>= evaluate) . runRedis conn $ ping

这给了我：

左Con：ConnectionLost nectionLost

所以我按预期得到了Left结果，但是异常的中途也可能被GHCI捕获并显示。 对于未被评估的事情，这是一个问题吗？

Answer 1

就像约翰暗示的那样，似乎有一些东西可以将此信息打印给stderr 。

考虑这个例子：

{-# LANGUAGE OverloadedStrings #-}

import Control.Concurrent (threadDelay)
import Control.Exception
import Control.Monad
import Database.Redis
import System.Mem

tryR :: IO a -> IO (Either ConnectionLostException a)
tryR = try


main :: IO ()
main = do
  conn <- connect defaultConnectInfo
  loop conn
  putStrLn $ "exiting gracefully after counting up some numbers"
  performGC
  forM_ [1..10] $ \i -> do
    print i
    threadDelay 10000 -- 0.05 seconds
  where
    loop conn = do

      e <- tryR . (>>= evaluate) . runRedis conn $ ping

      case e of
        Right x  -> do print x
                       threadDelay 1000000
                       loop conn
        Left err -> do putStrLn $ "tryR caught exception: " ++ show err

它打印：

Right Pong
Right Pong  <-------------- after this I Ctrl-C the redis server
tryR caught exception: ConnectionLost
exiting gracefully after counting up some numbers
1
test: ConnectionLost
2
3
4
5
6
7
8
9
10

这看起来像堆栈中的某些内容正在打印此test: ConnectionLost （或test.hs: ConnectionLost如果您使用GHCI / runghc） 异步 。

如果这是GHC，那可能是一个错误，但机会很高，它是由hedis或其中一个依赖项完成的（我还没有在hedis找到它）。