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
该语言的当前短缺?
答案 0 :(得分:5)
您可以让Swift通过function2
的显式类型注释来推断f2
的特化:
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)