由方法上下文定义的 Swift 泛型类型

Question

是否有一种模式的名称，其中类型是根据结果类型的上下文推断的？

例如，在这个例子中，我可以使用什么语言来记录 foo 方法并解释需要为该方法定义一个类型？

protocol FooType {
   init()
}

func foo<T: FooType>() -> T {
    return T()
}

struct Bar: FooType {
    init() {
        print("bar")
    }
}


let bar: Bar = foo()
// works returns instance of Bar

let fooType = foo()
// fails because foo doesn't know what type to use

Answer 1

你不需要记录这个!

用 Swift 写代码的人都知道，要调用一个泛型函数，它的所有类型参数都必须被推断出来，不能像这样被填满:

foo<Bar>()

人们会看到 foo 并说，“哦，我需要编译器推断这个泛型参数的类型。”他们会明白这意味着什么。