为什么 Golang 类型别名有时兼容有时不兼容？

Question

下面的代码工作得很好：

type alias []byte

type data struct {
    x alias
}

func main() {
    s2 := []byte("s2")
    s1 := &data{
        x: s2,
    }
    var s4 alias = s2
    fmt.Println(s1,s2, s4)
}

但以下内容无法编译

type alias string

type data struct {
    x alias
}

func main() {
    s2 := string("s2")
    s1 := &data{
        x: s2, // needs explicit alias(s2)
    }
    var s4 alias = s2 // needs explicit alias(s2)
    fmt.Println(s1,s2, s4)
}
}

唯一的区别是类型别名从字节切片更改为字符串。

这些类型之间有什么区别，一种是自动转换的，另一种不是？

Answer 1

根据 Go 语言规范：

https://golang.org/ref/spec#Assignability

该具体条款：

x 的类型 V 和 T 具有相同的基础类型，并且 V 或 T 中至少有一个不是已定义的类型。

请注意，string是已定义类型，[]byte是未定义类型。所以：

• 您可以将 a 分配[]byte给，alias因为它们具有相同的基础类型，并且[]byte是未定义的类型
• 您不能将 a 分配string给，alias因为它们都是已定义的类型。