有没有什么好的方法可以捕获在 c 函数调用的 haskell 回调函数中抛出的 haskell 异常?
例如,让我有一个简单的 c 函数,它只调用给定的回调,
void callmeback ( void (*callback) () ) {
callback ();
}
以及通过 ffi 使用此功能的 haskell 代码。
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE ForeignFunctionInterface #-}
module Main (main) where
import Foreign
import Control.Exception
import Data.Typeable
foreign import ccall safe "wrapper"
mkCallback :: IO () -> IO (FunPtr (IO ()))
foreign import ccall safe "callmeback"
callmeback :: FunPtr (IO ()) -> IO ()
data AnError = AnError String deriving (Show, Eq, Typeable)
instance Exception AnError
callback :: IO ()
callback = throwIO $ AnError "Catch me."
callMeBack :: IO () -> IO ()
callMeBack f = do fp <- mkCallback f
callmeback fp
main = do callMeBack callback `catch`
(\ e -> do putStrLn $ show (e :: AnError)
putStrLn "I caught you." )
putStrLn "-- Happy end."
执行结果(使用GHC 7.8.2编译)如下:
% ./Catch
Catch: AnError "Catch me."
所以看起来像是
callback
中抛出的异常抓不到main
.我怎样才能使这种代码运行良好?
最佳答案
您必须手动执行此操作,如下所示:
try
的 Haskell 代码中, 然后序列化得到的 Either SomeException ()
转换为可以从 C 处理的格式(您可以使用 StablePtr
来表示 SomeException
,但关键是您需要以某种方式处理 Either
)。 Left exn
如果是这样,请将错误传播到 C 代码的顶层,并在此过程中适本地释放资源。这一步是非机械的,因为 C 没有异常。 我不知道任何执行此操作的程序示例。
关于haskell - 如何捕获在 C 函数调用的 Haskell 回调函数中引发的 Haskell 异常?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/29727644/