转自：微点阅读 https://www.weidianyuedu.com
在go语言中，type用于类型定义(type definition)与类型别名(type alias)。这两者的差别从名字上已经可以初见端倪。
类型定义即定义新类型，是一个全新的类型，但可能与被定义类型存在一些关系，如类型转换，方法继承等。类型定义在各语言中有不同的体现，如Java是用class, interface等关键字作类型定义，在python中也是使用class关键字。只不过go为了简洁的原则，可以省些关键字，因而与类型别名重用了type关键字。
类型别名则是对被定义类型的别称，与其是相同的类型，只不过取了另外一个名字而已。类型别名是本文讨论的重点。这里有几个问题，一是为何go要引入类型别名，其有什么好处？为什么Java或者其他语言没有类型别名？
在go语言中，type有5种作用，罗列如下。但在本文中，只讲述类型定义与类型别名。
- 定义接口
- 定义结构体
- 类型定义
- 类型别名
- 类型查询
类型定义
-
package main -
import "fmt" -
func main() { -
h := House{height: 1.0, width: 2.0} -
fmt.Println(h.Height()) -
wh := WhiteHouse{height: 1.0, width: 2.0} -
fmt.Println(wh.Area()) -
w := House(wh) //类型转换 -
fmt.Println(w.Width()) -
f1 := Factory{height: 1.0, width: 2.0} -
f2 := Factory2{name: "test"} -
fw := House(f1) -
fmt.Println(fw) -
fw2 := House(f2) //运行时这里会报类型转换错误 -
fmt.Println(fw2) -
} -
type House struct { -
height float32 -
width float32 -
} -
func (h *House) Height() float32 { -
return h.height -
} -
func (h *House) Width() float32 { -
return h.width -
} -
type WhiteHouse House //类型定义 -
func (h *WhiteHouse) Area() float32 { -
return h.height * h.width -
} -
type Factory struct { -
height float32 -
width float32 -
} -
type Factory2 struct { -
name string -
}
WhiteHouse与House是两个不同的类型，方法Area只属于WhiteHouse。 WhiteHouse可以转换为House类型。但对于类型Factory与Factory2，House与WhiteHouse都只能与Factory进行类型转换（尽管这种类型转换在实践中基本不会出现），而与Factory2进行类型转换则会报错。个中原因在于struct类型的内存布局是按顺序存储的，因为只要类型拥有的属性一致，则进行类型转换不会报运行时错误。既然是顺序存储，那么适当合理地安排不同类型属性的出现顺序，可以达到优化内存使用的目的。比如将几个可以计算出占用内存和为8、16、32、64的属性放在一起，当然内存对齐的位数因不同平台和编译器而异。
类型定义通常还用在定义函数类型上，示例如下：
-
type Handler func(name string) -
func process(h Handler) { -
h("test") -
}
类型别名
在go语言中，类型别名的定义示例如下：
-
package main -
import "fmt" -
func main() { -
h := House{height: 1.0, width: 2.0} -
fz := Fangzi{height: 1.0, width: 2.0} -
fmt.Println(h.Area()) //House也有了Area方法 -
fmt.Println(fz.Area()) -
} -
type House struct { -
height float32 -
width float32 -
} -
func (h *House) Height() float32 { -
return h.height -
} -
func (h *House) Width() float32 { -
return h.width -
} -
type Fangzi = House //类型别名 -
func (f *Fangzi) Area() float32 { -
return f.height * f.width -
}
在语法上，类型别名与类型定义的差别仅仅是一个=号。但从上述示例可知，对Fangzi的改变，同样会体现在House上。Fangzi添加了Area方法，同时House也获得了计算Area的能力。这一点与类型定义是明显不同的。
从这里可以看出，类型别名的一个好处在于可以为不喜欢的类型取一个漂亮的名字。比如，如果你更喜欢Human多于Person的话。
-
type Person struct { -
name string -
age int -
sex string -
} -
type Human = Person
除此之外呢？对于库开发者来说，新旧版本包的迁移应是比较常见的事，特别是大版本升级的时候。那么为了保证新旧之间的兼容，可能就会用到类型别名的特性。比如旧包中的com.eventer/lib/AI，大版本升级时，需要变成com.eventer/lib2/AI。如果直接去掉lib/AI，则会造成使用这个库的项目，在引用新包时需要修改所有引用了旧包AI类型的代码。因而更好的作法是在移除com.eventer/lib/AI原有代码之后，加上一个类型别名的定义，即可完美解决这个问题。
-
package com.eventer/lib -
import "com.eventer/lib2" -
type AI = lib2.AI
还有吗？如果下面的示例也能被称作一种用途的话，那么这一种用法就是"导出未被导出的类型"。
-
type house struct { -
name string -
height float32 -
width float32 -
} -
func (h *house) getName() string { -
return h.name -
} -
func (h *house) GetArea() string { -
return h.height * h.width -
} -
type House = house
但我认为这还是跟前文所述的类型别名的标准用法一般无异，实在看不出有什么不同，除了单词与原类型相同而已。否则根本没必要这样写代码，直接把house声明为House不是更直截了当？除非是用于取别名。
如果go有泛型，那么类型别名在简化代码，提高代码可读性方面，无疑将带来极大的好处。特别是对于java语言那种泛型的复杂度让人抓狂的语言，只可惜java没有语言层面的类型定义语法。虽然可以通过一些取巧的方式也能达到类似的效果，比如继承。比如下面的例子：
-
public class LongArrayList extends ArrayList<Long> { -
}
上述代码定义一个Long类型的动态数组，相当于为泛型的ArrayList定义了一个新类型，在代码中可以直接使用。这是采用代码技巧突破在java中不能在顶级（top level）定义类型别名的限制，但 通过定义一个类来完成这件事情，是不是太重量级了。再比如：
-
class Test<I extends Integer> { -
<L extends Long> void x(I i, L l) { -
System.out.println(i.intValue() + ", " + l.longValue()); -
} -
}
这是在类级别或方法级别定义类型别名。上述例子是通过给Integer、Long定义更短的名字——I和L。
反正这两种都只是语法形式上的变通，通常没人这样用。
而在C语言中，有同样的功能typedef关键字，比如：
-
typedef struct Name1 { -
elemtype ElemName; -
} Name2, Name3;
其中Name1为结构体名，同时它还有两个"外号"：Name2，Name3，因为c没有对象的概念，所以很明显这里的typedef并没有go的type关键字的内容多，但他们底层的原理应是相同的，都是通过在在编译时期替换完成。
