2.1 声明和初始化

当我们第一次看见变量和声明时,我们仅仅看见一些内置的类型,比如整型和字符串。现在我们将学习结构体,并且我们会深入学习包括指针的内容。

通过一种最简单的方式去创建一个结构体值类型:

  1. goku := Saiyan{
  2. Name: "Goku",
  3. Power: 9000,
  4. }

注意:上面的结构体中,结尾的逗号,是不能省的。如果没有逗号,编译器会给出一个错误。你将喜欢上这种一致性要求,特别是如果你已经使用一种相反的语言或格式。

我们不需要给结构体设置任何值甚至任何字段。这2中方式都是有效的:

  1. goku := Saiyan{}
  2. // 或者
  3. goku := Saiyan{Name: "Goku"}
  4. goku.Power = 9000

这就像一个未赋值的变量一样,结构体的字段也会有一个0值。

另外,你也可以省略字段的名字,按字段的顺序进行声明(尽管为了简洁起见,你尽量在结构体只有少量字段时才使用这种方式):

goku := Saiyan{"Goku", 9000}

上面的例子主要是声明了一个变量goku,并给它赋值。

尽管在大多数时候,我们不希望一个变量直接关联一个值,而是希望一个指针指向变量的值。指针是一个内存地址。通过指针可以找到这个变量实际的值。这是一种间接的取值。严格地说,这与存在一个房子并指向另外一个房子有一些区别。

为什么我们需要一个指针指向一个值,而不需要一个实际值。这主要是因为在go语言中,函数的参数传递都是按值传递,即传递的是一个拷贝。了解到这点,下面程序会打印什么?

  1. func main() {
  2. goku := Saiyan{"Goku", 9000}
  3. Super(goku)
  4. fmt.Println(goku.Power)
  5. }
  6. func Super(s Saiyan) {
  7. s.Power += 10000
  8. }

答案是9000,不是19000。为什么?因为Super只是改变了goku的一个拷贝,所以在Super中的改变不会调用者中反应出来。如果你希望答案是19000,我们需要传递一个指向我们值的指针:

  1. func main() {
  2. goku := &Saiyan{"Goku", 9000}
  3. Super(goku)
  4. fmt.Println(goku.Power)
  5. }
  6. func Super(s *Saiyan) {
  7. s.Power += 10000
  8. }

我们改变了2个地方。首先是使用了&操作符去获得我们值的地址(&叫取地址符)。接下来,我们改变了Super接受的参数类型。之前我们是传递一个Saiyan的值类型,现在我们传递了一个地址类型*Saiyan,这里的*X表示一个指向类型X的一个指针。显而易见,Saiyan*Saiyan类型之间有一定的联系,但是它们是两种不同的类型。

需要指出的是,我们现在传递给Super参数的仍然是goku的值拷贝。只是现在goku的值变成了一个地址。这个地址拷贝和源地址相同。可以认为它类似一个指向餐厅方向的拷贝,这就间接服务于我们。虽然是一个拷贝,但是和源地址一样,也指向同一个餐厅。

我们能证明这是一个拷贝,通过试着去改变它指向的地方(这可能不是你想做的):

  1. func main() {
  2. goku := &Saiyan{"Goku", 9000}
  3. Super(goku)
  4. fmt.Println(goku.Power)
  5. }
  6. func Super(s *Saiyan) {
  7. s = &Saiyan{"Gohan", 1000}
  8. }

上面的代码在此输出了9000。很多语言也有类似的行为,包括ruby、python、java和c#。go某种程度上和c#一样,只是让事实可见。

显而易见,复制一个指针变量的开销比复制一个复杂的结构体小。在一个64的系统上,指针的大小只有64位。如果我们的结构体有很多字段,创建一个结构体的拷贝会有很大的性能开销。指针的真正意义就是通过指针可以共享值。我们想通过Super去改变goku的拷贝或者改变共享的goku值本身?

这里不是说你需要一直使用指针。本章的结尾,在我们学到更多关于结构体使用的内容之后。我们将重新审视值类型和指针类型的问题。

链接