是否可以为变量分配泛型函数？

Question

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

目前语言的短缺？

Answer 1

你可以让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)