我一直試圖找出為什么一個特定的行可以編譯，而另一行則不能。這是一個精煉版本：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 }據(jù)我了解，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 規(guī)范中。對我來說，我希望兩者都能編譯，因為兩者A都有B相同的底層類型。（或者，兩者都不會，因為 *string 與 A 不同，因為我們有類型聲明）。這里發(fā)生了什么？