现有类型和 Generics 与协议逻辑 Swift 2

Question

我正在尝试了解 generics 在编译和运行时阶段如何与协议进行比较。 我知道协议如何对存在类型做出反应。 协议是存在类型，因此在编译阶段他们逐步采用 Car 类型

struct Car: Drivable {
    let numberOfWheels = 4

    func drive() { }
}

car = 
    payload_data_0 = 0x0000000000000004, 
    payload_data_1 = 0x0000000000000000, 
    payload_data_2 = 0x0000000000000000, 
    instance_type = 0x000000010b50e410 
        ExistentialContainers`type metadata for 
        ExistentialContainers.Car,
    protocol_witness_0 = 0x000000010b50e1c8 
        ExistentialContainers`protocol witness table for 
        ExistentialContainers.Car: ExistentialContainers.Drivable 
        in ExistentialContainers)

generics呢？ 我真的很想知道如何在编译和运行时阶段采取行动。 他们使用指针对吗？ 什么时候在编译时？ 在运行时，Generics 一切就绪。

这个例子看起来也一样，但一个是编译另一个不是..

protocol Returnable {
    associateType ReturnType
}
//This will compile
func returnTheType<T: Returnable>(object: T) -> T.ReturnType { } ✅
//This won't compile
func returnTheType(object: Returnable) -> object.ReturnType { }  ❌

Answer 1

func startTravelingWithCar(transportation: Car) { }

我想你有一个像这样的 function，

在幕后，function 还接收汽车的 PWT 和 VWT，为 function 提供必要的信息，以便在必要时能够设置值缓冲区并确定汽车对象的协议特定 ZC1C4252684E68394F1AB4Z 的实现（驱动器）（C17A）。 这个新生成的 function 现在是类型特定的，让您可以访问 Car object 的任何关联类型，并且所有这些类型信息都是在编译时确定的——这也是我们可以将关联类型作为返回类型的部分原因一个通用的 function，但不能对基于协议的功能做同样的事情。