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

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 literal

fmt.Println((&User{"jim"}).Name()) //explicit

type 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) + 4var x *intx = &((2 * 3) + 4)由于表达式一使用就被丢弃，其值的地址（通常完全是寄存器驻留的，因此实际上没有地址）在任何情况下都是完全没有意义的，而使用它的唯一好处是address 是变量声明中类型推断的语法便利（最多保存一行）：x := &((2 * 3) + 4)使任意表达式可寻址的问题：m := map[int]int{1:2}x := &m[1]x = 3fmt.Println("x is", x, "while m[1] is", m[1])// will print `x is 3 while m[1] is 2`简而言之：不清楚（并且几乎不可能调试）您是否正在获取您期望可寻址的地址，或者当您获取隐式中间变量的地址（这通常是您不想）。