我一直試圖找出為什么一個特定的行可以編譯，而另一行則不能。這是一個精煉版本：type A *stringtype B *stringfunc TakeStringPointer(a *string) { fmt.Println("something: %s\n", *a)}func TakeA(a A) { fmt.Println("something else: %s\n", *a)}func Sample() { aa := "asdf" var pA A var pB B var pString *string pA = &aa pB = &aa pString = &aa TakeStringPointer(pString) TakeStringPointer(pA) TakeStringPointer(pB) TakeA(pA) TakeA(pB) // Does not compile TakeA(pString) // Does compile }據我了解，TakeA(pB)要么TakeA(pString)兩者都起作用，要么兩者都不起作用......A value x is assignable to a variable of type T if:x’s type is identical to T.x’s type V and T have identical underlying types…是在 go 規范中。對我來說，我希望兩者都能編譯，因為兩者A都有B相同的底層類型。（或者，兩者都不會，因為 *string 與 A 不同，因為我們有類型聲明）。這里發生了什么？
1 回答
largeQ
TA貢獻2039條經驗 獲得超8個贊
x 的類型 V 和 T 具有相同的基礎類型……
您引用了規范并省略了重要部分。規范的這一部分全文如下：
x 的類型 V 和 T 具有相同的基礎類型，并且 V 或 T 中至少有一個不是已定義的類型。
您擁有的不是類型別名，而是已定義的類型。（類型別名的形式為。）因此，采用已定義類型的type A = B函數不能采用已定義類型；它可以采用，也可以采用 的基礎類型。?BABB
- 1 回答
- 0 關注
- 150 瀏覽
添加回答
舉報
0/150
提交
取消