为什么变量的内联实例化需要显式取它的地址来调用指针方法，而对于现有的变量，它的隐含

Question

这种行为有原因吗？我想知道内存级别有什么不同。编译器返回“无法获取复合文字的地址”，而我可以明确要求它这样做。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 literalfmt.Println((&User{"jim"}).Name()) //explicittype User struct {    name string}func (u *User) Name() string {    return u.name}

Answer 1

因为复合文字在被分配给变量之前是不可寻址的：

操作数必须是可寻址的，即变量、指针间接或切片索引操作；或可寻址结构操作数的字段选择器；或可寻址数组的数组索引操作。

作为可寻址性要求的一个例外，x 也可以是（可能带括号的）复合文字。

您可以将地址带到User{"jim"}：（(&User{"jim"})字面指针）。

但是你不能直接使用User{"jim"}(literal value，直到它被分配给一个变量) 的值。

在此线程中查看更多信息。

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

取某个东西的地址，直到这个假设点是不可寻址的（一个不碰巧根植于标识符的表达式），在语义上与设置目标指针的解引用值没有什么不同。

换句话说，以下内容是等效的：

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`

简而言之：不清楚（并且几乎不可能调试）您是否正在获取您期望可寻址的地址，或者当您获取隐式中间变量的地址（这通常是您不想）。