我有一个带有*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, }
注意: 当使用 int而不是时,&0语法可以 正常 工作*int64。编辑:不,不。为此表示歉意。
&0
编辑:
显然,我的问题含糊不清。我正在寻找一种方式来 字面上状态 一个*int64。它可以在构造函数内部使用,或声明文字结构值,甚至可以用作其他函数的参数。但是助手功能或使用其他类型不是我想要的解决方案。
Go语言规范(地址运营商)不允许采取数字常量的地址(而不是一个 类型化的 ,也不是一个的 类型 不变)。
操作数必须是 可寻址的 ,即变量,指针间接 寻址 或切片索引操作;或可寻址结构操作数的字段选择器;或可寻址数组的数组索引操作。作为可寻址性要求的例外,x[在表达式中&x]也可以是(可能带有括号的)复合文字。
x
&x
为何不允许这样做,请参见相关问题:在go中找到常量地址。一个类似的问题(同样不允许使用其地址):如何在Go中存储对操作结果的引用?
您的选择(在Go Playground上全部尝试):
new()
您可以简单地使用内置new()函数来分配新的零值int64并获取其地址:
int64
instance := SomeType{ SomeField: new(int64), }
但是请注意,这只能用于分配和获取指向任何类型的零值的指针。
对于非零元素,最简单且建议使用的是使用可以获取其地址的辅助变量:
helper := int64(2) instance2 := SomeType{ SomeField: &helper, }
注意: 辅助函数可以获取指向非零值的指针,该函数在我的github.com/icza/gox库的builtinx包中可用,因此您不必将它们添加到需要的所有项目中。
github.com/icza/gox
builtinx
或者,如果您需要多次,则可以创建一个辅助函数,该函数分配并返回*int64:
func create(x int64) *int64 { return &x }
并使用它:
instance3 := SomeType{ SomeField: create(3), }
请注意,实际上我们没有分配任何东西,当我们返回函数参数的地址时,Go编译器会这样做。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]也可以是(可能带有括号的)复合文字。
这意味着采用复合文字(例如struct文字)的地址是可以的。如果这样做,我们将分配struct值并获得指向它的指针。但是,如果是这样,我们将可以使用另一个要求: “可寻址结构操作数的字段选择器” 。因此,如果struct文字包含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, }