深圳幻海软件技术有限公司 欢迎您!

800字彻底理解Go指针

2023-02-27

这篇文章是为不熟悉Go的指针或指针类型的程序员而准备的。什么是指针?简单点说,指针是指向另一个地址的值。这是教科书上的解释,但如果你转自一门不用谈论变量地址的开发语言时,这个解释看上去犹如一串楔形文字,难以理解。让我们分解一下。什么是内存?计算机内存,即RAM,可以被看作是一串盒子,一个接一个地排成

这篇文章是为不熟悉 Go 的指针或指针类型的程序员而准备的。

什么是指针?

简单点说,指针是指向另一个地址的值。这是教科书上的解释,但如果你转自一门不用谈论变量地址的开发语言时,这个解释看上去犹如一串楔形文字,难以理解。

让我们分解一下。

什么是内存?

计算机内存,即 RAM,可以被看作是一串盒子,一个接一个地排成一行。

每个盒子(或者称为单元格)都标有一个惟一的数字,数字按顺序递增;这是单元格的地址,其所在的内存位置。

 

每一个单元格存储一个值。如果你知道某个单元格的内存地址,就可以访问该单元格并读取里面的内容。或者用另外一个值替换该单元格内之前的值。

这都是关于内存的知识,CPU 所做的一切都是为获取和存储值到内存单元中。

什么是变量?

编写一段代码读取储存在内存地址为 200 的值,将其乘以 3 并将结果存储在内存地址为 201 的位置,伪代码流程如下:

  • 读取存储在内存地址为 200 的值,并将其暂存在 CPU 中;
  • 将存储在 CPU 中的值乘以 3;
  • 将存储在 CPU 中的值存入内存地址为 201 的位置;

 

这正是早期程序的编写方式。程序员将保留一个内存位置列表,包括谁使用它、何时使用以及存储在其中的值表示什么。

很明显,这很繁琐而且容易出错,这也意味着在编写程序期间,必须给存储在内存中的每一个可能的值分配一个地址。更糟糕的是,这种方式使得在程序运行时动态地将内存分配给变量变得异常困难 -- 试想一下,如果你不得不使用全局变量来编写大型程序。

为了解决这个问题,创造了变量的概念。变量只是一个由数字字母组成的、标识存储位置的假名。

现在,我们不再讨论存储位置,而是讨论变量,这是我们为内存位置提供的方便记忆的名称。之前的程序现在可以表示为:

  • 读取变量 a 中存储的值并将其放入 CPU 中;
  • 将其乘以 3;
  • 将结果存入变量 b;

 

这是同一个程序,但有一个重要的改进 — 我们不再需要直接讨论内存位置,也不再需要跟踪它们 — 把这些繁重的工作交给编译器处理。

现在,我们可以像下面这样写程序:

var a = 62 
var b = a * 3 
  • 1.
  • 2.

编译器将确保为变量 a 和 b 分配唯一的内存位置,以便根据需要保存它们的值。

什么是指针?

现在我们已经知道,内存是一系列编号的单元格,而变量仅仅是标识内存位置的昵称,那指针是什么呢?

指针是指向另一个变量的内存位置的值。

指针指向变量的内存地址,就像变量标识值的内存地址一样。

一起来看下这段代码:

1func main() { 
2 a := 200 
3 b := &a 
4 *b++ 
5 fmt.Println(a) 
6} 
  • 1.
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.

第二行代码声明了变量 a 且赋值 200。

 

接着,声明了变量 b 并将变量 a 的地址赋值给它。记住,我们不知道变量 a 存储的确切地址,但是我们仍然可以将 a 的地址存储在 b 中。

 

第四行代码是最难理解的。变量 b 存储的是变量 a 的地址,但我们又想将 a 的值加一。为了达到这个目的,必须使用解引用,通过 b 获得 a 的值。

 

然后将值加一,并将结果存储在 b 指向的内存位置上,即变量 a 所在的内存位置。

 

最后一行代码打印的就是 a 的值,也是加一之后的值 201。

总结

如果你之前使用的语言没有指针的概念或者每个变量都隐含指针,不要惊慌,理解变量与指针之间的关系需要时间与实践,请记住这条规则:

指针是指向另一个变量的内存位置的值。