golang的值类型,指针类型和引用类型&值传递&指针传递

舒小贱 · · 3243 次点击 · · 开始浏览    
这是一个创建于 的文章,其中的信息可能已经有所发展或是发生改变。

一,变量类型

变量分为值类型,指针类型和引用类型。
以如下变量定义和赋值语句为例:

package main

import(
    "fmt"
)

func main(){

    var a int = 1
    p := &a
    fmt.Printf("%v\n", a)
    fmt.Printf("%p\n", &a)
    fmt.Printf("%p\n", p)
    fmt.Printf("%p\n", &p)
}

output:

1
0xc000092000
0xc000092000
0xc00008c010
值类型变量和引用类型变量
  • 值类型变量a,值为1,存储变量a的内存地址为0xc000092000
  • 指针类型 &a,某个变量的内存地址,即a的地址0xc000092000。
  • 引用类型p,某个变量的地址的别名。
    • 值为某个变量的内存地址(p的值为变量a的内存地址0xc000092000)
    • 其本身作为一个变量也有自己的存储内存地址0xc00008c010。

在golang中故意淡化了指针的概念,我们只需要关注值类型和引用类型就可以。你在官方介绍中也很少看到指针类型这一概念。

二,golang中的值类型变量和引用类型变量

  • 值类型变量:除开slice,map,channel类型之外的变量都是值类型
  • 引用类型变量:slice,map,channel这三种

三,值类型和引用类型的区别

我们以值类型struct和引用类型map的区别在哪里。
首先定义两种类型的结构及变量:

type Student1 struct{
    Age int32
    Name string
}
type Student2 map[string]int

func main(){
    var s1 Student1
    var s2 Student2
}

1,零值不同

  • 指针类型的变量,零值都是nil。
  • 值类型的变量,零值是其所在类型的零值。
    • int32类型的零值是0
    • string类型的零值是""
    • bool类型的零值是false
    • 符合结构struct类型的零值是其每个成员的零值的组合
fmt.Println(s1) //{0 }
fmt.Println(s2) //map[] 
fmt.Println(s1 == nil) //panic,提示cannot convert nil to type Student1
fmt.Println(s2 == nil) //true

发现map的零值是nil,struct的零值是Student1{0, ""},不是nil,而且struct类型和nil是两种不同的类型,不能比较。

2,变量申明后是否需要初始化才能使用

  • 指针类型的变量,需要初始化才能使用。(slice是一个特例,slice的零值是nil,但是可以直接append)
  • 值类型的变量,不用初始化,可以直接使用
s1.Name = "minping"
s1.Age = 30
fmt.Println(s1) //{30 minping}

s2["minping"] = 30 // panic: assignment to entry in nil map
fmt.Println(s2)

发现struct声明后可以直接使用直接赋值,但是map就不行,赋值的时候提示我们nil map不能赋值,需要先初始化。

3,初始化方法不同

  • 值类型的变量,其实不需要初始化就可以使用。如果有良好的代码习惯,使用前进行初始化也是非常提倡的。
    • 基本类型的初始化非常简单:
      • var i int; i = 1;
      • var b bool; b = true
      • var s string; s = ""
    • 符合类型struct的初始化有两种:
      • s1 = Student1{}
      • s1 = new(Student1)
s1 := Student1{} //{0 }

s1 := new(Student1) //&{0 }
  • 引用类型的变量,初始化方式也不一样:
    • slice类型,用make,new,{}都可以
    • map类型,用make,new,{}都可以
    • channel类型,只能用make活着new初始化
//map可以用{},make,new三种方式初始化
s2 := Student2{} //map[]
s2 := make(Student2) //map[]
s2 := new(Student2) //&map[]

//slice可以用{},make,new,但是make的时候需要带len参数
type S3 []string
s3 := S3{} //[]
s3 := new(S3) //&[]
s3 := make(S3, 10) //[         ]

//channel只能用make或者new
type Student4 chan string
s4 := new(S4) //0xc000096000
s4 := make(S4) //0xc000082008
s4 := S4{} //编译器报错:invalid type for composite literal: Student4

四,make和new的区别

从上面初始化时用make和new的结果就可以看出来:

  • make返回的是对象。
    • 对值类型对象的更改,不会影响原始对象的值
    • 对引用类型对象的更改,会影响原始对象的值
  • new返回的是对象的指针,对指针所在对象的更改,会影响指针指向的原始对象的值。

五,golang没有引用传递,都是值传递

  • 如果函数形参是值类型,则会对值类型做一份拷贝作为函数形参。在函数内对形参变量做的修改,不会影响函数外的那个被传入的变量。
  • 如果函数形参是引用类型,则会对引用类型变量做一次拷贝。但是拷贝得到的引用类型变量的值,和被传入调用函数的原始引用类型变量的值,是一样的,即指向的是同一个变量的地址(参考前面值类型变量和引用类型变量图)。所以在函数里面的修改,会影响原始引用变量指向的变量的值。
7 type Student struct{
  8
  9     Age int
 10 }
 11
 12 func main(){
 13
 14     s := Student{30}
 15     modify1(s)
 16     fmt.Println(s) //{30}
 17
 18     modify2(&s)
 19     fmt.Println(s) //{32}
 20 }
 21
 22 func modify1(s Student){
 23     s.Age = 31
 24 }
 25
 26 func modify2(s *Student){
 27     s.Age = 32
 28 }

六,参考

go-pointers-vs-references


有疑问加站长微信联系(非本文作者)

本文来自:简书

感谢作者:舒小贱

查看原文:golang的值类型,指针类型和引用类型&值传递&指针传递

入群交流(和以上内容无关):加入Go大咖交流群,或添加微信:liuxiaoyan-s 备注:入群;或加QQ群:692541889

3243 次点击  
加入收藏 微博
暂无回复
添加一条新回复 (您需要 登录 后才能回复 没有账号 ?)
  • 请尽量让自己的回复能够对别人有帮助
  • 支持 Markdown 格式, **粗体**、~~删除线~~、`单行代码`
  • 支持 @ 本站用户;支持表情(输入 : 提示),见 Emoji cheat sheet
  • 图片支持拖拽、截图粘贴等方式上传