[swift-evolution] Compiler Optimization of Optional-returning Functions followed by '!'

[Jonathan Hull]

Hi all,

I would like to propose an optimization to the compiler where, when a call to an optional-returning function is immediately followed by a ‘!’, we allow the compiler to generate an alternate version of the function where a trap replaces 'return nil’ and the function returns a non-optional result.  This would save the build-up and tear-down cost of the optional.

Is this possible?


The main reason I would want this is to be able to later propose moving our default array index handling to a safer optional-returning version.  I know that a safe variant is on the horizon, but defaults really matter… especially with newcomers to the language.  Array indexing should return an optional, forcing the programmer to deal with an out-of-bounds case appropriately. Where the current behavior is desired, the access is immediately followed by a ‘!’ indicating the potential crash-point explicitly in code.  Migration would simply add a ‘!’ after every array subscript access. The above proposal is meant to mitigate any performance issues from the change, because the generated function for the cases followed by ‘!’ would be identical to the current version.

It should also have a good effect on runtime performance for any place in code where a function result is immediately force unwrapped...

Thanks,
Jon