在 go 语言中，类型转换是一个常见的操作，但并非所有类型之间的转换都是允许的。特别是当涉及到指针类型时，需要更加谨慎。本文将详细解释为什么在 go 中不能直接将 **int 转换为 **myint，并提供相应的解决方案。
Go 的类型系统与底层类型
Go 语言是一种静态类型语言，这意味着每个变量都有一个明确的类型，并且在编译时会进行类型检查。Go 的类型系统基于底层类型（underlying type）的概念。理解底层类型是理解类型转换的关键。
根据 Go 语言规范：
- 如果 T 是预声明类型（如 int, string, bool 等），则 T 的底层类型是 T 本身。
- 如果 T 是一个类型字面量（如 []int, *int, map[string]int），则 T 的底层类型是 T 本身。
- 如果 T 不是预声明类型或类型字面量，则 T 的底层类型是 T 在类型声明中引用的类型的底层类型。
例如：
type T1 int type T2 T1 type T3 *T1 type T4 T3
- int、T1 和 T2 的底层类型是 int。
- *T1、T3 和 T4 的底层类型是 *T1。
指针类型转换的限制
在 Go 语言中，只有当两个类型的底层类型相同时，才能进行类型转换。对于指针类型，这个规则也适用。
考虑以下代码：
package main
type myint int
func set(a **myint) {
i := myint(5)
*a = &i
}
func main() {
var k *int
// set( (**myint)(&k) ) // 编译错误：cannot convert &k (type **int) to type **myint
print(*k)
}上述代码中，尝试将 &k（类型为 **int）转换为 **myint 会导致编译错误。这是因为 **int 和 **myint 的底层类型不同。
- **int 的底层类型是 **int。
- **myint 的底层类型是 **myint。
由于 **int 和 **myint 的底层类型不同，因此不能直接进行类型转换。
解决方案
要解决这个问题，需要进行分步转换，利用 myint 和 int 的底层类型相同这个特性：
package main
type myint int
func set(a **myint) {
i := myint(5)
*a = &i
}
func main() {
var k *int
var kMyInt *myint
temp := myint(*k)
kMyInt = &temp
set(&kMyInt)
k = (*int)(kMyInt)
print(*k)
}或者，可以修改 set 函数的签名，使其接受 **int 类型的参数：
package main
type myint int
func set(a **int) {
i := 5
*a = &i
}
func main() {
var k *int
set(&k)
print(*k)
}总结
在 Go 语言中进行类型转换时，必须确保转换的类型具有相同的底层类型。对于指针类型，需要特别注意这一点。如果遇到类型转换错误，可以考虑分步转换或修改函数签名，以避免直接进行不允许的类型转换。理解 Go 的类型系统和底层类型的概念是编写健壮的 Go 代码的关键。
