Haskell FFI：顶级FunPtr到顶级功能？

Question

似乎只需要为顶层函数创建一个FunPtr，而不是在需要时创建一个新函数（到同一函数）并处理它的释放。

除了foreign import ccall "wrapper"之外，我是否可以忽略一些获取FunPtr的方法？ 如果没有，我的解决方法将如下面的代码中所示。 这样安全吗？

type SomeCallback = CInt -> IO ()

foreign import ccall "wrapper" mkSomeCallback :: SomeCallback -> IO (FunPtr SomeCallback)

f :: SomeCallback
f i = putStrLn ("It is: "++show i)

{-# NOINLINE f_FunPtr #-}
f_FunPtr :: FunPtr SomeCallback
f_FunPtr = unsafePerformIO (mkSomeCallback f)

编辑：已经验证“每次创建一个新的”变体（ main = forever (mkSomeCallback f) ）确实泄漏内存，如果没有freeHaskellFunPtr它。

Answer 1

原则上，这应该是安全的 - GHC内部代码使用类似的模式来初始化单例，例如IO监视句柄队列。 请记住，您无法控制mkSomeCallback何时运行，并且不要忘记NOINLINE 。