【发布时间】:2013-12-17 08:28:08
【问题描述】:
我是Go编程语言的新手,最近遇到以下代码:
func (rec *ContactRecord) Less(other interface{}) bool {
return rec.sortKey.Less(other.(*ContactRecord).sortKey);
}
但是,我不明白函数签名背后的含义。它接受一个接口作为参数。你能解释一下这是如何工作的吗?谢谢
【问题讨论】:
我是Go编程语言的新手,最近遇到以下代码:
func (rec *ContactRecord) Less(other interface{}) bool {
return rec.sortKey.Less(other.(*ContactRecord).sortKey);
}
但是,我不明白函数签名背后的含义。它接受一个接口作为参数。你能解释一下这是如何工作的吗?谢谢
【问题讨论】:
Go 使用接口来泛化类型。因此,如果您想要一个采用特定接口的函数 你写
func MyFunction(t SomeInterface) {...}
满足SomeInterface 的每个类型都可以传递给MyFunction。
现在,SomeInterface 可以如下所示:
type SomeInterface interface {
SomeFunction()
}
为了满足SomeInterface,实现它的类型必须实现SomeFunction()。
但是,如果您需要一个空接口 (interface{}),则该对象不需要
实现任何要传递给函数的方法:
func MyFunction(t interface{}) { ... }
上面的这个函数会把每个类型都当作all types implement the empty interface。
既然您可以拥有所有可能的类型,那么问题是如何恢复该类型 实际上是之前放入的。空接口不提供任何方法,因此您 不能在这样的值上调用任何东西。
为此,您需要类型断言:让运行时检查值 Y 中是否存在类型 X 和 如果是,则将其转换为该类型。
例子:
func MyFunction(t interface{}) {
v, ok := t.(SomeConcreteType)
// ...
}
在本例中,输入参数t 被断言为SomeConcreteType 类型。如果t
实际上是SomeConcreteType 类型,v 将持有该类型的实例,ok 将
是真的。否则,ok 将是错误的。详情请见the spec on type assertions。
【讨论】:
interface 变量可以保存任何类型的值,这些值可以为方法提供接口声明中的签名。由于interface{} 没有指定任何方法,这样的变量可以存储任何类型的值。
然后该方法继续使用类型断言来检查 other 实际上是 *ContactRecord 值(否则它会恐慌)。
然后您可能会问为什么没有将方法声明为采用*ContactRecord 参数。最可能的原因是*ContactRecord 类型使用带有该签名的Less 方法实现了某个接口。
【讨论】: