[swift-evolution] @noescape and nil
Daniel Duan
daniel at duan.org
Tue Apr 26 20:58:55 CDT 2016
Wouldn't this work in Swift 3 though?
func testFunc(times: Int, fn: (@noescape (Int)->Void)? = nil) { … }
Sent from my iPad
> On Apr 26, 2016, at 11:26 AM, Chris Lattner via swift-evolution <swift-evolution at swift.org> wrote:
>
>
>> On Apr 26, 2016, at 12:15 AM, Aleksandar Petrovic via swift-evolution <swift-evolution at swift.org> wrote:
>>
>> Hi Swift community, I have a question.
>>
>> This is a valid Swift code:
>>
>> func testFunc(times: Int, fn: ((Int)->Void)? = nil) {
>> guard let f = fn else { return }
>> for i in 1 ..< times {
>> f(i)
>> }
>> }
>>
>> And this is not:
>>
>> func testFunc(times: Int, @noescape fn: ((Int)->Void)? = nil) {
>> guard let f = fn else { return }
>> for i in 1 ..< times {
>> f(i)
>> }
>> }
>>
>> I can't think of any hard reason why the @noescape parameter of the function can't be nullable (and, with default value, be optional), but maybe I'm missing something. Is there any plan to correct this in 3.0?
>
> There are two ways to fix this: a horrible hack that special cases optionals, or the more principled solution that treats optional as the underlying enum type that it is, and making @noescape propagate through to the members of the .some case.
>
> You can probably guess this, but I’d prefer to discuss fixing the full generality of the problem, not providing a special case in the compiler for this.
>
> -Chris
>
> _______________________________________________
> swift-evolution mailing list
> swift-evolution at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160426/8ec2708e/attachment.html>
More information about the swift-evolution
mailing list