swift - 在运行时，Swift 如何知道要使用哪个实现？

Question

protocol A {
    func f()
}

struct S1 : A {
    func f() {
        print("S1")
    }
}

struct S2 : A {
    func f() {
        print("S2")
    }
}

let array: [A] = [S1(), S2()]

for s: A in array {
    s.f()
}

// "S1\n" "S2\n"

如果这是一个继承层次结构，我希望 Swift 使用 v 表来查找正确的实现。但是，array 中的具体类型可以是任何实现 A 的对象，以及任意数量的其他协议(protocol)，因此如果 Swift 运行时如何知道对象的结构也在使用 v 表？

Answer 1

Swift 运行时使用 Protocol Witness Table，其中包含指向每种类型的协议(protocol)方法实现的指针。

Mike Ash 在他的文章 Exploring Swift Memory Layout, Part II 中对其进行了最好的解释:

The last one, at offset 32 is a "protocol witness table" for the underlying type and the protocol, which contains pointers to the type's implementations of the protocol methods. This is how the compiler is able to invoke methods, such as p(), on a value of protocol type without knowing the underlying type at runtime.

我还会看 WWDC 视频 Understanding Swift Performance正如 Hamish 在评论中所建议的那样。