为什么Swift编译器不能推断这个闭包的类型？

Question

所以我在写代码来区分我的应用程序的多个版本：

static var jsonURLNL = { 
    if ProcessInfo.processInfo.environment["CONSUMER"] != nil { 
     return URL(string: "consumerURL")! 
    } 
    return URL(string: "professionalURL")! 
}() 

但我得到一个编译器错误：

Unable to infer complex closure return type; add explicit type to disambiguate

为什么不能斯威夫特编译器知道这会返回一个URL ？在这种情况下，我认为这很明显。

我对这个问题的目标不是对Xcode或Swift进行批评，而是增加我对编译器如何在Swift中推断类型的知识。

Answer 1

匿名函数的返回类型的推断看起来很容易您的，但事实证明，将其构建到编译器中将非常困难。

因此，通常不允许编写定义和调用初始化程序，而不指定类型作为声明的一部分。

但这不是一个大问题。你所要做的就是指定类型！

static var jsonURLNL : URL = ... 

（我在我的头做的是治疗型的夹杂物的语法定义和调用初始化的一部分。因此，我总是包含它。所以我从来没有遇到这样的错误消息！）

---

有感：考虑以下几点：

static var jsonURLNL = { 
    if ProcessInfo.processInfo.environment["CONSUMER"] != nil { 
     return "Howdy" 
    } 
    return URL(string: "professionalURL")! 
}() 

你看这个问题？现在没有什么可以推断，即使是一个人，因为你意外地在你的返回类型中不一致。但是如果你写: URL，现在编译器知道你是假设返回并知道"Howdy"是错误的类型。

Answer 2

封闭的返回类型是只推断自动如果 闭合由单个表达的，例如：

static var jsonURLNL = { return URL(string: "professionalURL")! }() 

，或者如果类型可以从推断呼叫上下文：

static var jsonURLNL: URL = { 
    if ProcessInfo.processInfo.environment["CONSUMER"] != nil { 
     return URL(string: "consumerURL")! 
    } 
    return URL(string: "professionalURL")! 
}() 

或

static var jsonURLNL = { 
    if ProcessInfo.processInfo.environment["CONSUMER"] != nil { 
     return URL(string: "consumerURL")! 
    } 
    return URL(string: "professionalURL")! 
}() as URL 

简化的例子：此单表达闭合编译：

let cl1 = { return 42 } 

但这种多表达闭合不会：

let cl2 = { print("Hello"); return 42 } 
// error: unable to infer complex closure return type; add explicit type to disambiguate 

以下各行编译，因为类型是从推断背景：

let cl3 = { print("Hello"); return 42 } as() -> Int 

let y1: Int = { print("Hello"); return 42 }() 

let y2 = { print("Hello"); return 42 }() as Int 

---

又见来自约旦玫瑰in this mailing list discussion报价：

Swift's type inference is currently statement-oriented, so there's no easy way to do [multiple-statement closure] inference. This is at least partly a compilation-time concern: Swift's type system allows many more possible conversions than, say, Haskell or OCaml, so solving the types for an entire multi-statement function is not a trivial problem, possibly not a tractable problem.

和SR-1570 bug report。

（链接和报价均复制自How flatMap API contract transforms Optional input to Non Optional result?）。