reallyUnsafePtrEquality # auf Konstruktoren mit keine Felder

Question

Es ist mein Verständnis, dass die Konstruktoren eines Typs, die keine Felder haben, "statisch zugeordnet" sind und GHC shares these between all uses, und dass die GC will not move these.

Wenn das stimmt, dann würde ich Verwendungen von reallyUnsafePtrEquality# auf Werte wie False und Nothing erwarten sehr sicher zu sein (keine falschen Negative oder Positive), weil sie nur als identische Zeiger auf die einzige Instanz dieser Konstruktor dargestellt werden kann.

Ist meine Argumentation richtig? Gibt es potenzielle Fehler oder Gründe, die vermuten lassen, dass dies in naher Zukunft von GHC unsicher werden könnte?

Answer 1

Ich schaffte es tatsächlich reallyUnsafePtrEquality zu bekommen, die falsche Sache zu tun.

Hier ist mein Minimalcodebeispiel

{-# 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 

Und etwas zu tun, wie

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

So ... ja, reallyUnsafePtrEquality noch böse ist.