首先,interface{}
类型只是一个接受所有值的类型,因为它是一个带有空方法集的接口,并且每种类型都可以满足这一点。int
例如没有任何方法,也没有interface{}
。
对于交换两个变量的值的方法,您首先需要确保这些变量实际上是可修改的。传递给函数的值总是被复制(除了像切片和映射这样的引用类型,但这不是我们目前关心的问题)。您可以通过使用指向变量的指针来实现可修改的参数。
因此,有了这些知识,您可以继续定义SwapNum
如下:
func SwapNum(a interface{}, b interface{})
NowSwapNum
是一个接受两个任意类型参数的函数。你不能写
func SwapNum(a *interface{}, b *interface{})
因为这只会接受类型的参数,*interface{}
而不仅仅是任何类型。(在这里自己试试)。
所以我们有一个签名,唯一剩下的就是交换值。
func SwapNum(a interface{}, b interface{}) {
*a, *b = *b, *a
}
不,这不会那样工作。通过使用interface{}
我们必须执行运行时类型断言来检查我们是否在做正确的事情。所以必须使用reflect
包来扩展代码。如果您不了解反射,这篇文章可能会让您入门。
基本上我们将需要这个功能:
func SwapNum(a interface{}, b interface{}) {
ra := reflect.ValueOf(a).Elem()
rb := reflect.ValueOf(b).Elem()
tmp := ra.Interface()
ra.Set(rb)
rb.Set(reflect.ValueOf(tmp))
}
这段代码进行了反射a
和b
使用reflect.ValueOf()
,以便我们可以检查它。在同一行中,我们假设我们已经获得了指针值并通过调用它们来取消引用.Elem()
它们。
这基本上转化为ra := *a
and rb := *b
。之后,我们*a
通过请求使用.Interface()
并分配它的值来制作副本(有效地制作副本)。
最后,我们使用] 5a
设置to的值,它转换为
然后分配给,我们将其存储在 temp 中。变前。为此,我们需要转换回自身的反射以便可以使用(它需要一个作为参数)。b
[ra.Set(rb)
*a = *b
b
a
tmp
rb.Set()
reflect.Value
我们能做得更好吗?
是的!我们可以使代码更安全,或者更好的是Swap
,使用reflect.MakeFunc
. 在文档中(按照链接)是一个非常类似于您正在尝试的示例。本质上,您可以通过使用反射来为函数原型填充内容。当您提供函数的原型(签名)时,编译器可以检查类型,而当值减少到interface{}
.
示例用法:
var intSwap func(*int, *int)
a,b := 1, 0
makeSwap(&intSwap)
intSwap(&a, &b)
// a is now 0, b is now 1
这背后的代码:
swap := func(in []reflect.Value) []reflect.Value {
ra := in[0].Elem()
rb := in[1].Elem()
tmp := ra.Interface()
ra.Set(rb)
rb.Set(reflect.ValueOf(tmp))
return nil
}
makeSwap := func(fptr interface{}) {
fn := reflect.ValueOf(fptr).Elem()
v := reflect.MakeFunc(fn.Type(), swap)
fn.Set(v)
}
的代码与 的代码swap
基本相同SwapNum
。makeSwap
与解释得很好的文档中使用的相同。
免责声明:上面的代码对给出的内容和值的样子做了很多假设。通常你需要检查,例如,给定的值SwapNum
实际上是指针值等等。为了清楚起见,我把它省略了。