指针是指什么?指针是存储另一个变量的内存地址的变量。变量是一种使用方便的占位符,用于引用计算机内存地址,一个指针变量可以指向任何一个值的内存地址它指向那个值的内存地址。类比的话,指针就是书籍中的目录,本身也占据书页,既可以通过目录获得章节内容,又可以指向具体章节的页数(地址)。
指针声明
声明指针,*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作为钢铁直男,宁愿增加更复杂的指针逻辑,也要彻底贯彻值传递逻辑,为的就是在适当的地方使用指针, 对程序运行速度和内存消耗有所增益。