借问变量何处存,牧童笑称用指针,Go lang1.18入门精炼教程,由白丁入鸿儒,go lang类型指针(Pointer)的使用EP05

简介: 指针是指什么?指针是存储另一个变量的内存地址的变量。变量是一种使用方便的占位符,用于引用计算机内存地址,一个指针变量可以指向任何一个值的内存地址它指向那个值的内存地址。类比的话,指针就是书籍中的目录,本身也占据书页,既可以通过目录获得章节内容,又可以指向具体章节的页数(地址)。

指针是指什么?指针是存储另一个变量的内存地址的变量。变量是一种使用方便的占位符,用于引用计算机内存地址,一个指针变量可以指向任何一个值的内存地址它指向那个值的内存地址。类比的话,指针就是书籍中的目录,本身也占据书页,既可以通过目录获得章节内容,又可以指向具体章节的页数(地址)。

指针声明

声明指针,*T是指针变量的类型,它指向T类型的值:

var var_name *var-type

var-type 为指针类型,var\_name 为指针变量名,* 号用于指定变量是作为一个指针。

例如:

var ip *int        /* 指向整型*/  
var fp *float32    /* 指向浮点型 */

之前我们曾经使用&关键字来获取变量在内存中的地址,事实上,该对象就是指针:

package main  
  
import "fmt"  
  
func main() {  
    var a int = 20 /* 声明实际变量 */  
    var ip *int    /* 声明指针变量 */  
  
    ip = &a /* 指针变量的存储地址 */  
  
    fmt.Printf("a 变量的地址是: %x\n", &a)  
  
    /* 指针变量的存储地址 */  
    fmt.Printf("ip 变量的存储地址: %x\n", ip)  
  
    /* 使用指针访问值 */  
    fmt.Printf("*ip 变量的值: %d\n", *ip)  
}

由此可见,指针变量的类型为 *Type,该指针指向一个 Type 类型的变量。指针变量最大的特点就是存储的某个实际变量的内存地址,通过记录某个变量的地址,从而间接的操作该变量。

& 关键字可以从一个变量中取到其内存地址。

* 关键字如果在赋值操作值的左边,指该指针指向的变量;* 关键字如果在赋值操作符的右边,指从一个指针变量中取得变量值,又称指针的解引用。

指针也分不同的类型:

package main  
  
import "fmt"  
  
func main() {  
    mystr := "字符串"  
    myint := 1  
    mybool := false  
    myfloat := 3.2  
    fmt.Printf("type of &mystr is :%T\n", &mystr)  
    fmt.Printf("type of &myint is :%T\n", &myint)  
    fmt.Printf("type of &mybool is :%T\n", &mybool)  
    fmt.Printf("type of &myfloat is :%T\n", &myfloat)  
}

程序返回:

type of &mystr is :*string  
type of &myint is :*int  
type of &mybool is :*bool  
type of &myfloat is :*float64

但其实,指针的类型,其实就是它所指的变量的基本类型,二者类型是一致的。

空指针

Go lang空指针是当一个指针被定义后没有分配到任何变量时,它的值为 nil。 nil 指针也称为空指针。 nil在概念上和其它语言的null、None、nil、NULL一样,都指代零值或空值。 一个指针变量通常缩写为 ptr:

if(ptr != nil)     /* ptr 不是空指针 */  
if(ptr == nil)    /* ptr 是空指针 */

具体例子:

package main  
  
import "fmt"  
  
func main() {  
    x := "字符串"  
    var ptr *string  
    fmt.Println("ptr is ", ptr)  
    ptr = &x  
    fmt.Println("ptr is ", ptr)  
}

程序返回:

ptr is  <nil>  
ptr is  0xc00003c250

但也需要注意的是,指针的空值和变量的空值一样,都需要用恒等或者非恒等来判断,而并非像Python一样使用is关键字去比对内存的具体地址。

指针操作

获取一个指针意味着访问指针指向的变量的值。语法是:*a

package main  
  
import (  
    "fmt"  
)  
  
func main() {  
    b := 255  
    a := &b  
    fmt.Println("address of b is", a)  
    fmt.Println("value of b is", *a)  
}

程序返回:

address of b is 0xc000014088  
value of b is 255

一般情况下,我们可以通过二次赋值来改变变量的值,现在通过指针也可以:

