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

Ver*_*con 4 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
Run Code Online (Sandbox Code Playgroud)

目前语言的短缺?

dfr*_*fri 5

您可以让Swift function2通过显式类型注释推断出特殊化f2:

let f2: (Int) -> Int = function2
Run Code Online (Sandbox Code Playgroud)

或者,使用提供显式类型注释的中间专业化函数

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)
Run Code Online (Sandbox Code Playgroud)