haskell - `unsafePerformIO (newTVarIO 0)` 有多安全？

Question

我在 Data.Unique 中注意到了这个成语:

uniqSource :: TVar Integer
uniqSource = unsafePerformIO (newTVarIO 0)
{-# NOINLINE uniqSource #-}

是否保证只运行一次？

Answer 1

在 GHC 中，是的。1 见 the documentation了解更多信息;有一个变种 unsafeDupablePerformIO可以多次执行，从而避免了专用于实现此保证的开销。

请注意 unsafePerformIO创建可变变量通常是不安全的；如文档中所述，您可以创建多态引用并使用它来实现 unsafeCoerce .不过，这不是您可能会意外做的事情，而且它不适用于有问题的代码(因为明确指定了引用的类型)。

safe-globals包以确保安全的方式抽象了这个“成语”(虽然在某些情况下很有用，但它是 generally considered an antipattern，不应该在普通代码中使用)。

另见我的previous answer在 unsafePerformIO以及应用时必须注意的事项。

1 我很确定它也适用于所有其他实现； GHC 为避免重复执行而采取的特殊措施仅在线程设置中是必要的，而且我不知道 Haskell 的任何其他线程实现。 GHC 是当今人们真正使用的唯一实现，尽管......