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不是同一个类型
}