纯 Swift 类#

普通函数#

1
class RyukieSwiftClass {
2
    var age: String?
3

4
    func hello() {
5
        print(age ?? "-")
6
    }
7
}
8

9
let ry = RyukieSwiftClass()
10
ry.age = "Ryukie"
11
ry.hello()

生成 SIL 文件，找到：

1
sil_vtable RyukieSwiftClass {
2
  #RyukieSwiftClass.age!getter: (RyukieSwiftClass) -> () -> String? : @main.RyukieSwiftClass.age.getter : Swift.String?  // RyukieSwiftClass.age.getter
3
  #RyukieSwiftClass.age!setter: (RyukieSwiftClass) -> (String?) -> () : @main.RyukieSwiftClass.age.setter : Swift.String?  // RyukieSwiftClass.age.setter
4
  #RyukieSwiftClass.age!modify: (RyukieSwiftClass) -> () -> () : @main.RyukieSwiftClass.age.modify : Swift.String?  // RyukieSwiftClass.age.modify
5
  #RyukieSwiftClass.hello: (RyukieSwiftClass) -> () -> () : @main.RyukieSwiftClass.hello() -> ()  // RyukieSwiftClass.hello()
6
  #RyukieSwiftClass.init!allocator: (RyukieSwiftClass.Type) -> () -> RyukieSwiftClass : @main.RyukieSwiftClass.__allocating_init() -> main.RyukieSwiftClass  // RyukieSwiftClass.__allocating_init()
7
  #RyukieSwiftClass.deinit!deallocator: @main.RyukieSwiftClass.__deallocating_deinit  // RyukieSwiftClass.__deallocating_deinit
8
}

可见：纯 Swift 类的函数，是存在一个 sil_vtable 类型的数据结构内的。

@objc、dynamic、@objc dynamic 关键字修饰的函数#

对上面代码进行修改

1
class RyukieSwiftClass {
2
    var age: String?
3

4
    func hello() {
5
        print("hello: \(age ?? "-")")
6
    }
7

8
    dynamic func dynamicHelo() {
9
        print("dynamic: \(age ?? "-")")
10
    }
11

12
    @objc func atObjcHello() {
13
        print("@objc: \(age ?? "-")")
14
    }
15

16
    @objc dynamic func atObjcDynamicHello() {
17
        print("@objc dynamic: \(age ?? "-")")
18
    }
19
}
20

21
let ry = RyukieSwiftClass()
22
ry.age = "Ryukie"
23
ry.hello()
24
ry.dynamicHelo()
25
ry.atObjcHello()
26
ry.atObjcDynamicHello()

SIL:

1
sil_vtable RyukieSwiftClass {
2
  #RyukieSwiftClass.age!getter: (RyukieSwiftClass) -> () -> String? : @main.RyukieSwiftClass.age.getter : Swift.String?  // RyukieSwiftClass.age.getter
3
  #RyukieSwiftClass.age!setter: (RyukieSwiftClass) -> (String?) -> () : @main.RyukieSwiftClass.age.setter : Swift.String?  // RyukieSwiftClass.age.setter
4
  #RyukieSwiftClass.age!modify: (RyukieSwiftClass) -> () -> () : @main.RyukieSwiftClass.age.modify : Swift.String?  // RyukieSwiftClass.age.modify
5

6
// 普通函数
7
  #RyukieSwiftClass.hello: (RyukieSwiftClass) -> () -> () : @main.RyukieSwiftClass.hello() -> ()  // RyukieSwiftClass.hello()
8

9
// dynamic 函数
10
  #RyukieSwiftClass.dynamicHelo: (RyukieSwiftClass) -> () -> () : @main.RyukieSwiftClass.dynamicHelo() -> ()  // RyukieSwiftClass.dynamicHelo()
11

12
// @objc 函数
13
  #RyukieSwiftClass.atObjcHello: (RyukieSwiftClass) -> () -> () : @main.RyukieSwiftClass.atObjcHello() -> ()  // RyukieSwiftClass.atObjcHello()
14

15
  #RyukieSwiftClass.init!allocator: (RyukieSwiftClass.Type) -> () -> RyukieSwiftClass : @main.RyukieSwiftClass.__allocating_init() -> main.RyukieSwiftClass  // RyukieSwiftClass.__allocating_init()
16
  #RyukieSwiftClass.deinit!deallocator: @main.RyukieSwiftClass.__deallocating_deinit  // RyukieSwiftClass.__deallocating_deinit
17
}

