struct - 声明结构变量 VS 将空结构分配给变量有什么区别

Question

type person struct {
    age    int
    gender string
}
(1)var tom person
(2)var jim person = person{}

在第一行，tom被声明为person，第二行，jim被声明为person并赋给一个空的person，这两者有什么区别？两种方式的默认值是一样的。请问第1行声明后分配内存存储而不分配任何内容？

和

一样

var i int

上面的代码是分配内存还是仅仅表示一个地址来做这件事

var i *int = new(int)

我知道i变量在这两段代码中有不同的含义，第一个是int类型的变量，第二个是指针，但是第一个i也应该代表内存中的某个地址，这意味着它分配了某个地址到 i 并将“i”默认为 0？

Answer 1

声明一个变量与用零值初始化它

在 Go 中，所有没有初始化器声明的变量都被初始化为适合其类型的所谓的零值。由于对于 person 结构，它的零值是表达式 person{} 这两种情况，(1) 和 (2) 做同样的事情。我估计编译器会为它们生成相同的代码。

引用the spec :

A variable declaration creates a variable, binds an identifier to it and gives it a type and optionally an initial value.

…

If a list of expressions is given, the variables are initialized by assigning the expressions to the variables in order; all expressions must be consumed and all variables initialized from them. Otherwise, each variable is initialized to its zero value.

通过声明变量分配内存

声明 var i int 声明一个变量并对其进行初始化。从某种意义上说，这确实意味着分配内存(并初始化它)，但我不会深入:编译器会安排变量存在。

至于它是否“表示地址”取决于你如何看待它:考虑变量在内存中的布局不是程序员的事——变量的名称是其值的句柄，并且编译器可以随意提供此类访问。我的意思是，编译器可能会在某个地方内部存储这个变量的地址并使用它，但你不应该关心它。

var i *int = new(int) 声明声明了一个指向匿名变量(具有“附加”到它的某种类型的语义的内存块)的指针，初始化内存该变量具有适合其类型的零值，然后将该内存块的地址分配给您正在声明的变量。

引用the spec :

The built-in function new takes a type T and returns a value of type *T. The memory is initialized as described in the section on initial values.

在这种情况下，您对指针进行操作，而不是对变量本身进行操作。所以这两个声明做了完全不同的事情，因为它们声明了不同类型的变量，并且生成的变量具有不同的语义。

可能 var i int 和 var p *int = new(int) 之间的主要区别在于，在前一种情况下，变量是“立即”创建的(静态)而在后一种情况下，匿名变量的内存是动态初始化的。但同样不要太执着于此:当执行遇到 var i int 声明时，除了名为 i 的变量之外，您无法确定程序中到底发生了什么> int 类型变得可用。例如，编译器可以自由使用“堆”来分配它，而不是“堆栈”(假设是典型的硬件架构)。