为何Go语言中uint8与byte支持隐式类型转换？

这是个非常典型的Go类型系统问题，核心区别在于类型别名和自定义命名类型的本质差异：

1. byte 是 uint8 的类型别名，而非独立类型 #

Go语言规范里对byte和rune做了特殊定义：

byte is an alias for uint8 and rune is an alias for int32.

类型别名的本质是“同一个类型的不同名字”，在编译阶段，编译器会直接把byte和uint8视为完全等价的类型——它们共享相同的底层类型、内存布局，甚至可以互相替换使用，自然支持隐式转换。这就是你第二个例子中：

func main() {
    var a byte
    var b uint8
    a = b // 正常，因为byte和uint8是同一类型的别名
    b = a // 正常
}

能正常编译的原因。

2. 自定义类型是全新的独立类型 #

当你使用type myByte byte声明类型时，你创建的是一个全新的命名类型，它虽然和byte拥有相同的底层类型，但在Go的类型系统里是完全独立的个体：

• 它有自己的类型标识，编译器会把它和byte视为不同类型
• 你可以为这个自定义类型添加专属方法，而不会影响原类型
• 因此，不同命名类型之间的赋值必须显式转换，这也是《Go程序设计语言》中提到的规则：

即使两种类型拥有相同的底层类型，将一个值从一种类型转换为另一种类型也需要显式转换

对应你的第一个例子：

type myByte byte
func main() {
    var a byte
    var b myByte
    a = b // 编译错误：类型不匹配，myByte和byte是不同命名类型
    a = byte(b) // 显式转换后合法，告诉编译器将myByte转换为byte
}

简单总结：

• byte = uint8：同一个类型的两个名字，隐式转换无压力
• myByte ≠ byte：两个独立的命名类型，必须显式转换

内容的提问来源于stack exchange，提问作者Joseph Yu