通过 SIL 我们发现：普通函数、@objc 函数 和 dynamic 函数 都是通过 sil_vtable 存储的，而且内存空间连续。

但是 sil_vtable 内部少了 @objc dynamic 修饰的函数。我们通过汇编断点看一下：

@objc dynamic

图中我们发现 @objc dynamic 修饰的函数，是通过 objc_msgSend 进行调度的，所以并不在 sil_vtable 内。

extension#

我们新增一个 extension 并调用其中的函数：

1
extension RyukieSwiftClass {
2
    func extensionHello() {
3
        print("extension: \(age ?? "-")")
4
    }
5
}

汇编端点发现 call 0x1000037e0 是直接通过地址调用的：

1
->  0x1000029d9 <+73>: mov    r13, qword ptr [rip + 0x58a0] ; SourceCodeStudy.ry : SourceCodeStudy.RyukieSwiftClass
2
    0x1000029e0 <+80>: call   0x1000037e0               ; SourceCodeStudy.RyukieSwiftClass.extensionHello() -> () at main.swift:35

且在 sil_vtable 结构中没有发现 extensionHello。

所以：在 Swift 类的 extension 中的函数是 静态调用 的。

子类#

我们定义一个子类：

1
class RyukieSwiftSubClass: RyukieSwiftClass {
2
    func subHello() {
3
        print("sub: \(age ?? "-")")
4
    }
5
}
6

7

8
let subRy = RyukieSwiftSubClass()
9
subRy.age = "18"
10
subRy.hello()
11
subRy.subHello()
12
subRy.extensionHello()

SIL:

1
sil_vtable RyukieSwiftSubClass {
2
// 父类的结构
3
  #RyukieSwiftClass.age!getter: (RyukieSwiftClass) -> () -> String? : @main.RyukieSwiftClass.age.getter : Swift.String? [inherited]  // RyukieSwiftClass.age.getter
4
  #RyukieSwiftClass.age!setter: (RyukieSwiftClass) -> (String?) -> () : @main.RyukieSwiftClass.age.setter : Swift.String? [inherited]  // RyukieSwiftClass.age.setter
5
  #RyukieSwiftClass.age!modify: (RyukieSwiftClass) -> () -> () : @main.RyukieSwiftClass.age.modify : Swift.String? [inherited]  // RyukieSwiftClass.age.modify
6
  #RyukieSwiftClass.hello: (RyukieSwiftClass) -> () -> () : @main.RyukieSwiftClass.hello() -> () [inherited]  // RyukieSwiftClass.hello()
7
  #RyukieSwiftClass.dynamicHelo: (RyukieSwiftClass) -> () -> () : @main.RyukieSwiftClass.dynamicHelo() -> () [inherited]  // RyukieSwiftClass.dynamicHelo()
8
  #RyukieSwiftClass.atObjcHello: (RyukieSwiftClass) -> () -> () : @main.RyukieSwiftClass.atObjcHello() -> () [inherited]  // RyukieSwiftClass.atObjcHello()
9

10
// 自己的结构
11
  #RyukieSwiftClass.init!allocator: (RyukieSwiftClass.Type) -> () -> RyukieSwiftClass : @main.RyukieSwiftSubClass.__allocating_init() -> main.RyukieSwiftSubClass [override]  // RyukieSwiftSubClass.__allocating_init()
12
  #RyukieSwiftSubClass.subHello: (RyukieSwiftSubClass) -> () -> () : @main.RyukieSwiftSubClass.subHello() -> ()  // RyukieSwiftSubClass.subHello()
13
  #RyukieSwiftSubClass.deinit!deallocator: @main.RyukieSwiftSubClass.__deallocating_deinit  // RyukieSwiftSubClass.__deallocating_deinit
14
}

汇编端点：

1
    0x100002546 <+182>: mov    rax, qword ptr [rip + 0x5e9b] ; SourceCodeStudy.subRy : SourceCodeStudy.RyukieSwiftSubClass
2
    0x10000254d <+189>: mov    r13, rax
3
    0x100002550 <+192>: mov    rax, qword ptr [rax]
4
    0x100002553 <+195>: call   qword ptr [rax + 0x70]
5
    0x100002556 <+198>: mov    r13, qword ptr [rip + 0x5e8b] ; SourceCodeStudy.subRy : SourceCodeStudy.RyukieSwiftSubClass
