在 Golang 错误中从一个指针到指针类型转换为另一种类型

Question

谁能告诉我为什么这不能编译？

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

到目前为止我的推理是这样的。 Golang 中的所有类型都是不同的，但只要基础类型相同，它就允许使用类似 C 的强制转换语法从一种类型转换为另一种类型。在我的示例中，将“int”转换为“myint”不是问题。 '*int' 到 '*myint' 也不是。当你有指针指向指针时就会出现问题。我已经被困在这个问题上第二天了。任何帮助表示赞赏。

Answer 1

这是我的分析。

(**myint)(&k) -- 无法将 &k (type **int) 转换为 type * *myint：

type **int 和 type **myint 是未命名的指针类型及其指针基类型，type *int和 type *myint 没有相同的基础类型。

如果 T（*int 或 *myint）是指针类型文字，则相应的基础类型是 T 本身。

(*myint)(k) -- 可以将 k (type *int) 转换为 type *myint：

type *int 和 type *myint 是未命名的指针类型及其指针基类型，type int 和 type myint （type myint int），具有相同的基础类型。

如果 T (int) 是预声明类型，则相应的基础类型是 T 本身。如果 T (myint) 既不是预声明类型，也不是类型文字，则 T 的基础类型是 T 在其类型声明中引用的类型的基础类型 (type myint int)代码>）。

(myint)(*k) -- 可以将 *k (type int) 转换为 type myint:

< code>type int 和 type myint 具有相同的基础类型。

如果 T (int) 是预声明类型，则相应的基础类型是 T 本身。如果 T (myint) 既不是预声明类型，也不是类型文字，则 T 的基础类型是 T 在其类型声明中引用的类型的基础类型 (type myint int)代码>）。

以下是类型部分中的基础类型示例，已修改为使用整数和 int 指针。

type T1 int
type T2 T1
type T3 *T1
type T4 T3

int、T1 和 T2 的基础类型是 int。 *T1、T3 和 T4 的基础类型是 *T1。

参考资料：

Go 编程语言规范

转换

类型

类型和值的属性

类型声明

预声明标识符

指针类型

Answer 2

这是您的程序的两个功能等效的工作版本。

package main

type mypint *int

func set(a *mypint) {
    i := int(5)
    *a = &i
}

func main() {
    var k *int
    set((*mypint)(&k))
    print(*k)
}

http://play.golang.org/p/l_b9LBElie

package main

type myint int

func set(a *myint) *myint {
    i := myint(5)
    a = &i
    return a
}

func main() {
    var k *int
    k = (*int)(set((*myint)(k)))
    print(*k)
}

http://play.golang.org/p/hyaPFUNlp8