golang-101-hacks(22)——Types

注:本文是对golang-101-hacks中文翻译

Go语言中的数据类型可分为两类:已命名和未命名。除了预先已声明的类型(如“int”、“rune”等),还可以自己定义命名类型。例如:

type mySlice []int

未命名类型由文字类型定义。即, []int是一个未命名的类型。 根据Go spec,每种类型都有一个底层类型: Unnamed types are defined by type literal. I.e., []int is an unnamed type. According to Go spec, there is an underlying type of every type: 每个类型T都有一个底层类型:如果T是预先声明的布尔型、数值型、字符串型或文字型中的一种,对应的底层类型就是T本身。否则,T的基础类型就是T在其类型声明中引用的类型的基础类型。

因此,在上面的示例中,命名类型“mySlice”和未命名类型“[]int”都具有相同的底层类型:“[]int”。 go有严格的变量赋值规则。例如:

package main

import "fmt"

type mySlice1 []int
type mySlice2 []int

func main() {
    var s1 mySlice1
    var s2 mySlice2 = s1

    fmt.Println(s1, s2)
}

编译会报错: The compilation will complain the following error:

cannot use s1 (type mySlice1) as type mySlice2 in assignment

虽然' s1 '和' s2 '的底层类型相同:' []int ',但是它们属于' 两 '种不同的命名类型(' mySlice1 '和' mySlice2 '),所以它们不能彼此赋值。但如果您将' s2 '的类型修改为' []int ',编译就没有问题: Although the underlying type of s1 and s2 are same: []int, but they belong to 2 different named types (mySlice1 and mySlice2), so they can't assign values each other. But if you modify s2's type to []int, the compilation will be OK:

package main

import "fmt"

type mySlice1 []int

func main() {
    var s1 mySlice1
    var s2 []int = s1

    fmt.Println(s1, s2)
}

它背后的神奇之处在于一条规则可转让性 x的类型V和T具有相同的底层类型,并且至少有一个V或T不是命名类型。 参考: Go spec; Learning Go - Types; Golang pop quiz.

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

扫码关注云+社区

领取腾讯云代金券