为什么我不能在 Swift 中重新分配实例方法?
Why can't I reassign an instance method in Swift?
所以这个问题有一个明显的答案:"because the compiler won't let you" 但我希望有人能向我解释为什么 Swift 的这一部分会这样工作。
我 运行 进入这个问题是因为我正在构建一个需要满足协议 (UIImagePickerControllerDelegate) 的视图控制器。该协议需要在用户选择图像后调用回调函数。我希望能够在运行时更改回调行为。
来自 Python 背景,我认为这应该很简单:只需在我的 class 上定义回调方法以满足协议,然后通过重新分配给它来重新定义它。这在 Python:
中工作得很好
class Foo(object):
def bar(self):
print "bar"
foo = Foo()
foo.bar() # output "bar"
def baz():
print "baz"
foo.bar = baz
foo.bar() # output "baz"
但它在 Swift 中不起作用(尽管我可以通过声明一个变量来保存闭包来做几乎相同的事情):
import UIKit
class Foo {
func bar() -> String {
return "bar"
}
var baz: ()-> String = {
return "baz"
}
}
let foo = Foo()
foo.bar() // output: bar
foo.baz() // output: baz
let gee = {
return "gee"
}
foo.baz = gee
foo.baz() // output: gee
foo.bar = gee // error: cannot assign to bar in foo
所以问题...为什么 Swift 以这种方式工作?这显然不是因为不可能在运行时更改函数路由(否则闭包分配将不起作用)。我最好的猜测是,它类似于变量的 let/var 区别,使用 "func" 隐含地告诉编译器函数应该是不可变的。我 g运行t 认为默认情况下使实例方法不可变可能更好。但是当我们需要遵守来自 UIKit 的严格协议时,这很烦人。至少如果我可以使用变量来满足协议中的功能要求,那就太好了。
(出于好奇:我通过声明一个实例变量来保存一个可以重新分配的闭包来解决这个问题。然后我声明了所需的协议函数并使其除了调用闭包之外什么都不做。哪个可能(? ) 导致保留周期,但有效。)
我不确定 swift 中的函数和闭包在幕后是如何工作的,但我认为 swift 中的函数基本上就像 c 中的函数,它在 [=27= 中定义]时间就是这样。它已编译并位于内存中的某个地址,任何引用该函数的内容都必须查看该内存地址,并且不能在 运行 时间更改。
我认为闭包就像 function pointer + c 中的正常函数组合。所以这可能是他们在 swift 中实现该功能的方式的限制。在 python 中,也许在幕后一切都像函数指针 + 普通函数一样实现。
至于为什么 swift 没有像 python 那样实现它,我想只有在 Apple 工作的人才能告诉你,但是使用像闭包这样的东西可能会有一些开销而不是只是简单的函数,所以它们让你只在需要时使用闭包,其余的应该是函数。
还具有不可变的功能可能是协议在幕后工作的原因,也许允许您在 运行 时间更改功能会破坏协议系统。
我不确定这里是否有人真的适合回答这个问题(除了潜伏在这里的苹果员工),但这是我最好的猜测
允许编译器发出的代码根本不同。
做个简单的测试,为了可读性用-Onone
编译,用Hopper反汇编,大家可以看看是怎么回事(注释是手动加的):
在 "instance method"/函数的情况下,它们可以在 vtable 中查找后调用 - 在这个例子中,*(*rax + 0x48)
和 *(*rax + 0x70)
是指向函数的指针,并且它们作为参数传递 rax
(对象本身)(这变成 self
)。
然而,在闭包变量的情况下,*(*rax + 0x50)
是指向 getter 的指针,用于 bar
。首先调用 getter,然后调用 returns 闭包 — (rax)(rdx)
.
所以这些完全是不同的东西。如果您有一个存储闭包的可修改 属性,那么您当然需要先调用 getter,然后才能调用闭包(因为值可能已通过在别处设置而更改)。但是简单的函数调度不需要额外的间接级别。
所以这个问题有一个明显的答案:"because the compiler won't let you" 但我希望有人能向我解释为什么 Swift 的这一部分会这样工作。
我 运行 进入这个问题是因为我正在构建一个需要满足协议 (UIImagePickerControllerDelegate) 的视图控制器。该协议需要在用户选择图像后调用回调函数。我希望能够在运行时更改回调行为。
来自 Python 背景,我认为这应该很简单:只需在我的 class 上定义回调方法以满足协议,然后通过重新分配给它来重新定义它。这在 Python:
中工作得很好class Foo(object):
def bar(self):
print "bar"
foo = Foo()
foo.bar() # output "bar"
def baz():
print "baz"
foo.bar = baz
foo.bar() # output "baz"
但它在 Swift 中不起作用(尽管我可以通过声明一个变量来保存闭包来做几乎相同的事情):
import UIKit
class Foo {
func bar() -> String {
return "bar"
}
var baz: ()-> String = {
return "baz"
}
}
let foo = Foo()
foo.bar() // output: bar
foo.baz() // output: baz
let gee = {
return "gee"
}
foo.baz = gee
foo.baz() // output: gee
foo.bar = gee // error: cannot assign to bar in foo
所以问题...为什么 Swift 以这种方式工作?这显然不是因为不可能在运行时更改函数路由(否则闭包分配将不起作用)。我最好的猜测是,它类似于变量的 let/var 区别,使用 "func" 隐含地告诉编译器函数应该是不可变的。我 g运行t 认为默认情况下使实例方法不可变可能更好。但是当我们需要遵守来自 UIKit 的严格协议时,这很烦人。至少如果我可以使用变量来满足协议中的功能要求,那就太好了。
(出于好奇:我通过声明一个实例变量来保存一个可以重新分配的闭包来解决这个问题。然后我声明了所需的协议函数并使其除了调用闭包之外什么都不做。哪个可能(? ) 导致保留周期,但有效。)
我不确定 swift 中的函数和闭包在幕后是如何工作的,但我认为 swift 中的函数基本上就像 c 中的函数,它在 [=27= 中定义]时间就是这样。它已编译并位于内存中的某个地址,任何引用该函数的内容都必须查看该内存地址,并且不能在 运行 时间更改。
我认为闭包就像 function pointer + c 中的正常函数组合。所以这可能是他们在 swift 中实现该功能的方式的限制。在 python 中,也许在幕后一切都像函数指针 + 普通函数一样实现。
至于为什么 swift 没有像 python 那样实现它,我想只有在 Apple 工作的人才能告诉你,但是使用像闭包这样的东西可能会有一些开销而不是只是简单的函数,所以它们让你只在需要时使用闭包,其余的应该是函数。
还具有不可变的功能可能是协议在幕后工作的原因,也许允许您在 运行 时间更改功能会破坏协议系统。
我不确定这里是否有人真的适合回答这个问题(除了潜伏在这里的苹果员工),但这是我最好的猜测
允许编译器发出的代码根本不同。
做个简单的测试,为了可读性用-Onone
编译,用Hopper反汇编,大家可以看看是怎么回事(注释是手动加的):
在 "instance method"/函数的情况下,它们可以在 vtable 中查找后调用 - 在这个例子中,*(*rax + 0x48)
和 *(*rax + 0x70)
是指向函数的指针,并且它们作为参数传递 rax
(对象本身)(这变成 self
)。
然而,在闭包变量的情况下,*(*rax + 0x50)
是指向 getter 的指针,用于 bar
。首先调用 getter,然后调用 returns 闭包 — (rax)(rdx)
.
所以这些完全是不同的东西。如果您有一个存储闭包的可修改 属性,那么您当然需要先调用 getter,然后才能调用闭包(因为值可能已通过在别处设置而更改)。但是简单的函数调度不需要额外的间接级别。