本文详解 Go 语言中通过 type 关键字定义的新类型（如 type INTEGER int）与底层基础类型（如 int）之间不兼容、不可隐式赋值的特性，并提供安全、规范的显式转换方案。
本文详解 go 语言中通过 `type` 关键字定义的新类型（如 `type integer int`）与底层基础类型（如 `int`）之间**不兼容、不可隐式赋值**的特性，并提供安全、规范的显式转换方案。
在 Go 语言中，type 声明并非类型别名（alias），而是创建一个
全新的、独立的类型
，即使其底层（underlying type）与某个内置类型完全相同。这意味着：INTEGER 和 int 在类型系统中被视为两个互不兼容的类型——它们不能互相赋值、不能混用于函数参数或返回值上下文，也不满足接口实现的自动推导（除非显式转换）。
例如，以下代码会编译失败：
错误信息明确指出：aa 和 bb 的类型是 INTEGER，而 F() 返回的是 int，Go
禁止隐式类型转换
，哪怕底层表示一致。
✅ 正确做法是
显式转换
：先接收原始 int 值，再逐个转换为目标类型：
⚠️ 注意事项：
不可写作 aa, bb = INTEGER(F(100, 50)) —— Go 不支持对多值返回结果整体强制转换；
若频繁使用，可封装辅助函数提升可读性：
Go 1.9+ 引入的 type alias（使用 type INTEGER = int）才表示“同一类型”，此时可直接赋值；但本例中 type INTEGER int 是
新类型声明
，语义完全不同。
总结：Go 的强类型设计强调类型安全与语义清晰。自定义类型（type NewType Base）本质是类型封装，必须通过显式转换桥接底层类型。理解并遵循这一规则，是编写健壮、可维护 Go 代码的基础。
package main
import "fmt"
func main() {
type INTEGER int
var aa, bb INTEGER
aa, bb = F(100, 50) // ❌ 编译错误：cannot assign int to aa (type INTEGER)
}
func F(a int, b int) (sum int, difference int) {
return a + b, a - b
}func main() {
type INTEGER int
var aa, bb INTEGER
sum, diff := F(100, 50) // 接收为 int 类型变量
aa, bb = INTEGER(sum), INTEGER(diff) // 显式转换后赋值
fmt.Println(aa, bb) // 输出：150 50
}func toINTEGER(i int) INTEGER { return INTEGER(i) }
// 使用：aa, bb = toINTEGER(sum), toINTEGER(diff)