值类型的变量和指针类型的变量

先声明一个结构体:函数

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() 。spa

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)

输出结果为:scala

M1调用前: t1
M1调用后: t1
M2调用前: t1
M2调用后: name2指针

下面猜想一下go会怎么处理。code

先来约定一下:接收者能够看做是函数的第一个参数,即这样的: 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 。get

  1. 类型的变量这两个方法都是拥有的。

下面声明一个 *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 了。

若是声明一个方法 func 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 的效果和上面同样。