美文网首页
Go有关Type的一个问题

Go有关Type的一个问题

作者: 咣咣当 | 来源:发表于2017-11-02 22:17 被阅读0次
    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不是同一个类型
    }
    

    相关文章

      网友评论

          本文标题:Go有关Type的一个问题

          本文链接:https://www.haomeiwen.com/subject/cdzapxtx.html