Swift中的方法派发：剖析值类型与引用类型的差异

2024-01-16 06:16:25

Swift 中的方法派发：揭秘值类型与引用类型的差异

静态派发 vs 动态派发

在 Swift 中，方法派发有两种方式：静态派发和动态派发。静态派发在编译时确定要调用的方法，而动态派发在运行时确定要调用的方法。让我们深入了解每种方法。

静态派发

静态派发主要用于值类型的方法调用。值类型像 struct 和 enum 这样的值类型，不支持继承，因此无需动态派发。当调用值类型的方法时，编译器可以在编译时确定要调用的方法。

想象一下一个点结构，带有计算到原点的距离的方法。当您调用该方法时，编译器可以立即确定要调用的方法，因为它是该值类型中定义的唯一方法。这就是静态派发：编译时确定性。

struct Point {
    var x: Int
    var y: Int

    func distanceToOrigin() -> Double {
        return sqrt(Double(x * x + y * y))
    }
}

动态派发

动态派发主要用于引用类型的方法调用。引用类型像 class 和 protocol 这样的引用类型，支持继承，因此需要动态派发。当调用引用类型的方法时，编译器无法在编译时确定要调用的方法，需要在运行时根据实际的对象类型确定要调用的方法。

考虑一个形状类层次结构，其中圆形和正方形都是从形状类派生的。当您调用 shape.area() 方法时，编译器无法知道调用哪个方法，因为它取决于实际的形状类型（圆形或正方形）。这就是动态派发：运行时确定性。

class Shape {
    func area() -> Double {
        return 0.0
    }
}

class Circle: Shape {
    var radius: Double

    init(radius: Double) {
        self.radius = radius
    }

    override func area() -> Double {
        return Double.pi * radius * radius
    }
}

class Square: Shape {
    var sideLength: Double

    init(sideLength: Double) {
        self.sideLength = sideLength
    }

    override func area() -> Double {
        return sideLength * sideLength
    }
}