Golang 使用接口实现泛型的方法示例
在C/C++中我们可以使用泛型的方法使代码得以重复使用,最常见例如stlfunctions:vector
interface{...}是实现泛型的基础。如一个数组元素类型是interface{...}的话,那么实现了该接口的实体都可以被放置入数组中。注意其中并不一定必须是空接口(简单类型我们可以通过把他转化为自定义类型后实现接口)。为什么interface中要声明方法:因为当我们需要对数组内数据进行操作时(如比较大小),我们需要为这个操作声明一个自定义的方法。换言之,只有实现了这个方法的实体才允许被加入进数组中。
基础Demo
在下面演示的Demo中,我们将实现一个最简单的vector,并实现插入时排序的功能。
typeComperinterface{ Lessthan(Comper)bool } typeSdatastruct{ data[]Comper } func(t*Sdata)Push(itemComper){ t.data=append(t.data,item) fork,v:=ranget.data{ ifitem.Lessthan(v){//调用接口定义的方法 //排序操作 break } } }
如此便实现了一个最简单的Demo,使用Sdata的数组元素必须先实现Lessthan方法:
typeMyintint func(tMyint)Lessthan(xComper)bool{ returnt0;i--{ mydata.Push((Myint(i))) } fmt.Println(mydata) }
但这个Demo的缺点也有许多,一是简单类型元素无法使用Sdata进行排序,二是不支持并发,在并发的情况下会产生不可预料的结果。
通过Reflect支持简单类型的Demo
为要支持简单类型,我们只能使用空接口作为数组元素类型。这时候我们的程序逻辑应该是这样:如果这是一个简单类型,那么我们直接调用内置的"<"与">"进行比较;如果这不是一个简单类型,那么我们仍旧调用Lessthan方法:
typeComperinterface{ Lessthan(Comper)bool } typeSdatastruct{ data[]interface{} } func(t*Sdata)Push(iteminterface{}){ for_,v:=ranget.data{ ifreflect.TypeOf(item).Implements(reflect.TypeOf(new(Comper)).Elem()){ citem:=item.(Comper) cv:=v.(Comper) ifcitem.Lessthan(cv){ //要执行的操作 break } }else{ x,v:=reflect.ValueOf(item),reflect.ValueOf(v) switchx.Kind(){ casereflect.Int: casereflect.Int8: casereflect.Int16: /*...*/ //x,y:=x.Int(),y.Int() /*...*/ break casereflect.Uint: /*...*/ } } } }
利用reflect判断item的类型:
reflect.TypeOf(item).Implements(reflect.TypeOf(new(comper)).Elem()),即item类型是否实现了comper接口类型。TypeOf(new(comper))是一个指针ptr,Elem()将指针转为值。如果该函数返回值为true,则可将item和v从interface{}强制转为Comper接口,调用Lessthan(...);当然你也可以使用类型断言,那种方式更简单也更常用,我在这儿只是尝试一下使用反射的方法:ifv,ok:=item.(comper);ok{...}
不能直接对value类型进行大小比较:
value类型不能通过">"与"<"直接比较大小,即使我们知道他是简单类型。作者还没有找到简单的方法能直接转化值为简单类型并比较,因此采用了枚举的方法。若有更简便的方法,也请告知。
如果使用实例指针实现接口:
这是一个比较难以发现的问题,涉及到golang的类型系统。也就是说,如果我们实现Lessthen的方法是这样func(t*Myint)Lessthan(xComper)bool,那么很有可能你的断言item类型就要失败了。我们可以看一下此时item的类型:
fmt.Println(reflect.TypeOf(t.data[0]))//main.XXX
这不是我们期待的,因为我们知道只有*T类型的方法集才是S和*S,而T类型的方法集只有S。很明显,main.XXX的方法集里不包括Lessthan方法,只有*main.XXX才包括。所以正确的使用方法是,在最初赋值的时候就赋值给指针类型:
mi:=Myint(i) mydata.Push(&mi)
多接口分层Demo
空接口其实只是一个特殊用例,我们将其推广后即可发现,我们可以定义多个接口,声明多种方法,实体实现了若干种方法便有权限调用若干函数:
例如我们可以赋予读取权限,写入权限与删除权限,来对应不同需求:
typeReaderinterface{ Read()interface{} } typeWriterinterface{ Write(Writer) } typeReadWriterinterface{ Reader Writer } typeRemoverinterface{ Remove() } typeSdatastruct{ data[]interface{} } func(t*Sdata)Get(iint)interface{}{ iflen(t.data)==0{returnnil} ifreflect.TypeOf(t.data[0]).Implements(reflect.TypeOf(new(Reader)).Elem())==true{ returnt.data[i].(Reader).Read() } } func(t*Sdata)Modify(iint,wWriter){ //ifreflect.TypeOf(t.data[0]).Implements(reflect.TypeOf(new(ReadWriter)).Elem())==true if_,ok:=t.data[0].(ReadWriter);ok{ t.data[i].(Writer).Write(w) } } //......
自定义Myint类型并实现Reader,Writer接口:
typeReadintint func(tReadint)Read()interface{}{ returnint(t) } //--------------------------------------------- typeMyintint func(tMyint)Read()interface{}{ returnint(t) } func(t*Myint)Write(wWriter){ *t=*w.(*Myint) return } funcmain(){ mydata:=Sdata{make([]interface{},1)} varu,vMyint=5,6 mydata.data[0]=&u fmt.Println("Myintis",mydata.Get(0)) mydata.Modify(0,&v) fmt.Println("Myintis",mydata.Get(0)) varruReadint=100 readdata:=Sdata{make([]interface{},1)} readdata.data[0]=&ru fmt.Println("Readintis",readdata.Get(0)) //varrvReadint=101 readdata.Modify(0,&v)//事实上,如果传递rv则编译根本不会通过。 fmt.Println("Readintis",readdata.Get(0)) }
运行结果:
Myintis 5
Myintis 6
Readintis 100
Readintis 100
说明:如果因为认为上述代码传递&rv根本不会通过编译而不去作类型检查,这是不可取的。因为对于空接口interface{}而言,无所谓实体的类型,只在乎是否实现方法,因此传递&v是合情合理的。另外,因为该Demo是一个简易版本,所以判断权限部分仅仅根据判断第0个元素的权限。事实上,判断权限应该在初始化时完成并将其存储在结构体变量中。
最后关于并发的问题,套用读写锁即可。过于简单不再通过Demo验证。
以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持毛票票。
声明:本文内容来源于网络,版权归原作者所有,内容由互联网用户自发贡献自行上传,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任。如果您发现有涉嫌版权的内容,欢迎发送邮件至:czq8825#qq.com(发邮件时,请将#更换为@)进行举报,并提供相关证据,一经查实,本站将立刻删除涉嫌侵权内容。