编译器无法推断返回类型

Swift 无法推断函数的返回类型，该函数的参数是闭包，并且返回类型是从闭包的返回类型推导出来的。

给定这个通用类：

class Bar<T> {
    init(_ v:T) {}

    func wrap<R>(f:()->R) -> Bar<R> {
        return Bar<R>(f())
    }
    func wrap(f:()->()) -> () {
        f()
    }
}

功能wrap被重载，一旦将 Closure 作为返回的参数()，还有一次采用闭包作为参数，该参数返回指定为类型参数的类型（R) 为函数。

在下面的代码片段中，很明显闭包的返回类型作为参数传递给函数wrap is a String:

var bar :Bar<Int> = Bar<Int>(0)

let b0 = bar.wrap {
    return ""
}

恕我直言，编译器现在应该能够推断出返回类型wrap作为类型Bar<String>，因此应该能够推断出常量的类型b0因此。

编译器（从 beta 3 开始）会发出以下错误：

main.swift:53:16: error: type '()' does not conform to protocol 'StringLiteralConvertible'
    return ""
           ^
main.swift:51:9: warning: constant 'b0' inferred to have type '()', which may be unexpected
let b0 = bar.wrap {
    ^
main.swift:51:9: note: add an explicit type annotation to silence this warning
let b0 = bar.wrap {
    ^
      : ()

这两种解决方法都可以解决该问题：

let b1 = bar.wrap {
    () -> String in
    return ""
}
let b2:Bar<String> = bar.wrap {
    return ""
}

Edit:添加了安东尼奥的答案作为另一个可以正确编译的版本：

let b0 = bar.wrap { "" }

问题是：

假设编译器按指定方式工作，是否有令人信服的原因导致编译器无法推断失败示例中的返回类型？

再次，请考虑这一点：

works: let b0 = bar.wrap { 0 }
fails: let b0 = bar.wrap { return 0 }

或者，这可能是 beta 状态编译器的不完整或不正确实现的影响吗？

注意：请不要在这里发表您的意见，仅发表明确的事实 - 如果有的话。 ;)

也许您正在寻找的是单个表达式闭包的隐式返回：

let b0 = bar.wrap { "" }

Addendum

对于一种方法有效而另一种方法无效可能有很多话要说。 这本书没有提到任何捷径，只使用return和一个值。但这在显式泛型类型时有效

let b2:Bar<String> = bar.wrap { return "" }

另一方面，在从上下文推断类型 https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/Closures.html#//apple_ref/doc/uid/TP40014097-CH11-XID_114Swift 书中的一段，在谈论类型推断时没有提到泛型，所以如果在这种情况下类型推断与泛型类型结合使用时不起作用，我不会感到惊讶。

持续看书：

该参数需要一个类型为 (String, String) -> Bool 的函数。这意味着 String、String 和 Bool 类型不需要编写为闭包表达式定义的一部分

这并不意味着（但可能）这不起作用：

() -> (T)

where T是一个泛型类型。

也就是说，我认为

let b0 = bar.wrap { return "" }

不起作用，因为方程中涉及泛型类型。以下是我的看法，但无论如何你都应该阅读它。有可能是这样的：

let b0 = bar.wrap { "" }

有效，但不应该。这意味着它可以工作，但它是一个错误，它应该会产生编译器错误。这有任何意义吗？