golang-101-hacks(22)——Types

羊羽shine · · 198 次点击 · · 开始浏览    
这是一个创建于 的文章,其中的信息可能已经有所发展或是发生改变。

注:本文是对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.


有疑问加站长微信联系(非本文作者)

本文来自:简书

感谢作者:羊羽shine

查看原文:golang-101-hacks(22)——Types

入群交流(和以上内容无关):加入Go大咖交流群,或添加微信:liuxiaoyan-s 备注:入群;或加QQ群:701969077

198 次点击  
加入收藏 微博
添加一条新回复 (您需要 登录 后才能回复 没有账号 ?)
  • 请尽量让自己的回复能够对别人有帮助
  • 支持 Markdown 格式, **粗体**、~~删除线~~、`单行代码`
  • 支持 @ 本站用户;支持表情(输入 : 提示),见 Emoji cheat sheet
  • 图片支持拖拽、截图粘贴等方式上传