如何在Go中执行文字* int64?


103

我有一个带有*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编辑:不,不。为此表示歉意。

编辑:

显然,我的问题含糊不清。我正在寻找一种方式来字面上状态一个*int64。它可以在构造函数内部使用,或声明文字结构值,甚至可以用作其他函数的参数。但是助手功能或使用其他类型不是我想要的解决方案。


1
指向int的指针很不幸,因为int占用的空间与指针相同,因此您没有节省空间。它只是添加了一个NULL值,该值通常比其价值要复杂得多。在大多数情况下,0即可。如果您需要一个额外的值,“ IsValidSomeField” bool也可以使用,并且给该bool一个更好的名称,它可以进一步说明您为什么需要该额外的值,这对可读性很有帮助。
voutasaurus

2
您可以使用包指针,例如:var _ *int64 = pointer.Int64(64)
Xor19'Nor

Answers:


212

Go语言规范(地址运营商)不允许采取数字常量的地址(而不是一个类型化的,也不是一个的类型不变)。

操作数必须是可寻址的,即变量,指针间接寻址或切片索引操作;或可寻址结构操作数的字段选择器;或可寻址数组的数组索引操作。作为可寻址性要求的例外,x[在&x] 表达式中,也可以是(可能带有括号的)复合文字

为何不允许这样做,请参见相关问题:在go中查找常量地址。一个类似的问题(同样不允许使用其地址):如何在Go中存储对操作结果的引用?

您的选择(在Go Playground上全部尝试):

1)与 new()

您可以简单地使用内置new()函数来分配一个新的零值int64并获取其地址:

instance := SomeType{
    SomeField: new(int64),
}

但是请注意,这只能用于分配和获取指向任何类型零值的指针。

2)使用辅助变量

对于非零元素,最简单且建议使用的是使用可以获取其地址的辅助变量:

helper := int64(2)
instance2 := SomeType{
    SomeField: &helper,
}

3)具有辅助功能

注意:辅助函数可以获取指向非零值的指针,该函数在我的github.com/icza/gox库的gox包中可用,因此您不必将它们添加到需要的所有项目中。

或者,如果您需要多次,则可以创建一个辅助函数,该函数分配并返回*int64

func create(x int64) *int64 {
    return &x
}

并使用它:

instance3 := SomeType{
    SomeField: create(3),
}

请注意,实际上我们没有分配任何东西,当我们返回函数参数的地址时,Go编译器会这样做。Go编译器执行转义分析,并在局部变量(而不是堆栈)上分配局部变量(如果它们可以使函数逃逸)。有关详细信息,请参见在Go函数中返回局部数组的切片是否安全?

4)具有一线匿名功能

instance4 := SomeType{
    SomeField: func() *int64 { i := int64(4); return &i }(),
}

或作为(较短的)替代方法:

instance4 := SomeType{
    SomeField: func(i int64) *int64 { return &i }(4),
}

5)使用切片文字,索引和接收地址

如果您不想*SomeField成为0,则需要一些可寻址的东西。

您仍然可以这样做,但这很丑陋:

instance5 := SomeType{
    SomeField: &[]int64{5}[0],
}
fmt.Println(*instance2.SomeField) // Prints 5

此处发生的是使用[]int64带有一个元素(5)的文字创建的切片。并对其进行索引(第0个元素),并获取第0个元素的地址。在后台[1]int64还将分配数组,并将其用作切片的后备数组。因此,这里有很多样板。

6)使用辅助结构字面量

让我们检查可寻址性要求的例外情况:

作为可寻址性要求的例外,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

7)使用辅助匿名结构文字

其原理与案例6相同,但是我们也可以使用匿名结构文字,因此不需要帮助程序/包装程序结构类型定义:

instance7 := SomeType{
    SomeField: &(&struct{ x int64 }{7}).x,
}

1
这与占位符问题中的最后一个示例在功能上有所不同,因为instance两个不同的对象将指向两个不同的对象int64的 s。但它似乎满足OP的意图充分
瑞安海宁

2
这肯定回答了我的问题。但这让我很沮丧:&[]int64{2}[0],根据Blog.golang.org/constants上的常量描述,我觉得这应该&0
ThisGuy

@RyanHaining如果要分配相同的地址,该怎么办?如果两个不同的instance对象指向同int64一个对象,而一个对象修改了指向的对象,则两者都会改变。而且,如果现在您使用相同的文字来创建3rd instance怎么办?现在,相同的地址将指向不同的int64值...因此应使用不同的地址,但是为什么在前两个地址中使用相同的地址?
icza

@icza,您通常不希望它们指向同一对象,我并不是说您会。我只是指出区别。
瑞安·海宁

4
@Conslo常量在编译时评估。有效的指针值,有效的内存地址仅在运行时存在,因此它与常量不同。
icza 2015年

6

使用返回int64变量地址的函数来解决该问题。

在下面的代码中,我们使用f接受整数并返回包含整数地址的指针值的函数。通过使用这种方法,我们可以轻松解决上述问题。

type myStr struct {
    url *int64
}

func main() {
    f := func(s int64) *int64 {
        return &s
    }
    myStr{
        url: f(12345),
    }
}
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.