当将括号与PTR作为资源使用时，可以将其替换为外国PTR吗？

Question

我的代码使用可以描述为指针的资源。为简单起见，我将在此处使用void指针。计算完成后必须关闭资源，因此control.exception.bracket函数是自然的选择，以确保如果发生错误，则代码不会泄漏：

run :: (Ptr () -> IO a) -> IO a
run action = bracket acquireResource closeResource action
-- no eta reduction for clarity

此模式的缺点是在Action完成后，资源将始终关闭。 Afaiu这意味着不可能执行诸如

cont <- run $ \ptr -> do
  a <- someAction ptr
  return (\x -> otherActionUsingResource ptr a x)
cont ()

资源之类的事情已经在执行时间cont之前。现在，我的方法是使用外ptr：

run' :: (ForeignPtr () -> IO a) -> IO a
run' action = do
  ptr <- acquireResource
  foreignPtr <- newForeignPtr closeResourceFunPtr ptr
  action foreignPtr

现在似乎这大致相当于第一个版本，较小的打字差异和资源结束了延迟。但是，我确实想知道这是真的，还是我错过了什么。某些错误条件可以导致这两个版本的不同结果吗？外国PTR可以安全使用吗？

Answer 1

如果您想这样做，我建议您避免使用运行'，这使您看起来好像要关闭资源。做这样的事情。

acquire :: IO (ForeignPtr ())
acquire action = mask $ \unmask -> do
  ptr <- unmask acquireResource
  newForeignPtr closeResourceFunPtr ptr

正如卡尔（Carl）在评论中指出的那样，重要的是，在获取资源和安装最终化器以关闭它之间掩盖了例外。否则，可能会在之间提供异步异常，并导致资源泄漏。

这种挑战在于，您将其保留给用户和/或垃圾收集器，以确保资源释放。原始的ptr基于基于的代码使寿命显式。现在不是。许多人认为，明确的寿命更适合关键资源。 foreferptr为您提供了GC自动完成，这些人认为设计差。所以仔细考虑！这是您最终想释放的便宜资源（例如malloc ed内存）吗？还是您真的想确定的是昂贵的东西（例如文件描述符）？

---

旁注：ptr（）和foreferptr（）不是很惯用。通常，类型的参数应该是代表所指向的任何内容的haskell类型。