As you're using the identity transform { $0 }
, the compiler will infer that ElementOfResult?
(the result of the transform) is equivalent to Element
(the argument of the transform). In this case, Element
is String?
, therefore ElementOfResult?
== String?
. There's no need for optional promotion here, so ElementOfResult
can be inferred to be String
.
Therefore flatMap(_:)
in this case returns a [String]
.
Internally, this conversion from the closure's return of ElementOfResult?
to ElementOfResult
is simply done by conditionally unwrapping the optional, and if successful, the unwrapped value is appended to the result. You can see the exact implementation here.
As an addendum, note that as Martin points out, closure bodies only participate in type inference when they're single-statement closures (see this related bug report). The reasoning for this was given by Jordan Rose 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.
This means that for closures with multiple statements that are passed to methods such as map(_:)
or flatMap(_:)
(where the result type is a generic placeholder), you'll have to explicitly annotate the return type of the closure, or the method return itself.
For example, this doesn't compile:
// error: Unable to infer complex closure return type; add explicit type to disambiguate.
let result = albums.flatMap {
print($0 as Any)
return $0
}
But these do:
// explicitly annotate [ElementOfResult] to be [String] – thus ElementOfResult == String.
let result: [String] = albums.flatMap {
print($0 as Any)
return $0
}
// explicitly annotate ElementOfResult? to be String? – thus ElementOfResult == String.
let result = albums.flatMap { element -> String? in
print(element as Any)
return element
}
albums.flatMap { e in print(e); return e }
does not compile. – Kramer