有没有什么好方法来捕获由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
。
我怎样才能使这种代码正常工作?
您必须手动执行此操作,如下所示:
将回调函数包装在调用的 Haskell 代码中try
,然后序列化结果Either SomeException ()
到您可以从 C 处理的格式(您可以使用StablePtr
为了SomeException
,但重点是你需要处理Either
不知何故)。
在您的 C 代码调用回调的地方,检查结果是否是Left exn
如果是这样,则将错误传播到 C 代码的顶层,并在此过程中适当释放资源。此步骤是非机械的,因为 C 没有例外。
在 C 代码的顶层,重新序列化异常或结果,并在 Haskell 函数中读取它,该函数包装对 C 代码的调用,引发异常或返回适当的结果。
我不知道有任何程序可以执行此操作。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)