golang中值类型/指针类型的变量区别总结

2020-01-28 12:52:15于海丽

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 试试: