变量的简写声明，涉及已经定义的变量，会分配新的内存吗？

Question

我有一个返回值user和err. 当我在范围内调用它时，我已经有 variable user，但没有 variable err，所以编译器/linter 告诉我使用:=运算符语法（我知道我可以err在此调用之前的某个地方var声明），使其看起来像这样：

user := User{"Name"}

...

user, err := functionThatReturnsTwoValues()

if err != nil {

...

问题：在这种特定情况下，在行user, err := functionThatReturnsTwoValues中，用户变量会被重新声明吗？

PS我也了解到，从实际结果来看，这对我来说并不重要，因为最后，无论如何在函数调用后我都会得到具有正确数据的变量。User此外，在我们的例子中，该变量将在堆栈中定义，这意味着即使初始化了 2 个结构，也不会涉及垃圾收集来清理它。

Answer 1

用户变量将用于存储函数的结果，请参见下面的示例https://play.golang.org/p/eHHycX4p16j

Answer 2

我认为用户变量没有重新声明，但它的值当然被覆盖了。我已经通过检查变量的指针地址进行了测试，如下所示。如您所见，用于捕获变量地址的指针保持不变。https://play.golang.org/p/bj3QwSgCCiG剪断：func main() {    user := User{"Name"}    up1 := &user    user, err := functionThatReturnsTwoValues()    up2 := &user    if err == nil {        fmt.Printf("User: %v \n", user)        fmt.Printf("Pointer check :  up1 ?=  up2 --> %t [up1=%p, up2=%p]\n", up1 == up2, up1, up2)        fmt.Printf("Value check   : *up1 ?= *up2 --> %t \n", *up1 == *up2)    }}输出是：User: {Name2}  Pointer check :  up1 ?=  up2 --> true [up1=0x40c138, up2=0x40c138]Value check   : *up1 ?= *up2 --> true

Answer 3

是的，变量被重新声明并且它的值被覆盖。但它仍然必须具有相同的类型声明。重新声明本质上是一个赋值，并使用相同的堆栈内存。规范明确允许这样做，以使定义 err 等情况更整洁：与常规变量声明不同，短变量声明可以重新声明变量，前提是它们最初是在同一块（或参数列表，如果该块是函数体）中以相同类型声明的，并且至少有一个非空白变量是新的。因此，重新声明只能出现在多变量短声明中。重新声明不引入新变量；它只是为原始值分配一个新值。- https://golang.org/ref/spec#Short_variable_declarations例如：var user Useruser, err := fetchUser() // OK: user redeclared but new err variable declareduser, err := fetchUser() // Bad: user and err variable redeclared, but no new variables declareduser, err = fetchUser() // OK: No declarations, only assignments