package main  
  
import (  
    "fmt"  
)  
  
func main() {  
    b := 255  
    a := &b  
    fmt.Println("address of b is", a)  
    fmt.Println("value of b is", *a)  
    *a++  
    fmt.Println("new value of b is", b)  
}

程序返回:

address of b is 0xc0000aa058  
value of b is 255  
new value of b is 256

这里值需要通过对指针进行递增操作,就可以修改变量b的值。

与此同时,在传参过程中,也可以使用指针:

package main  
  
import (  
    "fmt"  
)  
  
func change(val *int) {  
    *val = 55  
}  
func main() {  
    a := 58  
    fmt.Println("value of a before function call is", a)  
    b := &a  
    change(b)  
    fmt.Println("value of a after function call is", a)  
}

程序返回:

value of a before function call is 58  
value of a after function call is 55

众所周知,int是值类型数据,如果通过变量进行传递到方法作用域中,方法内作用域内操作的实际上是另外一个对象,比如:

package main  
  
import (  
    "fmt"  
)  
  
func change(val int) {  
    val = 55  
}  
func main() {  
  
    b := 58  
    change(b)  
    fmt.Println("value of a after function call is", b)  
}

返回:

value of a after function call is 58

但如果传参过程中使用指针,将a变量的指针对象传递到方法内,方法内修改的其实是内存地址变量,如此就可以将值类型对象的值对应更改,节省了额外的内存申请空间。

假设我们想对方法内的数组进行一些修改,并且对调用者可以看到方法内的数组所做的更改。一种方法是将一个指向数组的指针传递给方法:

package main  
  
import (  
    "fmt"  
)  
  
func modify(arr *[3]int) {  
    (*arr)[0] = 90  
}  
  
func main() {  
    a := [3]int{89, 90, 91}  
    modify(&a)  
    fmt.Println(a)  
}

程序返回:

[90 90 91]

虽然可以用指针传递给一个数组作为方法的实参并对其进行修改,但这并不意味着我们一定得这么干,因为还可以使用切片:

package main  
  
import (  
    "fmt"  
)  
  
func modify(sls []int) {  
    sls[0] = 90  
}  
  
func main() {  
    a := [3]int{89, 90, 91}  
    modify(a[:])  
    fmt.Println(a)  
}

程序返回:

[90 90 91]

因为切片与指针一样是引用类型,如果我们想通过一个函数改变一个数组的值,可以将该数组的切片当作参数传给函数,也可以将这个数组的指针当作参数传给函数,显而易见,使用切片更加方便。

此外,指针也可以拥有指针,也就是说,指针也可以指向别的指针所在的内存地址:

package main  
  
import "fmt"  
  
func main() {  
  
    var a int  
    var ptr *int  
    var pptr **int  
  
    a = 3000  
  
    /* 指针 ptr 地址 */  
    ptr = &a  
  
    /* 指向指针 ptr 地址 */  
    pptr = &ptr  
  
    /* 获取 pptr 的值 */  
    fmt.Printf("变量 a = %d\n", a)  
    fmt.Printf("指针变量 *ptr = %d\n", *ptr)  
    fmt.Printf("指向指针的指针变量 **pptr = %d\n", **pptr)  
}

程序返回:

变量 a = 3000  
指针变量 *ptr = 3000  
指向指针的指针变量 **pptr = 3000

这里指针pptr指向指针ptr,指针ptr执行变量a

当我们改变指针的指针值:

package main  
  
import "fmt"  
  
func main() {  
  
    var a int  
    var ptr *int  
    var pptr **int  
  
    a = 3000  
  
    /* 指针 ptr 地址 */  
    ptr = &a  
  
    /* 指向指针 ptr 地址 */  
    pptr = &ptr  
  
    /* 获取 pptr 的值 */  
    fmt.Printf("变量 a = %d\n", a)  
    fmt.Printf("指针变量 *ptr = %d\n", *ptr)  
    fmt.Printf("指向指针的指针变量 **pptr = %d\n", **pptr)  
  
    **pptr = 200  
  
    fmt.Printf("变量 a = %d\n", a)  
    fmt.Printf("指针变量 *ptr = %d\n", *ptr)  
    fmt.Printf("指向指针的指针变量 **pptr = %d\n", **pptr)  
}

