Go有关Type的一个问题

type Track int
type TrackType  []Track
func main() {
    tracks := []Track{
        1,2,
    }
    var tracksType TrackType = tracks
    var tracks2 []Track = tracksType
    fmt.Println(tracksType,tracks2)
}

TrackType是一个新的类型,为什么可以和[]Track相互转换!!
还有一个问题是,既然type定义的是新类型,那么type HandleFunc func()为什么指名传递HandleFunc,但是传递一个匿名函数也可用。后来才想明白,func()本来就不是一个类型(准备的说是一个没有命名的类型,如int这种是有名字的类型所以是命名类型),而使用type给func()定义了一个类型(有了名字),所以能够进行互换,但是如果再给HandleFunc定一个新类型就不能互换了,如type HandleFunc2 HandleFunc,HandleFunc2和HandleFunc不能互换,因为两者都是命名类型,那么此时两者类型就不一样了。

如func(),数组类型[]int,struct,接口,slice,map,channel指针这些都不是命名类型。

参考下go1.9 新特性 https://github.com/golang/proposal/blob/master/design/18130-type-alias.md

type Name1 map[string]string
type Name2 map[string]string
type Alias = map[string]string

According to Go assignability, a value of type Name1 is assignable to map[string]string (because the latter is not a named type) but a value of type Name1 is not assignable to Name2 (because both are named types, and the names differ). In this example, because Alias is an alternate spelling for map[string]string, a value of type Name1 is assignable to Alias (because Alias is the same as map[string]string, which is not a named type).

翻译就是

根据Go可分配性,Name1类型的值可以分配给map [string]字符串(因为后者不是命名类型),但是Name1类型的值不能分配给Name2(因为它们都是命名类型,名称不同)。在此示例中,由于Alias是map [string]字符串的替代拼写,Name1类型的值可分配给Alias(因为Alias与map [string]字符串相同,而不是命名类型)。

从以上说明可以得出,对于slice,map[string]int,等类型,因为他们不是命名类型,所以在type MyType []Type的情况下,是可以将[]Type分配给MyType的,并且MyType也可以分配给[]Type。

Go的可分配性

对于赋值而言,以下情况可以将x的值赋给T类型。

  • x的类型与T相同
  • x的类型和T具有相同的底层类型,并且至少有一个不是定义类型(即有一个是非命名类型)
  • T是一个接口,并且x实现了T
  • x是一个双向通道,T是一个通道类型,并且x的类型和T具有相同的底层类型,至少有一个不是定义类型。
  • x是nil的时候,可以赋给指针类型,函数类型,slice,map,channel等引用类型和接口类型等
  • x是由类型T的值表示的无类型常量。

针对以上的第二条做个解释,如下代码示例:

type Func func()
type Func2 Func
func Test1(f Func){
}

func Test2(f Func2){
}
func main(){
    m := func(){

    }
    Test1(m)
    Test2(m)
}

上述代码是可以运行的,其中m的类型是func()非命名类型,但是传递Test1和Test2中都可以使用,说明在传递的时候func()和Func以及Func2都能互相转换,其中func()和Func能进行互相赋值好理解,但是为什么func()和Func2也能互相赋值,这个时候看下第二条规则就明白了:x的类型和T具有相同的地底层类型,并且至少有一个不是定义类型(即有一个是非命名类型),因为func()和Func2有相同的底层类型,其中func()不是定义类型,所以两者可以互相赋值。
但是以下代码无法正确执行,因为m类型是指定的Func,不符合以上任何一条规则,所以不能和Func2进行互相转换。

func main(){
      var m Func = func(){}
      Test1(m)  //success,因为Func是非命名类型的第一个命名,可互相转换
      Test2(m) // failed,Func和Func2不是同一个类型
}
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 212,185评论 6 493
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,445评论 3 385
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 157,684评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,564评论 1 284
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,681评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,874评论 1 290
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,025评论 3 408
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,761评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,217评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,545评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,694评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,351评论 4 332
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,988评论 3 315
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,778评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,007评论 1 266
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,427评论 2 360
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,580评论 2 349

推荐阅读更多精彩内容