Swift 方法派发机制详解

1. 引言

Swift 是一门兼具面向对象与函数式编程特性的语言，其方法派发（Method Dispatch）机制决定了调用一个方法时，运行时如何找到并执行对应的实现。理解方法派发不仅有助于写出高性能的代码，更是深入理解 Swift 运行时行为的关键。

本文将系统梳理 Swift 中的三种方法派发方式：静态派发（Static Dispatch）、函数表派发（Table Dispatch）和消息派发（Message Dispatch），并结合实际场景分析它们的区别与选择策略。

2. 方法派发的三种方式

2.1 静态派发（Static Dispatch）

静态派发发生在编译期，编译器在编译时就能确定调用哪个方法实现，直接生成对应的调用指令。这种方式没有运行时查找开销，性能最高，且支持内联优化。

swift 复制代码

struct Point {
    func distance() -> Double {
        return 0.0
    }
}

let p = Point()
p.distance() // 编译期即可确定调用 Point.distance()

2.2 函数表派发（Table Dispatch）

函数表派发是面向对象语言中实现多态的主要方式。编译器为每个类生成一张函数表（vtable），表中按固定顺序存放该类的所有方法实现。运行时通过查表找到对应实现并调用。

swift 复制代码

class Animal {
    func speak() {
        print("Animal speaks")
    }
}

class Dog: Animal {
    override func speak() {
        print("Dog barks")
    }
}

let animal: Animal = Dog()
animal.speak() // 运行时查表，实际调用 Dog.speak()

函数表派发比静态派发多一次内存访问（查表），但比消息派发快，且支持继承与重写。

2.3 消息派发（Message Dispatch）

消息派发是 Objective-C 时代的动态派发方式，运行时通过 objc_msgSend 发送消息，允许在运行时动态替换方法实现（如 Method Swizzling）。Swift 中只有继承自 NSObject 的类且方法标记了 @objc 或 dynamic 时才使用消息派发。

swift 复制代码

import Foundation

class MyClass: NSObject {
    @objc dynamic func greet() {
        print("Hello")
    }
}

消息派发最灵活，但性能开销最大。

3. 不同类型的方法派发规则

3.1 值类型（struct / enum）

值类型不支持继承，因此所有方法都采用静态派发。这也是 Swift 中优先推荐使用结构体的原因之一------性能更好。

swift 复制代码

struct Calculator {
    func add(_ a: Int, _ b: Int) -> Int {
        return a + b
    }
}

3.2 类（class）

类的实例方法默认采用函数表派发。但以下情况会改变派发方式：

方法标记为 final：采用静态派发。
方法标记为 @objc：采用消息派发。
方法标记为 dynamic：强制采用消息派发。
方法在 extension 中声明：采用静态派发。

swift 复制代码

class Shape {
    func area() -> Double { 0 }          // 函数表派发
    final func description() -> String { "Shape" } // 静态派发
    @objc dynamic func debug() {}        // 消息派发
}

extension Shape {
    func extraInfo() -> String { "extra" } // 静态派发
}

3.3 协议（Protocol）

协议方法在存在泛型约束时采用静态派发 （通过泛型特化），在作为存在类型（existential type，即 any Protocol）使用时采用函数表派发。

swift 复制代码

protocol Drawable {
    func draw()
}

// 泛型约束：静态派发
func drawGeneric<T: Drawable>(_ item: T) {
    item.draw()
}

// 存在类型：函数表派发
func drawExistential(_ item: any Drawable) {
    item.draw()
}

3.4 继承自 NSObject 的类

继承自 NSObject 的类，其 @objc 方法默认采用消息派发，以兼容 Objective-C 运行时。

4. 派发方式对比

派发方式	性能	灵活性	支持继承重写	典型场景
静态派发	最高	最低	否	struct、final 方法、extension
函数表派发	中等	中等	是	class 默认方法
消息派发	最低	最高	是	@objc / dynamic 方法

5. 如何优化派发性能

5.1 优先使用值类型

在不需要继承的场景下，优先使用 struct 而非 class，直接获得静态派发的性能优势。

5.2 使用 final 关键字

对于不需要被继承的类或方法，使用 final 修饰，让编译器采用静态派发并启用内联优化。

swift 复制代码

final class MathUtils {
    func square(_ x: Int) -> Int { x * x }
}

5.3 谨慎使用 @objc 和 dynamic

只有在确实需要 Objective-C 互操作或动态特性（如 KVO、Method Swizzling）时才使用 @objc dynamic，避免不必要的性能开销。

5.4 利用泛型特化

在协议方法调用中，优先使用泛型约束而非存在类型，让编译器在编译期完成静态派发。

6. 总结

Swift 的方法派发机制是编译期与运行时权衡的结果：

静态派发 性能最优，适用于值类型、final 方法和 extension 中的方法；
函数表派发是类的默认选择，在灵活性与性能之间取得平衡；
消息派发提供了最大的动态性，但代价是性能损耗，仅在需要 Objective-C 互操作时使用。

理解这三种派发方式，能帮助你在日常开发中做出更合理的设计决策，写出既灵活又高效的 Swift 代码。