Golang 数据类型别名

2024-01-09

字数统计: 1.1k字 | 阅读时长≈ 4分

Golang 官方文档: golang.google.cn
C 语言中文网: Golang 简介

Go 语言 type 关键字（类型别名）

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

在 go 1.9 版本之前定义内建类型的代码是这样写的:
1
2
type byte uint8
type rune int32
而在 go 1.9 版本之后变为:
1
2
type byte = uint8
type rune = int32
这个修改就是配合类型别名而进行的修改。

区分类型别名与类型定义

定义类型别名的写法为:
1
type TypeAlias = Type
类型别名规定: TypeAlias 只是 Type 的别名，本质上 TypeAlias 与 Type 是同一个类型，就像一个孩子小时候有小名、乳名，上学后用学名，英语老师又会给他起英文名，但这些名字都指的是他本人。

类型别名与类型定义表面上看只有一个等号的差异，那么她们之间实际的区别有哪些呢？如下所示

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

代码运行结果

1 2	a type: main.NewInt a2 type: int

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

非本地类型不能定义方法

能够随意的为各种类型起名字，是否意味着可以在自己的包里为这些类型任意添加方法呢？

以下面的代码进行演示

package main

import (
    "fmt"
    "time"
)

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

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

}

func main() {

}

编译上面的代码会报错，报错信息如下

1	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 包中。

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

当类型别名作为结构体嵌入的成员时会发生什么情况？以下面的例子作为参考

package main

import (
  "fmt"
  "reflect"
)

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

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

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

// 定义车辆结构，嵌入 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())
  }
}

代码输出如下

1 2	FieldName: FakeBrand, Fieldtype: Brand FieldName: Brand, Fieldtype: Brand

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

如果将第 33 行改为

a.Show()

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