swift - 在 Swift 中将泛型类型传递给函数

Question

为了避免代码重复，我试图找到一种方法来推断参数类型 T或 () -> T来自 U 类型的变量.

我不知道我是否足够清楚，所以这是我不想做的:

func f<T>(closure: () -> T) -> String {
    return "closure: () -> \(T.self)"
}
func f<T>(value: T) -> String {
    return "value: \(T.self)"
}

f("test1") // -> "value: Swift.String"
f({ return "test2" }) // -> "closure: () -> Swift.String"

func foo<U>(bar: U) -> (String, String) {
    return ("\(U.self)", f(bar))
}

foo("test3") // (.0 "Swift.String", .1 "value: Swift.String")
foo({ return "test4" }) // (.0 "() -> Swift.String", .1 "value: () -> Swift.String")

我预计 foo({ return "test4" })调用f<T>(closure: () -> T)函数而不是 f<T>(value: T) .为什么 Swift 无法推断出 bar: U匹配() -> T模式？

Answer 1

TL;DR:类型数据因 foo()/U 而丢失。

我怀疑您有 C++ 背景。

这在 C++ 中可行，因为 C++ 根据调用站点推断类型。但 Swift 不同，泛型参数是类型数据的唯一来源。在您的情况下，您没有提供有关 U 类型的信息，因此编译器不知道如何将其转换为闭包类型。您对 f() 的值覆盖是有效的，因为您没有在 T 上放置任何条件，而在您的闭包类型覆盖中，您指定了一个特定的形式(闭包)。由于您通过 foo 调用采用泛型(想想空白)类型 U 的所有类型数据都丢失了，因此编译器没有足够的信息，并且无法推断出从(空白)到闭包的转换。

这是“type reification”的主题，在 devforums.apple.com 上对此进行了冗长的讨论。