我有一个带有*int64字段的结构类型。
*int64
type SomeType struct { SomeField *int64 }
在我的代码中的某个时候,我想声明一个文字(比如,当我知道所说的值应该是 0,或者指向 0 时,你知道我的意思)
instance := SomeType{ SomeField: &0, }
…除了这不起作用
./main.go:xx: cannot use &0 (type *int) as type *int64 in field value
所以我试试这个
instance := SomeType{ SomeField: &int64(0), }
…但这也不起作用
./main.go:xx: cannot take the address of int64(0)
我该怎么做呢?我能想出的唯一解决方案是使用占位符变量
var placeholder int64 placeholder = 0 instance := SomeType{ SomeField: &placeholder, }
编辑:
显然,我的问题含糊不清。我正在寻找一种从字面上说明a 的方法*int64。这可以在构造函数中使用,或者用于说明文字结构值,甚至可以作为其他函数的参数。但是辅助函数或使用不同类型不是我正在寻找的解决方案。
Go 语言规范(地址运算符)不允许获取数字常量的地址(不是无类型常量也不是类型常量)。
操作数必须是可寻址的,即变量、指针间接或切片索引操作;或可寻址结构操作数的字段选择器;或可寻址数组的数组索引操作。作为可寻址性要求的一个例外,x[在&x]的表达式中也可以是(可能带括号的)复合文字。
x
&x
您的选择(在Go Playground上尝试所有选项):
new()
您可以简单地使用内置new()函数来分配一个新的零值int64并获取其地址:
int64
instance := SomeType{ SomeField: new(int64), }
但请注意,这只能用于分配和获取指向任何类型的零值的指针。
对于非零元素,最简单和推荐的是使用一个可以获取地址的辅助变量:
helper := int64(2) instance2 := SomeType{ SomeField: &helper, }
注意:在我的github.com/icza/gox库中,gox包中提供了用于获取指向非零值的指针的辅助函数,因此您不必将它们添加到您需要的所有项目中。
github.com/icza/gox
gox
或者,如果您多次需要此功能,您可以创建一个辅助函数来分配并返回一个*int64:
func create(x int64) *int64 { return &x }
并使用它:
instance3 := SomeType{ SomeField: create(3), }
请注意,我们实际上没有分配任何东西,Go 编译器在我们返回函数参数的地址时这样做了。Go 编译器执行转义分析,并在堆(而不是堆栈)上分配局部变量(如果它们可能对函数进行转义)。有关详细信息,
instance4 := SomeType{ SomeField: func() *int64 { i := int64(4); return &i }(), }
或者作为(较短的)替代方案:
instance4 := SomeType{ SomeField: func(i int64) *int64 { return &i }(4), }
如果你想*SomeField成为其他人0,那么你需要一些可寻址的东西。
*SomeField
0
你仍然可以这样做,但这很丑陋:
instance5 := SomeType{ SomeField: &[]int64{5}[0], } fmt.Println(*instance2.SomeField) // Prints 5
这里发生的是一个[]int64切片是用文字创建的,有一个元素 ( 5)。并且它被索引(第0个元素)并取第0个元素的地址。在后台,一个 的数组[1]int64也将被分配并用作切片的后备数组。所以这里有很多样板。
[]int64
5
[1]int64
让我们检查可寻址性要求的例外情况:
作为可寻址性要求的一个例外,x[在&x]的表达式中也可以是(可能带括号的)复合文字。
这意味着采用复合文字的地址,例如结构文字是可以的。如果我们这样做,我们将分配结构值并获得指向它的指针。但如果是这样,我们就可以使用另一个要求:“可寻址结构操作数的字段选择器”。因此,如果结构体字面量包含一个 type 字段int64,我们也可以获取该字段的地址!
让我们看看这个选项的实际效果。我们将使用这个包装结构类型:
type intwrapper struct { x int64 }
现在我们可以这样做:
instance6 := SomeType{ SomeField: &(&intwrapper{6}).x, }
请注意,这
&(&intwrapper{6}).x
意思如下:
& ( (&intwrapper{6}).x )
但是我们可以省略“外”括号,因为地址运算符&应用于选择器表达式的结果。
&
另请注意,在后台会发生以下情况(这也是有效的语法):
&(*(&intwrapper{6})).x
原理与案例#6 相同,但我们也可以使用匿名结构体字面量,因此不需要帮助器/包装器结构类型定义:
instance7 := SomeType{ SomeField: &(&struct{ x int64 }{7}).x, }