接口的定义
接口提供了一种方式来说明对象的行为,它是一个方法集,是这些方法不包含(实现)代码:它们没有被实现(它们是抽象的)。接口里也不能包含变量。
1. 类型不需要显式声明它实现了某个接口:接口被隐式地实现。多个类型可以实现同一个接口。
2. 实现某个接口的类型(除了实现接口方法外)可以有其他的方法。
3. 一个类型可以实现多个接口。
4. 接口类型可以包含一个实例的引用, 该实例的类型实现了此接口(接口是动态类型)。如下
其中这种情况下s 必须是指针类型,如果把*去掉就必须是黄色的定义了。Simple前面都加*或者都不加*,否则容易出错,特别是使用多态功能时。
一个接口可以包含一个或多个其他的接口,这相当于直接将这些内嵌接口的方法列举在外层接口中一样。
类型断言
一个接口类型的变量(上图中ser)中可以包含任何类型的值,必须有一种方式来检测它的动态类型,即运行时在变量中存储的值的实际类型。通常我们可以使用类型断言来测试在某个时刻 ser是否包含类型Simple的值:
当然ser必须是一个接口类型的值,否则会报错,一般如下使用
至于到底括号中的Simple加不加*,根据s的类型来判断。
还可以使用switch-type来进行选择
其中v是一个空接口的值,空接口类似于Java中的Object,是所有类型的原始类型。
对于空接口数组如果要放入某组数据,必须用for-range一个一个的赋值,不能直接等于,不然会报错。因为不同类型的内存布局不一样。
Go 语言规范定义了接口方法集的调用规则:
1. 类型 *T 的可调用方法集包含接受者为 *T 或 T 的所有方法集。2.类型 T 的可调用方法集包含接受者为 T 的所有方法。3. 类型 T 的可调用方法集不包含接受者为 *T 的方法。
反射包reflect
反射
是用程序检查其所拥有的结构,尤其是类型的一种能力;这是元编程的一种形式。反射可以在运行时检查类型和变量,例如它的大小、方法和动态的调用这些方法。这对于没有源代码的包尤其有用。这是一个强大的工具,除非真得有必要,否则应当避免使用或小心使用。
reflect.TypeOf(obj) 返回对象的类型。
reflect.ValueOf(obj)返回对象的值。
func (v Value) Interface() (i interface{}) 本方法返回v当前持有的值(表示为/保管在interface{}类型)。
func (v Value) Kind() Kind Kind返回v持有的值的分类,如果v是Value零值,返回值为Invalid。
func (v Value) Elem() Value Elem返回v持有的接口保管的值的Value封装,或者v持有的指针指向的值的Value封装。如果v的Kind不是Interface或Ptr会panic;如果v持有的值为nil,会返回Value零值。
通过反射修改对象的值需要先把对象的地址转换成value后,才能修改
如果上图的m不是地址的话,会panic。
反射结构
func (v Value) NumField() int
返回v持有的结构体类型值的字段数,如果v的Kind不是Struct会panic
func (v Value) Field(i int) Value
返回结构体的第i个字段(的Value封装)。如果v的Kind不是Struct或i出界会panic
输出 ggg 123
反射方法
func (v Value) NumMethod() int
返回v持有值的方法集的方法数目。
func (v Value) Method(i int) Value
返回v持有值类型的第i个方法的已绑定(到v的持有值的)状态的函数形式的Value封装。返回值调用Call方法时不应包含接收者;返回值持有的函数总是使用v的持有者作为接收者(即第一个参数)。如果i出界,或者v的持有值是接口类型的零值(nil),会panic。
func (v Value) MethodByName(name string) Value
返回v的名为name的方法的已绑定(到v的持有值的)状态的函数形式的Value封装。返回值调用Call方法时不应包含接收者;返回值持有的函数总是使用v的持有者作为接收者(即第一个参数)。如果未找到该方法,会返回一个Value零值。
func (v Value) Call(in []Value) []Value
Call方法使用输入的参数in调用v持有的函数。例如,如果len(in) == 3,v.Call(in)代表调用v(in[0], in[1], in[2])(其中Value值表示其持有值)。如果v的Kind不是Func会panic。它返回函数所有输出结果的Value封装的切片。和go代码一样,每一个输入实参的持有值都必须可以直接赋值给函数对应输入参数的类型。如果v持有值是可变参数函数,Call方法会自行创建一个代表可变参数的切片,将对应可变参数的值都拷贝到里面。
我目前遇到的经常使用的差不多就是这些了