6
    0x10000255d <+205>: mov    rax, qword ptr [r13]
7
    0x100002561 <+209>: call   qword ptr [rax + 0x90]
8
->  0x100002567 <+215>: mov    r13, qword ptr [rip + 0x5e7a] ; SourceCodeStudy.subRy : SourceCodeStudy.RyukieSwiftSubClass
9
    0x10000256e <+222>: call   0x100003370               ; SourceCodeStudy.RyukieSwiftClass.extensionHello() -> () at main.swift:35

我们发现子类的 sil_vtable 结构中包含了父类的结构，自己专有的部分跟在父类的结构之后。

子类的方法调度，没有特殊的方法变化。

override#

如果重写父类方法呢？

1
override func hello() {
2
    print("override hello: \(age ?? "-")")
3
}

SIL 会有些许变化：

1
sil_vtable RyukieSwiftSubClass {
2
// ...
3
  #RyukieSwiftClass.hello: (RyukieSwiftClass) -> () -> () : @main.RyukieSwiftSubClass.hello() -> () [override]  // RyukieSwiftSubClass.hello()
4
// ...
5
}

final#

静态调度，不会存在于 vtable 中

private fileprivate 的会被自动优化为 final

sil_vtable#

我们找到 initClassVTable 源码：

1
/// Using the information in the class context descriptor, fill in in the
2
/// immediate vtable entries for the class and install overrides of any
3
/// superclass vtable entries.
4
static void initClassVTable(ClassMetadata *self) {
5
  const auto *description = self->getDescription();
6
  auto *classWords = reinterpret_cast<void **>(self);
7

8
  if (description->hasVTable()) {
9
    // 遍历添加 method，数组结构
10
    auto *vtable = description->getVTableDescriptor();
11
    auto vtableOffset = vtable->getVTableOffset(description);
12
    for (unsigned i = 0, e = vtable->VTableSize; i < e; ++i)
13
      classWords[vtableOffset + i] = description->getMethod(i);
14
  }
15

16
  if (description->hasOverrideTable()) {
17
    // 遍历处理 override 的 method
18
    auto *overrideTable = description->getOverrideTable();
19
    auto overrideDescriptors = description->getMethodOverrideDescriptors();
20

21
    for (unsigned i = 0, e = overrideTable->NumEntries; i < e; ++i) {
22
      auto &descriptor = overrideDescriptors[i];
23

24
      // Get the base class and method.
25
      auto *baseClass = descriptor.Class.get();
26
      auto *baseMethod = descriptor.Method.get();
27

28
      // If the base method is null, it's an unavailable weak-linked
29
      // symbol.
30
      if (baseClass == nullptr || baseMethod == nullptr)
31
        continue;
32

33
      // Calculate the base method's vtable offset from the
34
      // base method descriptor. The offset will be relative
35
      // to the base class's vtable start offset.
36
      auto baseClassMethods = baseClass->getMethodDescriptors().data();
37
      auto offset = baseMethod - baseClassMethods;
38

39
      // Install the method override in our vtable.
40
      auto baseVTable = baseClass->getVTableDescriptor();
41
      classWords[baseVTable->getVTableOffset(baseClass) + offset]
42
        = descriptor.Impl.get();
43
    }
44
  }
45
}

通过源码我们发现 sil_vtable 内部是一个数组的结构，通过下标读写。

结构体#

1
struct RyukieStruct {
2
    func hello() {
3
        print("hello")
4
    }
5

6
    dynamic func dynamicHelo() {
7
        print("dynamic")
8
    }
9
}
10

11
extension RyukieStruct {
12
    func extensionHello() {
13
        print("extension")
14
    }
15
}
16

17
let st = RyukieStruct()
18
st.hello()
19
st.dynamicHelo()
20
st.extensionHello()

汇编断点：

1
    0x100005ba9 <+9>:  call   0x100005bc0               ; SourceCodeStudy.RyukieStruct.hello() -> () at main.swift:15
2
    0x100005bae <+14>: call   0x100005c80               ; SourceCodeStudy.RyukieStruct.dynamicHelo() -> () at main.swift:19
3
->  0x100005bb3 <+19>: call   0x100005d80               ; SourceCodeStudy.RyukieStruct.extensionHello() -> () at main.swift:25

发现都是通过地址直接静态调用的。