Swift 函数派发机制

4种派发机制:

1、内联(inline)最快
2、静态派发(Static Dispatch)
3、函数表派发(Virtual Dispatch)
4、动态派发(Dynamic Dispatch)(最慢)

Swift 的派发方式总结:

  1. 值类型 : 静态派发
  2. final、扩展 :静态派发
  3. 引用类型:函数表派发
  4. 协议 :函数表派发(单独的函数表派发)
  5. dynomic + @objc :走消息机制

dynamic 关键字可以用于修饰变量或函数,它的意思也与 Objective-C 完全不同。它告诉编译器使用动态分发而不是静态分发。Objective-C 区别于其他语言的一个特点在于它的动态性,任何方法调用实际上都是消息分发,而 Swift 则尽可能做到静态分发。
因此,标记为 dynamic 的变量或函数会隐式的加上 @objc 关键字,他会使用 Objective-C 的 runtime 机制。

@objc 修饰符:可以将 Swift 类型文件中的类、属性和方法等,暴露给Objective-C 类使用

swift中函数派发查看方式:可将swift代码转换为SIL(中间码)

swiftc -emit-silgen -O example.swift

如何在Swift中使用动态派发和静态派发?

  1. 动态派发
  • 可以使用继承,重写父类的方法 -> 函数表派发
  • 使用dynamic + @objc,方法公开给OC runtime使用 -> 消息机制

在这种类型的派发中,在运行时而不是编译时选择实现方法,会增加运行时的性能开销。

优势:具有灵活性(大多数的OOP语言都支持动态派发,因为它允许多态)

  1. 静态派发
  • final 关键字
  • static 关键字

优势:和动态派发相比,非常快。编译器可以在编译器定位到函数的位置。因此函数被调用时,编译器能通过函数的内存地址,直接找到它的函数实现。极大的提高了性能,可以达到类型inline的编译期优化

动态派发有两种形式:

  1. 函数表派发(Table Dispatch)

这种调用方式利用一个表,该表是一组函数指针,称为witness table,以查找特定方法的实现

  • witness table如何工作?

每个子类都有它自己的表结构

对于类中每个重写的方法,都有不同的函数指针

当子类添加新方法时,这些方法指针会添加在表数组的末尾

最后,编译器在运行时使用此表来查找调用函数的实现

由于编译器必须从表中读取方法实现的内存地址,然后跳转到该地址,一次它需两条附加指令,因此它比静态派发慢,但仍比消息派发快

  1. 消息派发(Message Dispatch)

这种动态派发方式是最动态的。事实上它表现优异,目前Cocoa框架在KVO,CoreData等很多地方在使用它

此外,它还可以使用method swizzling,可以在运行时更改函数的实现。

Swift本身不支持消息派发,而是利用OC的runtime特性,间接实现这种动态性。

要使用动态性需要使用dynamic关键字。Swift4.0之前,需要一起使用dynamic和@objc。Swift4.0之后,只需表明@objc让方法支持oc的调用,以支持消息派发

参考链接:https://www.jianshu.com/p/6a0929424ac1
https://blog.csdn.net/LiqunZhang/article/details/115175965

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容