借问变量何处存,牧童笑称用指针,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作为钢铁直男,宁愿增加更复杂的指针逻辑,也要彻底贯彻值传递逻辑,为的就是在适当的地方使用指针, 对程序运行速度和内存消耗有所增益。

相关文章
|
1天前
|
Go
go语言常量的类型
【10月更文挑战第20天】
8 2
|
17天前
|
存储 C语言
C语言指针与指针变量的区别指针
指针是C语言中的重要概念,用于存储内存地址。指针变量是一种特殊的变量,用于存放其他变量的内存地址,通过指针可以间接访问和修改该变量的值。指针与指针变量的主要区别在于:指针是一个泛指的概念,而指针变量是具体的实现形式。
|
22天前
魔法指针 之 指针变量
魔法指针 之 指针变量
13 1
|
29天前
|
存储 编译器 C语言
C++入门2——类与对象1(类的定义和this指针)
C++入门2——类与对象1(类的定义和this指针)
22 2
|
29天前
|
C++
析构造函数就是为了释放内存,就是在局部指针消失前释放内存,拷贝构造函数就是以构造函数为模块,在堆里面新开一块,同一个变量在堆里面的地址
本文讨论了C++中构造函数和析构函数的作用,特别是它们在管理动态内存分配和释放中的重要性,以及如何正确地实现拷贝构造函数以避免内存泄漏。
33 2
|
1月前
|
C语言 C++
【C语言】指针篇-一篇搞定不同类型指针变量-必读指南(3/5)
【C语言】指针篇-一篇搞定不同类型指针变量-必读指南(3/5)
|
23天前
|
人工智能
魔法指针 之 指针变量的意义 指针运算
魔法指针 之 指针变量的意义 指针运算
14 0
|
2月前
|
存储 人工智能 C语言
C语言程序设计核心详解 第八章 指针超详细讲解_指针变量_二维数组指针_指向字符串指针
本文详细讲解了C语言中的指针,包括指针变量的定义与引用、指向数组及字符串的指针变量等。首先介绍了指针变量的基本概念和定义格式,随后通过多个示例展示了如何使用指针变量来操作普通变量、数组和字符串。文章还深入探讨了指向函数的指针变量以及指针数组的概念,并解释了空指针的意义和使用场景。通过丰富的代码示例和图形化展示,帮助读者更好地理解和掌握C语言中的指针知识。
|
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`,以及它们的基本用法和功能。
42 6
|
2月前
|
存储 Go
Golang语言基于go module方式管理包(package)
这篇文章详细介绍了Golang语言中基于go module方式管理包(package)的方法,包括Go Modules的发展历史、go module的介绍、常用命令和操作步骤,并通过代码示例展示了如何初始化项目、引入第三方包、组织代码结构以及运行测试。
41 3