title: go 变量声明初始化、new、make
date: 2019-01-04
tags:
- golang
- 变量声明和初始化
- new
- make
categories:
- golang学习

变量的声明和初始化

实验一

起源于大远问，下面的代码会输出什么？

type Person struct {
    name string
    age int
}

func main() {
    var p Person
    fmt.Println(p.age)
}

按照我之前的理解，报错。因为p只是声明了，并没有初始化。
但是打印出来却是0

说明Person对象确实初始化了。

实验二

func main() {
    var p *Person
    fmt.Println(p) //<nil>
    fmt.Println(p.age) //panic: runtime error: invalid memory address or nil pointer dereference
}

声明一个变量，初始化的内容只跟变量的类型相关

声明了一个*Person类型的指针p,说明p初始化的内容就是指针的默认值，那就是nil 了。
打印p.age出错，证明了Person并没有初始化，当然是空指针错误了。

我们可以画图说明下两者的关系

微信图片_20190106203742.jpg

总结

1. nil 只能赋值给指针类型的变量，实际上nil就是是指针类型变量的零值。值类型的变量有各自的零值 比如 int 是 0 string 是 ""
2. 变量的声明，无论是值类型还是指针类型的变量，声明之后，变量都会占有一块内存，并且被初始化为一个零值，被初始化的内容只跟变量的类型有关（注意：Post,跟*Post是两种类型
   var i int // 值类型 因此 i 是 0
   var p Person // 值类型 因此 p.title 是“” p.num 是 0
   var po Person // 初始化的不是Post类型，而是Post类型，即指针类型，因此p是nil p.title 会报错

make和new

new 和 make 都可以用来分配空间，初始化类型。他们和上面有什么关系吗？

new(T) 返回的是 T 的指针

func main() {
    a := new(int)
    *a = 3
    fmt.Printf("%T,%p,%p,%v\n",a,&a,a,a) // *int,0xc000006028,0xc00000a0a8,0xc00000a0a8

    b := new(Person)
    fmt.Printf("%T,%p,%p,%v\n",b,&b,b,b.age) // *main.Person,0xc000006038,0xc000004460,0

    c := new(Person)
    c = &Person{"xuxiaofeng",26}
    fmt.Printf("%T,%p,%p,%v\n",c,&c,c,c.age) // *main.Person,0xc000006040,0xc0000044a0,26
}

画图表示一下

微信图片_20190106203742.jpg

第三段中，new就相当于下面这两句话

var c *Person
c = &Person{"xuxiaofeng",26}

如果我们new(*Person)呢,道理还是同样的道理，只是多了一层指针，指针的指针，容易绕晕。

func main() {
    a := new(*Person)
    fmt.Printf("%T.%p,%p\n",a,&a,a)  // **main.Person.0xc000006028,0xc000006030
    //a = Person{}  // error
    //a = &Person{}  // error
    //*a = Person{}  //error
    *a = &Person{"xuxiaofeng",16}
    fmt.Printf("%T.%p,%p\n",*a,&(*a),*a)  // *main.Person.0xc000006030,0xc000004460
    fmt.Println((**a).age)
}

画图表示一下

微信图片_20190106203742.jpg

make 只能用于 slice,map,channel

make基本使用就不做介绍了，只要注意只能是slice,map,channel，这三种类型就可以了。这三种类型都是引用类型

new slice

我们能否new([]int) new一个slice呢？

func main() {
    a := new([]int)
    //a[0] = 1  //(type *[]int does not support indexing)
    //(*a)[0] = 2  // error: index out of range
    fmt.Println(len(*a),cap(*a)) //0 0
    *a = append(*a,1)
    fmt.Printf("%T\n",a)  //*[]int
    fmt.Println((*a)[0])  //1
}

我们看也是可以的，只是给我们返回了长度和容量都是0的slice，而append之后，slice的底层数据已经不是原来的数组了。

new map

func main() {
    a := new(map[string]int)
    (*a)["xuxaiofeng"] =26  //panic: assignment to entry in nil map
    fmt.Println(*a)

}

new chan

func main() {
    a := new(chan int)
    go func() {
        (*a) <- 2
    }()
    t := <-*a
    fmt.Println(t)
}
//fatal error: all goroutines are asleep - deadlock!
//goroutine 1 [chan receive (nil chan)]:

说明我们创建的chan就是一个nil，还没有初始化，从一个nil中读数据，程序当然会deadlock

总结

new(T) 返回 T 的指针 *T 并指向 T 的零值。
make(T) 返回的初始化的 T，只能用于 slice，map，channel。

p.name 和*p.name

func main() {
    p := new(Person)
    //p = Person{"xuxiaofeng",26} //cannot use Person literal (type Person) as type *Person in assignment
    p.name = "xuxiaofeng"
    fmt.Println(p)
}

p是*Person,是Person的指针，所以不能直接复制，要想复制也要这样p = &Person{"xuxiaofeng",26},但是为什么调用字段的时候就可以p.name = "xuxiaofeng"？

如果 x 是可寻址的，&x 的 filed 集合包含 m，x.m 和 (&x).m 是等同的，go 自动做转换，也就是 p.name和 (*p).name调用是等价的，go 在下面自动做了转换。