Swift 泛型特化

generic specialization.swift

protocol MakeSelf {
    init()
}
class MS: MakeSelf {
    static let shared = MS()
    required init() {
        //
    }
}

// 1. 参数是泛型
func show<T: MakeSelf>(_ obj: T) {
  print(obj)
}

// 2. 仅返回值是泛型
func create<T: MakeSelf>() -> T {
    return T()
}

// 3. closure 带泛型参数
func request<T: MakeSelf>(completion: (T)->Void) {
    completion(T())
}

// 4. 将泛型参数写入方法参数和closure参数
func request<T: MakeSelf>(type: T.Type, completion: (T)->Void) {
    completion(T())
}


// example

// 传入泛型参数，所以$0获得了类型MS————从后面的例子来看，type这个参数是可以省略的（指明closure参数的类型即可）
request(type: MS.self, completion: {
    print($0)
})

// 指明closure参数的类型，所以整个函数也完成了特化
request(completion: { (t: MS) in
    print(t)
})

// 指明返回值类型，从而完成函数的泛型特化
let ms: MS = create()
print(ms)

Swift泛型仅在定义时允许用<>，而使用时不能使用<>来指明泛型参数的类型。

如果在编译期，将protocol类型替换成了指定类型，算不算特化？