Go 类型系统#

Underlying Type#

  • 每一个类型都有自己的 Underlying Type
    • 如果 T 是 Pre-declared type 或者 Type Literal，它们对应的 Underlying Type 就是自身 T
      • 比如 type T int 的 Underlying Type 是 int
        • int 是 Pre-declared
      • type T map[int]string 的 Underlying Type 是 map[int]string
        • map[int]string 是 Type Literal
    • 否则 T 的 Underlying Type 是 T 定义时引用的类型的 Underlying Type

Underlying Type 相同#

如果两个 type 的 Underlying Type 相同，则它们可以有以下特性：

  • 如果两个 type 都是 named type ，彼此之间不能相互赋值

    type NewString string
var my string ="a"
// cannot use my (type string) as type NewString in assignment
// 虽然它们的 Underlying Type 都是 string，但 string 类型的 my 不能赋值给 NewString 类型的 you
var you NewString = my

  • 如果两个 type 其中一个是 Unnamed Type，彼此之间可以相互赋值

    package main

type Ptr *int
//named type
type Map map[int]string
type MapMap Map

func main() {
    var p *int
    var mm Map
    var mmm MapMap
    // m1 m2 是 Unnamed Type
    var m1 map[int]string = mm
    var m2 map[int]string = mmm
    var ptr Ptr = p
    print(ptr)
    print(m1)
    print(m2)
}

原因： 如果为一个类型起了名字，说明你想要做区分，所以两个 named types 即使 Underlying Type 相同也是不能相互赋值的。

参考：