20220528@类型别名

## 区分类型别名与类型定义

定义类型别名的写法为：

```golang
type TypeAlias = Type
```

类型别名规定：TypeAlias 只是 Type 的别名，本质上 TypeAlias 与 Type 是同一个类型

类型别名与类型定义表面上看只有一个等号的差异，那么它们之间实际的区别有哪些呢？下面通过一段代码来理解。

```golang
package main

import "fmt"

//将newInt定义为int类型
type newInt int

//将int取别名为intAlias
type intAlias = int

func main()  {
	//将a1声明为newInt 类型
	var a1 newInt
	//查看a1的类型
	fmt.Printf("a1's type: %T\n",a1)

//将a2声明为intAlias类型
	var a2 intAlias
	//查看a2的类型
	fmt.Printf("a2's type: %T\n",a2)
}

//result：
//a1's type: main.newInt
//a2's type: int
```

结果显示 :
a1 的类型是 main.newInt，表示 main 包下定义的 newInt 类型，
a2 类型是 int，intAlias 类型只会在代码中存在，编译完成时，不会有 intAlias 类型。

## 非本地类型不能定义方法

能够随意地为各种类型起名字，是否意味着可以在自己包里为这些类型任意添加方法呢？参见下面的代码演示：
```golang
package main

import (
    "time"
)

// 定义time.Duration的别名为MyDuration
type MyDuration = time.Duration

// 为MyDuration添加一个函数
func (m MyDuration) EasySet(a string) {
}

func main() {
}

```
代码说明如下：
第 8 行，为 time.Duration 设定一个类型别名叫 MyDuration。
第 11 行，为这个别名添加一个方法。

编译上面代码报错，信息如下：
```
cannot define new methods on non-local type time.Duration
```

编译器提示：不能在一个非本地的类型 time.Duration 上定义新方法，非本地类型指的就是 time.Duration 不是在 main 包中定义的，而是在 time 包中定义的，与 main 包不在同一个包中，因此不能为不在一个包中的类型定义方法。

解决这个问题有下面两种方法：
>方法一：将第 8 行修改为 type MyDuration time.Duration，也就是将 MyDuration 从别名改为类型；
方法二：将 MyDuration 的别名定义放在 time 包中。

## 在结构体成员嵌入时使用别名
当类型别名作为结构体嵌入的成员时会发生什么情况呢？请参考下面的代码。
```golang
package main

import (
    "fmt"
    "reflect"
)

// 定义商标结构
type Brand struct {
}

// 为商标结构添加Show()方法
func (t Brand) Show() {
}

// 为Brand定义一个别名FakeBrand
type FakeBrand = Brand

// 定义车辆结构
type Vehicle struct {

// 嵌入两个结构
    FakeBrand
    Brand
}

func main() {

// 声明变量a为车辆类型
    var a Vehicle
   
    // 指定调用FakeBrand的Show
    a.FakeBrand.Show()

// 取a的类型反射对象
    ta := reflect.TypeOf(a)

// 遍历a的所有成员
    for i := 0; i < ta.NumField(); i++ {

// a的成员信息
        f := ta.Field(i)

// 打印成员的字段名和类型
        fmt.Printf("FieldName: %v, FieldType: %v\n", f.Name, f.Type.
            Name())
    }
}
```
代码输出如下：
```
FieldName: FakeBrand, FieldType: Brand
FieldName: Brand, FieldType: Brand
```

代码说明如下：
第 9 行，定义商标结构。
第 13 行，为商标结构添加 Show() 方法。
第 17 行，为 Brand 定义一个别名 FakeBrand。
第 20～25 行，定义车辆结构 Vehicle，嵌入 FakeBrand 和 Brand 结构。
第 30 行，将 Vechicle 实例化为 a。
第 33 行，显式调用 Vehicle 中 FakeBrand 的 Show() 方法。
第 36 行，使用反射取变量 a 的反射类型对象，以查看其成员类型。
第 39～42 行，遍历 a 的结构体成员。
第 45 行，打印 Vehicle 类型所有成员的信息。

这个例子中，FakeBrand 是 Brand 的一个别名，在 Vehicle 中嵌入 FakeBrand 和 Brand 并不意味着嵌入两个 Brand，FakeBrand 的类型会以名字的方式保留在 Vehicle 的成员中。

如果尝试将第 33 行改为：
```
a.Show()
```
编译器将发生报错：
```
ambiguous selector a.Show
```
在调用 Show() 方法时，因为两个类型都有 Show() 方法，会发生歧义，证明 FakeBrand 的本质确实是 Brand 类型。

学习结束地址：http://c.biancheng.net/view/25.html