來自 Go 語言中文網微信群群友 Kade 的一道題:
package main
import (
"fmt"
)
type T interface{}
type X string
type Y = string
func main() {
var t T = "abc"
var x X = "abc"
var y Y = "abc"
fmt.Println(t == x)
fmt.Println(t == string(x))
fmt.Println(t == y)
fmt.Println(t == string(y))
}
// 輸出什么?
該鏈接可以直接運行:https://play.studygolang.com/p/Eo47v8jgFKr。
學過 JAVA 的人是不是經常遇到類似 String 的題?通過類似這樣的小題,我覺得可以更好地加深對一些知識點的理解、記憶。
您都答對了嗎?(答案見文章最后)
簡單梳理下涉及到的知識點:
1、type X string 和 type Y = string 的區別
X 是自定義類型,底層類型是 string,X 和 string 是不同的類型;而 Y 只是 string 類型的別名,和 string 是一樣的;
2、t、x 和 y 雖然都賦值為字符串 abc,但含義不一樣
它們都能賦值為字符串的原因:
1)T 是空接口,可以存放任意類型值;
2)X 的底層類型是 string,因此字符串字面量 abc 可以直接賦值給 x,但下面的情況是不允許的:
var s string = "abc"
var x X = s
這種情況必須進行強制類型轉換:
var x X = X(s)
3)Y 是 string 的別名,自然可以直接賦值;
3、接口類型值和非接口類型值比較
該題核心就是考察這個知識點。Go 語言規范里有這樣的說明:
A value x of non-interface type X and a value t of interface type T are comparable when values of type X are comparable and X implements T. They are equal if t's dynamic type is identical to X and t's dynamic value is equal to x.
簡單翻譯下:
當非接口類型 X 的值是可比較的且 X 實現了接口類型 T ,那么 X 的值 x 和 T 的值t 是可比較的。如果 t的動態類型和 X 一致并且 t 的動態值等于 x 的話,那么它們相等。
回到我們的題目:t 是接口類型 T 的值,它的動態類型是 string,動態值是 abc;而 x 的類型是 X,底層類型是 string,所以 t == x 返回 false,t == string(x) 返回 true。至于 Y,因為是 string 的別名,所以 t == y 和 t == string(y) 都返回 true。
所以最后答案是:
false
true
true
true
最后提醒下大家,Go 規范還是應該多翻翻,如果 E 文不好,這里提供了一份中文翻譯版,譯者 Bekcpear,質量挺高的,可以中英文對照著看。https://hao.studygolang.com/golang_spec.html。