golang：type关键字（类型别名）

我会带着你远行 2022-03-01 11:51 210阅读 0赞

类型别名是 Go 1.9 版本添加的新功能，主要用于解决代码升级、迁移中存在的类型兼容性问题。在 C/C++ 语言中，代码重构升级可以使用宏快速定义一段新的代码，Go语言中没有选择加入宏，而是解决了重构中最麻烦的类型名变更问题。

在 Go 1.9 版本之前定义内建类型的代码是这样写的：

type byte uint8
    type rune int32

而在 Go 1.9 版本之后变为：

type byte = uint8
    type rune = int32

这个修改就是配合类型别名而进行的修改。

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

package main
    import (
        "fmt"
    )
    // 将NewInt定义为int类型
    type NewInt int
    // 将int取一个别名叫IntAlias
    type IntAlias = int
    func main() {
        
        // 将a声明为NewInt类型
        var a NewInt
        // 查看a的类型名
        fmt.Printf("a type: %T\n", a)
        // 将a2声明为IntAlias类型
        var a2 IntAlias
        // 查看a2的类型名
        fmt.Printf("a2 type: %T\n", a2)
    }

![在这里插入图片描述][d5e3f6b50a4b443dbb2dc1755b48ca52.png]  
结果显示 a 的类型是 main.NewInt，表示 main 包下定义的 NewInt 类型，a2 类型是 int，IntAlias 类型只会在代码中存在，编译完成时，不会有 IntAlias 类型。

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

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

package main
    import (
        "time"
    )
    // 定义time.Duration的别名为MyDuration
    type MyDuration = time.Duration
    // 为MyDuration添加一个函数
    func (m MyDuration) EasySet(a string) {
        
    }
    func main() {
        
    }

编译上面代码报错，信息如下：  
![在这里插入图片描述][3f0699d52b4a4417bce84b359776720d.png]  
编译器提示：不能在一个非本地的类型 time.Duration 上定义新方法，非本地类型指的就是 time.Duration 不是在 main 包中定义的，而是在 time 包中定义的，与 main 包不在同一个包中，因此**不能为不在一个包中的类型定义方法**。

解决这个问题有下面两种方法：

*  将第 8 行修改为 type MyDuration time.Duration，也就是将 MyDuration 从别名改为类型；
 *  将 MyDuration 的别名定义放在 time 包中。

# 在结构体成员嵌入时使用别名 #

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

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.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())
        }
    }

如果尝试将第 33 行改为：

a.Show()

编译器将发生报错：  
![在这里插入图片描述][9cf9c65bc16d48da82fd67f7f2915ad7.png]  
在调用 Show() 方法时，因为两个类型都有 Show() 方法，会发生歧义，证明 FakeBrand 的本质确实是 Brand 类型

[d5e3f6b50a4b443dbb2dc1755b48ca52.png]: /images/20220301/5eadc9410bb7421c82b29afb1382fc14.png
[3f0699d52b4a4417bce84b359776720d.png]: /images/20220301/c07f925a245643d7a37c501502e09edb.png
[9cf9c65bc16d48da82fd67f7f2915ad7.png]: /images/20220301/f90fc5f188cd476eb80b86e9b414ec5f.png