幻影類

幻像類型是標記Trait，其存在僅用于向編譯器提供注釋 作為幻像類型的一種用法，讓我們看一下列表的結構

Nil = Class()
List T, 0 = Inherit Nil
List T, N: Nat = Class {head = T; rest = List(T, N-1)}

此代碼導致錯誤

3 | List T, 0 = Inherit Nil
                        ^^^
類型構造錯誤: 由于Nil沒有參數T，所以無法用Nil構造List(T, 0)
提示: 使用 'Phantom' trait消耗 T

此錯誤是在使用 List(_, 0).new Nil.new() 時無法推斷 T 的抱怨 在這種情況下，無論 T 類型是什么，它都必須在右側使用。大小為零的類型(例如長度為零的元組)很方便，因為它沒有運行時開銷

Nil T = Class((T; 0))
List T, 0 = Inherit Nil T
List T, N: Nat = Class {head = T; rest = List(T, N-1)}

此代碼通過編譯。但是理解意圖有點棘手，除非類型參數是類型，否則不能使用它

在這種情況下，幻影類型正是您所需要的。幻像類型是大小為 0 的廣義類型

Nil T = Class(Impl := Phantom T)
List T, 0 = Inherit Nil T
List T, N: Nat = Class {head = T; rest = List(T, N-1)}

nil = Nil(Int).new()
assert nil.__size__ == 0

Phantom 擁有T 類型。但實際上 Phantom T 類型的大小是 0 并且不包含 T 類型的對象

此外，Phantom 可以使用除其類型之外的任意類型參數。在下面的示例中，Phantom 包含一個名為 State 的類型參數，它是 Str 的子類型對象 同樣，State 是一個假的類型變量，不會出現在對象的實體中

VM! State: {"stopped", "running"}! = Class(... State)
VM!("stopped").
    start ref! self("stopped" ~> "running") =
        self.do_something!()
        self::set_phantom!("running"))

state 是通過 update_phantom! 或 set_phantom! 方法更新的 這是標準補丁為Phantom!(Phantom的變量版本)提供的方法，其用法與變量update!和set!相同。