Go 中針對未知介面的型別斷言
透過反射擷取物件的值並執行型別斷言以取得實際物件的流程像這樣的方法:
obj := new(User) out := reflect.ValueOf(obj).Elem().Interface().(User) fmt.Println(out == *obj) // true
是眾所周知的。然而,當事先不知道對象的類型時,就會出現挑戰。考慮一個接受未知介面的函數:
func Foo(obj interface{}) bool { // out := reflect.ValueOf(obj).Elem().Interface().( ... ) return out == *obj } func main() { obj := new(User) fmt.Println(Foo(obj)) }
在 Foo 函數中,無法確定傳入物件的類型。這就提出了一個問題:在這種情況下如何執行類型斷言?
答案在於類型斷言的本質。即使在使用無法靜態驗證類型的介面時,類型斷言也允許在 Go 中利用靜態類型檢查。此功能按照以下原則運行:
給定類型 t 的靜態類型變數 s,編譯器確保 s 始終保持類型 t。如果 s 被用作不同的類型,它會拒絕編譯,因為這會違反既定的保證。
現在,想像一個介面變數 i。由於在編譯時無法知道其類型,因此編譯器無法保證將 i 指派給 s 不會破壞 s 的類型為 t 的保證。類型斷言透過指出「我們將在運行時驗證類型是否匹配,並僅在匹配時才執行分配」來解決此問題。編譯器批准這種方法,因為它相信只有當類型相容時才會發生賦值,從而保留 s 為 t 類型的保證。
本質上,這意味著在運行時發生以下情況:
if (i has type t) { s = i } else { s = t{} // Zero value of t }
所要求的功能是不可能的,因為編譯器需要知道要執行檢查的類型。如果沒有這些知識,就無法確定 s 的靜態類型,從而導致驗證過程不可行。
以上是Go 中如何對未知介面執行類型斷言?的詳細內容。更多資訊請關注PHP中文網其他相關文章!