程序返回:

变量 a = 3000  
指针变量 *ptr = 3000  
指向指针的指针变量 **pptr = 3000  
变量 a = 200  
指针变量 *ptr = 200  
指向指针的指针变量 **pptr = 200

可以看到发生了连锁反应,起始指向和最终指向都发生了变化,可谓是牵一发而动全身,事实上,指针操作要比重复赋值更加快捷。

结语

简而言之,很多编译型语言都在事实上存在指针,c/c++是真实的指针,而Java中其实是指针的引用,可以理解为不能操作指针的值,不允许指针运算的指针。现实问题是,go lang这种“次时代”的新潮流编程语言,为什么不像Java那样,仅仅实现“引用”,而一定非得给出“指针”的实质概念呢?

在Go lang官网文档中,可以窥得些许端倪:

In a function call, the function value and arguments are evaluated in the usual order. After they are evaluated, the parameters of the call are passed by value to the function and the called function begins execution.
文档地址: https://go.dev/ref/spec#Calls

一望而知,go lang的设计者们在go lang语法设计上存在“完美主义强迫症”,方法传参是绝对的传值,Go lang中方法传参只有值传递一种方式,不存在引用传递,这样一来,必须有明确的指针类型,才可以保证在传值的前提下能对对象进行修改。

其实 Python也在此处做出了妥协,可变数据类型进行引用传递,但go lang作为钢铁直男,宁愿增加更复杂的指针逻辑,也要彻底贯彻值传递逻辑,为的就是在适当的地方使用指针, 对程序运行速度和内存消耗有所增益。

相关文章
初识go变量,使用var和:=来声明变量,声明变量的三种方式
这篇文章介绍了Go语言中使用`var`和`:=`声明变量的三种不同方式,包括声明单个或多个变量、通过值确定数据类型以及在函数体内使用`:=`声明局部变量。
初识go变量,使用var和:=来声明变量,声明变量的三种方式
|
15天前
|
存储 编译器 Go
go语言中的变量、常量、数据类型
【11月更文挑战第3天】
30 9
|
21天前
|
存储 Cloud Native Shell
go库介绍:Golang中的Viper库
Viper 是 Golang 中的一个强大配置管理库,支持环境变量、命令行参数、远程配置等多种配置来源。本文详细介绍了 Viper 的核心特点、应用场景及使用方法,并通过示例展示了其强大功能。无论是简单的 CLI 工具还是复杂的分布式系统,Viper 都能提供优雅的配置管理方案。
|
21天前
|
Unix Linux Go
go进阶编程:Golang中的文件与文件夹操作指南
本文详细介绍了Golang中文件与文件夹的基本操作,包括读取、写入、创建、删除和遍历等。通过示例代码展示了如何使用`os`和`io/ioutil`包进行文件操作,并强调了错误处理、权限控制和路径问题的重要性。适合初学者和有经验的开发者参考。
|
22天前
|
Go
go语言常量的类型
【10月更文挑战第20天】
23 2
|
1月前
|
C语言 C++
【C语言】指针篇-一篇搞定不同类型指针变量-必读指南(3/5)
【C语言】指针篇-一篇搞定不同类型指针变量-必读指南(3/5)
|
2月前
|
Go
golang语言之go常用命令
这篇文章列出了常用的Go语言命令,如`go run`、`go install`、`go build`、`go help`、`go get`、`go mod`、`go test`、`go tool`、`go vet`、`go fmt`、`go doc`、`go version`和`go env`,以及它们的基本用法和功能。
60 6
|
2月前
|
存储 Go
Golang语言基于go module方式管理包(package)
这篇文章详细介绍了Golang语言中基于go module方式管理包(package)的方法,包括Go Modules的发展历史、go module的介绍、常用命令和操作步骤,并通过代码示例展示了如何初始化项目、引入第三方包、组织代码结构以及运行测试。
49 3
|
2月前
|
存储 Go
Go: struct 结构体类型和指针【学习笔记记录】
本文是Go语言中struct结构体类型和指针的学习笔记,包括结构体的定义、成员访问、使用匿名字段,以及指针变量的声明使用、指针数组定义使用和函数传参修改值的方法。
|
3月前
|
安全 Go
下一篇
无影云桌面