golang中值类型/指针类型的变量区别总结
前言
值类型:所有像int、float、bool和string这些类型都属于值类型,使用这些类型的变量直接指向存在内存中的值,值类型的变量的值存储在栈中。当使用等号=将一个变量的值赋给另一个变量时,如 j = i ,实际上是在内存中将 i 的值进行了拷贝。可以通过 &i 获取变量 i 的内存地址
指针类型:简单地说go语言的指针类型和C/C++的指针类型用法是一样的,除了出去安全性的考虑,go语言增加了一些限制,包括如下几条:
- 不同类型的指针不能互相转化,例如*int, int32, 以及int64
- 任何普通指针类型*T和uintptr之间不能互相转化
- 指针变量不能进行运算, 比如C/C++里面的++, --运算
下面将给大家详细介绍golang中值类型/指针类型的变量的一些区别,下面话不多说了,来一起看看详细的介绍吧。
值类型的变量和指针类型的变量
先声明一个结构体:
type T struct { Name string } func (t T) M1(){ t.Name = "name1" } func (t *T) M2(){ t.Name = "name2" }
M1()的接收者是值类型 T,
M2()的接收者是值类型 *T , 两个方法内都是改变Name值。
下面声明一个 T 类型的变量,并调用
M1()和
M2()。
t1 := T{"t1"} fmt.Println("M1调用前:", t1.Name) t1.M1() fmt.Println("M1调用后:", t1.Name) fmt.Println("M2调用前:", t1.Name) t1.M2() fmt.Println("M2调用后:", t1.Name)
输出结果为:
M1调用前: t1
M1调用后: t1
M2调用前: t1
M2调用后: name2
下面猜测一下go会怎么处理。
先来约定一下:接收者可以看作是函数的第一个参数,即这样的:
func M1(t T),
func M2(t *T)。 go不是面向对象的语言,所以用那种看起来像面向对象的语法来理解可能有偏差。
当调用
t1.M1()时相当于
M1(t1),实参和行参都是类型 T,可以接受。此时在
M1()中的t只是t1的值拷贝,所以
M1()的修改影响不到t1。
当调用
t1.M2()=> M2(t1),这是将 T 类型传给了 *T 类型,go可能会取 t1 的地址传进去:
M2(&t1)。所以
M2()的修改可以影响 t1 。
类型的变量这两个方法都是拥有的。
下面声明一个 *T 类型的变量,并调用
M1()和
M2()。
t2 := &T{"t2"} fmt.Println("M1调用前:", t2.Name) t2.M1() fmt.Println("M1调用后:", t2.Name) fmt.Println("M2调用前:", t2.Name) t2.M2() fmt.Println("M2调用后:", t2.Name)
输出结果为:
M1调用前: t2
M1调用后: t2
M2调用前: t2
M2调用后: name2
t2.M1()=> M1(t2), t2 是指针类型, 取 t2 的值并拷贝一份传给 M1。
t2.M2()=> M2(t2),都是指针类型,不需要转换。
*T 类型的变量也是拥有这两个方法的。
传给接口会怎样?
先声明一个接口
type Intf interface { M1() M2() }
使用:
var t1 T = T{"t1"} t1.M1() t1.M2() var t2 Intf = t1 t2.M1() t2.M2()
报错:
./main.go:9: cannot use t1 (type T) as type Intf in assignment:
T does not implement Intf (M2 method has pointer receiver)
var t2 Intf = t1这一行报错。
t1 是有
M2()方法的,但是为什么传给 t2 时传不过去呢?
简单来说,按照接口的理论:传过去【赋值】的对象必须实现了接口要求的方法,而t1没有实现
M2(),t1的指针实现了
M2()。另外和c语言一样,函数名本身就是指针
当把
var t2 Intf = t1修改为
var t2 Intf = &t1时编译通过,此时 t2 获得的是 t1 的地址,
t2.M2()的修改可以影响到 t1 了。
如果声明一个方法 fun
c f(t Intf), 参数的传递和上面的直接赋值是一样的情况。
嵌套类型
声明一个类型 S,将 T 嵌入进去
type S struct { T }
使用下面的例子测试一下:
t1 := T{"t1"} s := S{t1} fmt.Println("M1调用前:", s.Name) s.M1() fmt.Println("M1调用后:", s.Name) fmt.Println("M2调用前:", s.Name) s.M2() fmt.Println("M2调用后:", s.Name) fmt.Println(t1.Name)
输出:
M1调用前: t1
M1调用后: t1
M2调用前: t1
M2调用后: name2
t1
将 T 嵌入 S, 那么 T 拥有的方法和属性 S 也是拥有的,但是接收者却不是 S 而是 T。
所以
s.M1()相当于
M1(t1)而不是
M1(s)。
最后 t1 的值没有改变,因为我们嵌入的是 T 类型,所以 S{t1} 的时候是将 t1 拷贝了一份。
假如我们将 s 赋值给 Intf 接口会怎么样呢?
var intf Intf = s intf.M1() intf.M2()
报错:
cannot use s (type S) as type Intf in assignment: S does not implement Intf (M2 method has pointer receiver)
还是
M2()的问题,因为 s 此时还是值类型。
var intf Intf = &s这样的话编译通过了,如果在
intf.M2()中改变了 Name 的值,
s.Name被改变了,但是
t1.Name依然没变,因为现在 t1 和 s 已经没有联系了。
下面嵌入 *T 试试:
type S struct { *T }
使用时这样:
t1 := T{"t1"} s := S{&t1} fmt.Println("M1调用前:", s.Name) s.M1() fmt.Println("M1调用后:", s.Name) fmt.Println("M2调用前:", s.Name) s.M2() fmt.Println("M2调用后:", s.Name) fmt.Println(t1.Name)
M1调用前: t1
M1调用后: t1
M2调用前: t1
M2调用后: name2
name2
惟一的区别是最后 t1 的值变了,因为我们复制的是指针。
接着赋值给接口试试:
var intf Intf = s i ntf.M1() intf.M2() fmt.Println(s.Name)
编译没有报错。这里我们传递给 intf 的是值类型而不是指针,为什么可以通过呢?
拷贝 s 的时候里面的 T 是指针类型,所以调用
M2()的时候传递进去的是一个指针。
var intf Intf = &s的效果和上面一样。
总结
以上就是这篇文章的全部内容了,希望本文的内容对大家的学习或者工作具有一定的参考学习价值,如果有疑问大家可以留言交流,谢谢大家对脚本之家的支持。
- 解析C++普通局部变量与指针类型的对象变量的应用区别
- 结构体struct的应用、结构体变量、结构体指针变量、结构体指针变量类型的区别
- c++ 普通全局变量与指针类型的对象变量 应用区别
- 关于cout输出类型是指针的总结和区别
- 解析C++普通局部变量与指针类型的对象变量的应用区别
- Golang 接收器是指针还是至类型的区别
- [转]解析C++普通局部变量与指针类型的对象变量的应用区别
- C语言实现的线性表 函数形参:指针类型与变量类型的区别 (SqList *L)(SqList L)
- 解析C++普通局部变量与指针类型的对象变量的应用区别
- 变量,数据类型,运算符总结
- Java中的基本类型和引用类型变量的区别
- Java学习总结--字符串String类和基本的数据类型有什么区别
- typedef 和 #define 修饰指针类型的区别
- 分别写出BOOL,int,float,指针类型的变量a与“零”的比较语句
- 大端和小端格式的区别,以及二维数组和指针数组的学习总结。
- Java中的基本类型和引用类型变量的区别
- 字符指针与其他类型的指针的使用区别
- [JAVA入门之错误总结-2]项目创建-各种项目类型之间的区别
- 指针和引用的区别总结
- PHP 判断变量的类型总结