1. 写在前面
文章的标题读起来是有点拗口的,用一个简单的示例大家便可以一目了然了,如下所示,st2
会被自动解引用从而调用StructTest
的printData
方法,而st3
会被自动取引用从而调用StructTest2
的printData
方法。
但很多时候,我们会发现这种自动的“取引用”或“解引用”不“奏效”了,尤其是遇到接口的时候,本文就是通过代码复现这种“不奏效”,并分析其中的原因。
package main
import "fmt"
type StructTest struct{
data string
}
func (st StructTest) printData() {
fmt.Println(st.data)
}
type StructTest2 struct {
data string
}
func (st *StructTest2) printData(){
fmt.Println(st.data)
}
func main() {
st1 := StructTest{data: "seafooler"}
st1.printData()
st2 := &(StructTest{data: "seafooler"})
st2.printData()
st3 := StructTest2{data: "seafooler"}
st3.printData()
st4 := &(StructTest{data: "seafooler"})
st4.printData()
}
2. 自动“取引用”或“解引用”遇到“接口”
2.1 现象
我们还是用代码举例,如下所示,我们定义一个接口InterfaceTest
,并定义了两个实现该接口的类StructTest
和StructTest2
。在main
函数中,我们分别将实现类的变量的值或者引用赋值给接口变量,并通过接口变量来调用printData
方法。发现程序中it3
的赋值会出现编译错误。
package main
import "fmt"
type InterfaceTest interface {
printData()
}
type StructTest struct {
data string
}
func (st StructTest) printData() {
fmt.Println(st.data)
}
type StructTest2 struct {
data string
}
func (st *StructTest2) printData() {
fmt.Println(st.data)
}
func main(){
st := StructTest{data: "seafooler"}
var it1 InterfaceTest = st
it1.printData()
var it2 InterfaceTest = &st
it2.printData()
st2 := StructTest2{data: "seafooler"}
var it3 InterfaceTest = st2 // 编译出错
it3.printData()
var it4 InterfaceTest = &st2
it4.printData()
}
2.2 原因
原因是因为,对于一个类来说,其值类型的方法会自动生成相应的指针类型的方法,而指针类型的方法不会自动生成相应的值类型的方法。在我们的程序示例中:
StructTest
值类型的printData
方法会自动生成一个func (st *StructTest) printData()
方法,因此*StructTest
也是符合InterfaceTest
接口的。- 相反,
StructTest2
指针类型的printData
方法不会自动生成一个func (st StructTest2) printData()
方法,因此StructTest2
不符合InterFaceTest
接口,也就不能将st2
赋值给it3
3. 总结
我们在谈到变量的自动“取引用”和“解引用”时,往往是指在进行“方法调用”的时候。而第2部分的示例代码中,涉及到类型的匹配,那就是另外一个问题了,涉及到的是新的相应方法的生成。值类型的方法总会生成一个对应的指针类型方法,反之则不可以。