什么是类型定义与类型别名
在Go语言中，我们通过type关键字可以声明新的类型，常见的两种形式分别是类型定义和类型别名，二者的语法看起来非常相似，但语义完全不同。
类型定义的语法是type T U，其中T是新创建的独立类型，U是底层类型。而类型别名的语法是type T = U，多了一个等号，T只是U的一个别名，二者本质上是同一个类型。
核心语义差异对比
底层类型与类型独立性
类型定义会创建一个全新的类型，新类型T的底层类型是U，但T和U是完全不同的类型，不存在直接的赋值兼容性。而类型别名T和U的底层类型相同，且二者完全等价，可以直接互相赋值。
我们可以通过下面的代码示例来验证这个差异：
package main
import "fmt"
// 类型定义：创建新类型MyInt，底层类型是int
type MyInt int
// 类型别名：IntAlias是int的别名，和int完全等价
type IntAlias = int
func main() {
var a int = 10
var b MyInt = 20
var c IntAlias = 30
// 以下赋值会编译报错：cannot use a (type int) as type MyInt in assignment
// b = a
// 类型别名可以直接赋值，不需要转换
c = a
fmt.Println(c) // 输出30
// 类型定义需要显式类型转换
b = MyInt(a)
fmt.Println(b) // 输出10
}
方法集差异
类型定义的新类型不会继承原类型的方法，除非我们为新类型单独定义方法。而类型别名会完全继承原类型的方法集，因为二者本质上是同一个类型。
示例代码如下：
package main
import "fmt"
type MyString string
type StringAlias = string
// 为MyString定义方法
func (m MyString) SayHello() {
fmt.Println("Hello from MyString")
}
func main() {
var s string = "test"
var ms MyString = "test"
var sa StringAlias = "test"
// 以下调用会编译报错：s.SayHello undefined (type string has no field or method SayHello)
// s.SayHello()
ms.SayHello() // 输出Hello from MyString
// StringAlias继承了string的所有方法
fmt.Println(sa.Len()) // 输出4
fmt.Println(s.Len()) // 输出4
}
类型断言与类型判断差异
在使用reflect包进行类型判断时，类型定义的新类型和原类型会被识别为不同的类型，而类型别名和原类型会被识别为同一个类型。
package main
import (
"fmt"
"reflect"
)
type MyInt int
type IntAlias = int
func main() {
var a int = 10
var b MyInt = 10
var c IntAlias = 10
fmt.Println(reflect.TypeOf(a) == reflect.TypeOf(b)) // 输出false
fmt.Println(reflect.TypeOf(a) == reflect.TypeOf(c)) // 输出true
}
使用场景建议
如果我们需要创建一个具有独立语义的新类型，比如为业务场景定义专门的ID类型，避免不同类型之间的错误赋值，应该选择类型定义。例如：
// 定义用户ID类型，避免和订单ID、商品ID等int类型错误赋值 type UserID int type OrderID int
如果我们需要简化长类型名称，或者在重构代码时兼容旧类型，应该选择类型别名。例如Go 1.9之后引入的byte和rune其实就是类型别名：
type byte = uint8 type rune = int32
常见误区提醒
- 不要误以为
type T U和type T = U是等价的，二者语义差异很大，错误使用会导致编译错误或者逻辑异常。 - 类型定义的新类型虽然底层类型和原类型相同，但是不能直接调用原类型的方法，也不能直接接收原类型的函数参数，需要显式转换。
- 类型别名在代码中只是原类型的另一个名字，在编译阶段会被直接替换为原类型，不会创建新的类型结构。
总结来说，类型定义是创建新类型，类型别名是给原类型起别名，二者的核心差异体现在类型独立性、方法集、类型判断三个方面，开发者需要根据实际需求选择合适的声明方式。