realUnsafePtrEquality# 在没有字段的构造函数上

Question

据我了解，没有字段的类型的构造函数是“静态分配的”和 GHC shares these between all uses，而 GC will not move these。

如果这是正确的，那么我希望在 False 和 Nothing 这样的值上使用 reallyUnsafePtrEquality# 非常安全（没有误报或误报），因为它们只能表示为指向单个实例的相同指针那个构造函数。

我的推理正确吗？是否有任何潜在的陷阱，或者有理由怀疑这可能在不久的将来版本的 GHC 中变得不安全？

Answer 1

我实际上设法让reallyUnsafePtrEquality 做错事。

这是我的最小代码示例

{-# LANGUAGE MagicHash #-}
import GHC.Prim

-- Package it up nicely
ptrCmp :: a -> a -> Bool
ptrCmp a b = case (reallyUnsafePtrEquality# a b) of
  0# -> False
  1# -> True

main = do
  b <- readLn
  let a  = if b then Nothing else Just ()
      a' = Nothing
  print $ a == a'     -- Normal
  print $ ptrCmp a a' -- Evil

然后做类似的事情

 $ ghc --version
   The Glorious Glasgow Haskell Compilation System, version 7.8.2
 $ ghc unsafe.hs
 $ ./unsafe
   True
   True
   False

所以...是的，reallyUnsafePtrEquality 仍然是邪恶的。