1)只能对命名类型和命名类型的指针编写方法;
2)不能对接口类型和接口类型的指针编写方法;
3)只能在定义命名类型的那个包编写其方法。
2)receiver是值的方法,编译器会隐式的生成一个receiver是对应类型指针的同名方法。反过来却不会。
3)结构体的匿名字段的类型限制:
1)不可以是未命名类型;
2)可以是命名类型或命令类型的指针类型;
3)接口类型可以,接口类型的指针类型不行;
4)结构体匿名字段的方法向外传递的规则:
1)匿名字段为值类型时:值的方法会传递给结构体的值,指针的方法会传递给结构体的指针;
2)匿名字段为指针类型时:指针的方法会传递给值和指针;
3)匿名字段为接口类型时:方法会传递给值和指针;
5)匿名字段的方法,是被经过包装实现为外围结构体的方法。
6)使用具体的类型去调用方法时。
首先,编译器查看该类型下有没有该方法;
其次,扩展查看该类型的指针类型或者基类型(如果该类型是指针类型);
最后,如果以上查找都未找到,则会报错。
注:扩展查看不会查看隐式实现的方法(匿名字段传递出来的方法、值=>指针隐式实现的方法)
7)具体类型的方法集是以该类型为receiver的方法的集合。
8)接口类型的方法集就是其定义里声明的方法,接口调用方法时类似C++调用虚函数;接口的指针没有方法集。
9)类型存入接口时只检查方法集;调用接口的方法时也只检查方法集;reflect包同样只查看方法集。
类型A的方法,A和*A都可以调用;
类型A的方法,虽然隐式实现了类型*A的方法,**A却不能调用;
类型*A的方法,A、*A、**A都可以调用;
不能实现**A的方法;
- type A ...
- func (a A)X(){}
- func (a *A)Y(){}
- type IX interface{
- X()
- }
- type IY interface{
- Y()
- }
- a := A{}
- b := &a
- c := &b
- a.X() // ok
- b.X() // ok
- c.X() // error
- a.Y() // ok
- b.Y() // ok
- c.Y() // ok
- var ix IX
- ix = a // ok
- ix = b // ok
- ix = c // error
- var iy IY
- iy = a // error
- iy = b // ok
- iy = c // error
- var jx IX
- jx = ix // ok
- jx = &ix // error
对于代码:
- type I interface {
- IE()
- }
- type A int
- func (_ A) VA() {}
- func (_ *A) PA() {}
- type B struct {
- I
- }
- func (_ B) VB() {}
- func (_ *B) PB() {}
- type C struct {
- A
- }
- func (_ C) VC() {}
- func (_ *C) PC() {}
- type D struct {
- *A
- }
- func (_ D) VD() {}
- func (_ *D) PD() {}
type(类型) | explicit(显式定义的方法) |
implicit(隐式实现的方法) |
inherit(继承自匿名字段的方法) |
I | IE |
|
|
*I | |
|
|
A | VA |
|
|
*A | PA | VA |
|
B | VB | |
IE |
*B | PB | VB | IE |
C | VC | |
VA |
*C | PC | VC | PA,VA |
D | VD | |
PA,VA |
*D | PD | VD | PA,VA |