func function1(arg: Int) - Int { return arg }func function2T(arg: T) - T { return arg }let f1 = function1 // No problemlet f2 = function2Int // Cannot explicitly specialize a generic function 目前语言的短缺? 你可以让Swift通过
func function1(arg: Int) -> Int { return arg } func function2<T>(arg: T) -> T { return arg } let f1 = function1 // No problem let f2 = function2<Int> // Cannot explicitly specialize a generic function
目前语言的短缺?
你可以让Swift通过f2的显式类型注释来推断function2的特化:let f2: (Int) -> Int = function2
或者,使用提供显式类型注释的中间专业化函数
func specialize1Dmap<T>(_ f: @escaping (T) -> T, as _: T.Type) -> (T) -> T { return f } let f2int = specialize1Dmap(function2, as: Int.self) let f2str = specialize1Dmap(function2, as: String.self)