haskell - MonadResource 中的资源释放顺序

Question

MonadResource 能够跟踪多个资源。有时这些资源的释放顺序很重要。考虑以下代码:

allocator1 = putStrLn "allocator1"
deallocator1 = putStrLn "deallocator1"

allocator2 = putStrLn "allocator2"
deallocator2 = putStrLn "deallocator2"

accessResource = const $ putStrLn "accessResource"

resourceTest :: MonadResource m => m ()
resourceTest = do
    (_, resource1) <- allocate allocator1 $ const deallocator1
    (_, resource2) <- allocate allocator2 $ const $ accessResource resource1 >> deallocator2
    return ()

main = runResourceT resourceTest 

这里我从resource2清理操作中访问resource1，所以我希望resource1总是在resource1之后被释放，否则代码将不正确。至少在当前的实现中确实如此。如果我运行代码我会得到:

allocator1
allocator2
accessResource
deallocator2
deallocator1

MonadResource 是否始终隔离先前分配的资源(因此可以从以后的清理操作中访问)稍后将被释放，或者释放顺序是特定于实现的？如果它具体实现的话，保证特定释放顺序的最佳方法是什么？

Answer 1

自版本 0.3.2.1 起，释放始终按 LIFO 顺序。这是为了响应issue #46而改变的。 ，其中包含更多信息。换句话说，您可以依赖 deallocator2 始终在 deallocator1 之前运行。