为什么对变量进行内联实例化需要显式地将其地址用作指针方法，而对于现有的var则隐式

小编典典

为什么对变量进行内联实例化需要显式地将其地址用作指针方法，而对于现有的var则隐式

有这种行为的原因吗？我想知道内存级别有什么不同。编译器返回“无法获取复合文字的地址”，而我可以明确要求它执行此操作。

u := User{"john"}
fmt.Println(u.Name()) //implicit

//fmt.Println(User{"john"}.Name()) //Error: cannot call pointer method on composite literal, cannot take the address of composite literal
fmt.Println((&User{"jim"}).Name()) //explicit

type User struct {
    name string
}

func (u *User) Name() string {
    return u.name
}

阅读 330

2020-07-02

共1个答案

小编典典

由于复合litteral是不可寻址直到它被分配给一个变量：

操作数必须是可寻址的，即变量，指针间接寻址或切片索引操作；或可寻址结构操作数的字段选择器；或可寻址数组的数组索引操作。
除可寻址性要求外，x还可为（可能带有括号的）复合文字。

您可以将地址带到User{"jim"}：（(&User{"jim"})字形指针）。
但是您不能直接使用User{"jim"}（文字值，除非将其分配给变量）的值。
在此线程中查看更多信息。

此线程增加了“表达式无法解决”的问题：

拿到某个地址，直到这个假设点是 不可寻址的（一个表达式不能扎根于一个标识符） ，从语义上讲与设置目标指针的取消引用值没有什么不同。
换句话说，以下是等效的：

var x *int
*x = (2 * 3) + 4

var x *int
x = &((2 * 3) + 4)

由于表达式一被使用就被丢弃，所以它的值的地址
（通常是完全驻留在寄存器中的，因此实际上没有地址）在任何情况下都是毫无意义的，而唯一的好处是address是变量声明中类型推断的语法方便性（最多节省一行）：

x := &((2 * 3) + 4)

使任意表达式可寻址的问题 ：

m := map[int]int{1:2}
x := &m[1]
x = 3
fmt.Println("x is", x, "while m[1] is", m[1])
// will print `x is 3 while m[1] is 2`

简而言之：不清楚（几乎是不可能调试）是要获取您希望可寻址的对象的地址，还是获取隐式中间变量的地址（通常是您所需要的）不想）。

2020-07-02