T 泛型

T 泛型

• 类型约束
• 关联类型

类型约束 

 在⼀个类型参数后⾯放置协议或者是类，⽐如就要求我们的类型参数 T 遵循 Equatable 协议

func test<T: Equatable>(_ a: T ,_ b: T) -> Bool{
  return a == b 
}

关联类型

在定义协议的时候，使⽤关联类型给协议中⽤到的类型起⼀个占位符名称

 

protocol StackProtocol { 
    associatedtype Item 
}

struct LGStack: StackProtocol{
   typealias Item = Int
}

泛型类型使⽤ VWT 进⾏内存管理，VWT 由编译器⽣成，其存储了该类型的 size、aligment（对⻬⽅ 式）以及针对该类型的基本内存操作，当对泛型类型进⾏内存操作（如：内存拷⻉）时，最终会调⽤对应泛型类型的 VWT 中的基本内存操作。

泛型类型不同，其对应的 VWT 也不同。

 

总结

• 对于⼀个值类型，如：integer。该类型的 copy 和 move 操作会进⾏内存拷⻉；destroy 操作则不进⾏任何操作
• 对于⼀个引⽤类型，如：class。该类型的 copy 操作会对引⽤计数加 1；move 操作会拷⻉指针，⽽不会更新引⽤计数；destroy 操作会对引⽤计数减 1