In a previous post I kicked off my dive into Swift by covering the basics: syntax, ranges, and tuples. I decided to tackle optionals next. This lead to quite the investigation. But, I now have a better understanding of what optionals are and where to use them. This post is about what I learned.
What is an optional?
An optional represents the scenario where a value may exist or not. An optional is represented by the ?
symbol.
Example:
var a: Int?
In the above example, the variable a
has a type of Optional Integer. Any type can be made an optional type by adding a ?
.
Here, a
does not have a value; it is nil
. Swift uses nil
to represent the absence of a value. The ?
is an indicator for a developer to be careful. Any code using a
will need to handle a possible nil
value.
Why use optionals?
Why are optionals needed? To help explain I will use a mailbox and mail as an example. A mailbox may or may not have mail in it. In this case, the mail is the optional; it exists or it does not.
Below, I have used Java to create MailBox and Mail classes that do not use optionals. I made the following restrictions for simplicity:
- Mail uses
Strings
for the to and from addresses. I did not include fields for street, city etc. - A MailBox can only contain one Mail. (Yes, in real life a mailbox can contain many pieces of mail. But for simplicity in this example, I've restricted it to one piece of mail.)
public class Mail {
private String from;
private String to;
public Mail(String from, String to) {
this.from = from;
this.to = to;
}
public String getFrom() {
return from;
}
public String getTo() {
return to;
}
}
public class MailBox {
private Mail mail;
/**
*
* @return - null if the MailBox does not have Mail
*/
public Mail getMail() {
return mail;
}
public void setMail(Mail mail) {
this.mail = mail;
}
}
Anyone using this code will need to be aware of the methods which may return null
. One possible solution is to document the code. However, there are two potential problems with relying on documentation:
- The code is not documented.
- The documentation is not correct:
- It may have been correct at one time. But, the code changed and the documentation was not updated.
- The developer may not have considered all possible return cases.
Given the code above, someone may write a method like the following:
void checkMail(MailBox mailBox) {
if(mailBox != null) {
Mail mail = mailBox.getMail();
if (mail != null) {
System.out.println("Mail from: " + mail.getFrom().trim());
}
}
}
At first glance, the checkMail
code may look fine. However, there is a bug in it. The mail.getFrom()
method can return a null
. So, the use of trim()
causes a null pointer exception for that scenario. Oh, no!
Optionals prevent the above scenario because their usage state whether a value may be nil
or not. A type that is not an optional cannot have a nil
value. This means a developer does not need to rely on documentation or reading the code to figure out if a value can be nil
. The type states whether a nil
value is possible.
Both Swift and Java (as of version 1.8) support optionals. Below, the mailbox analogy is rewritten in Swift using optionals.
class Mail {
let to: String
let from: String
init(to: String, from: String) {
self.to = to
self.from = from
}
}
In this version of the Mail class, the to
and from
fields are not optional. This means setting the value to nil
will cause a compiler error.
class MailBox {
var mail: Mail?
}
In this version of the MailBox class, the mail
property is a type of optional Mail. It may be nil
. We do not need to rely on the documentation to convey this fact.
import Foundation
func checkMail(mailBox: MailBox) {
if mailBox.mail != nil {
print("Mail from: \(mailBox.mail!.from.trimmingCharacters(in: .whitespacesAndNewlines))")
}
}
In this version, a nil
check is not performed on the mailBox parameter because it is not an optional. It must exist. The mail
property is checked for a nil
value because it is an optional.
Swift and optionals
Now that we know what optionals are and why we would use them, let's look at how Swift uses optionals.
Forced Unwrapping
Think of an optional as a wrapper around a type. We have to unwrap the type from the optional to use it. For example, unwrapping Mail from Optional Mail. Forced unwrapping means retrieving the value without checking for nil
. Adding the !
symbol to the end of a value forcibly unwraps it.
In the checkMail
function above, mailBox.mail!
forcibly unwraps the Optional Mail type to the Mail type. The from
field can then be used. Since the from
field is not an optional, it cannot be nil
. Therefore, the trimmingCharacters
function is safe to use.
Forced unwrapping can be dangerous because it does not check for nil
values. The checkMail
function above performs a nil
check (mailBox.mail != nil
) before using the mail
property. So, it is safe to force unwrap it. However, if the code did not and mail
was nil
, the mailBox.mail!.from
code would cause a crash.
Implicitly unwrapped optionals
In some cases, it may be certain an optional will never be nil
after initialization. Having to check and unwrap this value each time can be cumbersome. Implicitly unwrapping such an optional makes it easier to work with. Placing a !
after the type creates an implicitly unwrapped optional. It has the form:
let name: Type!
In the example below, myMailBox
has a Mail item. Assigning myMailImplicitlyUnwrapped
to myMailBox.mail
makes myMailImplicitlyUnwrapped
an optional. But, we know it will never be nil
. Having to unwrap it every time would be annoying. Declaring myMailImplicitlyUnwrapped
as an implicitly unwrapped optional makes it like a non-optional value. Although, it is still an optional behind the scenes. A !
or ?
is not needed to access the value throughout the code.
let myMailBox = MailBox()
myMailBox.mail = Mail(to: "Alice", from: "Bob")
let myMailImplicitlyUnwrapped: Mail! = myMailBox.mail
print(myMailImplicitlyUnwrapped.to) // the ! is not needed
print(myMailImplicitlyUnwrapped.from)
In contrast, the example below uses the !
each time the myMailOptional
is used.
let myMailBox = MailBox()
myMailBox.mail = Mail(to: "Alice", from: "Bob")
let myMailOptional: Mail? = myMailBox.mail
print(myMailOptional!.from) // The ! is needed each time the value is used.
print(myMailOptional!.to)
Dangers of using !
Using !
is risky. If the optional is nil
, using its value can lead to the program crashing!
However, there are some use cases for using !
:
- Convenience
- Compatibility when working with Objective-C platforms
- Fail Fast. For example, if a resource is missing then fail immediately rather than continuing.
The best practice is to avoid them whenever possible.
Optional binding
Optional binding is an alternative to using a nil
check. It checks if an optional has a non-nil value and assigns that value to a temporary constant or variable. That temporary constant/variable's scope is within the if/while block. Optional binding has the form:
if let temp = optional {
//temp is only available within this code block
//code to execute
}
//temp is not available here.
Below, the checkMail
function is rewritten to use optional binding:
import Foundation
func checkMail(mailBox: MailBox) {
if let mail = mailBox.mail {
print("Mail from: \(mail.from.trimmingCharacters(in: .whitespacesAndNewlines))")
}
}
If the mailBox.mail
value is not nil
then its value is assigned to the temporary mail
constant. The constant's scope is only available within the if block. The !
is not needed within the if block because mail's type is Mail, not optional Mail. If the mailBox.mail
value was nil
then the if block is not executed.
Optional Chaining
Optional chaining allows access to optionals within other structures. It provides a safe way of accessing optionals which may contain a nil
valued. To use optional binding, place a ?
symbol after the value. This is like using the !
symbol when force unwrapping a value. But, optional chaining will not crash a program on a nil
value.
Looking at the checkMail
function again, it can be rewritten using optional chaining:
import Foundation
func checkMail(mailBox: MailBox) {
if let from = mailBox.mail?.from {
print("Mail from: \(from.trimmingCharacters(in: .whitespacesAndNewlines))")
}
}
Here, I have modified the optional binding part to retrieve the from
property from the Mail
class. Optional chaining provides a fail-safe way of accessing the optional Mail type. If mail
exists then Swift will get the value of the from
property. Since mail
may be nil
, then the result of accessing mailBox.mail?.from
will return a String?
rather than a String
. Optional binding is then used to get the from
value.
Optional chaining will make a non-optional value an optional. But, this process does not wrap optionals again. For example, a String?
will not become a String??
through optional chaining.
I've modified the Mail
class to include a stamp
property with a type of Float?
. (Junk mail flyers do not have stamps). In this example, I've rounded the stamp value (for some contrived reason for this example):
class Mail {
let to: String
let from: String
var stamp: Float?
init(to: String, from: String) {
self.to = to
self.from = from
}
}
let mailBox = MailBox()
mailBox.mail = Mail(to: "Alice", from: "Bob")
let rounded = mailBox.mail?.stamp?.rounded()
Some notes about this code:
- access to the
stamp
property is bymailBox.mail?.stamp?.rounded()
and NOTmailBox.mail?.stamp??.rounded()
- the
rounded()
function returns a Float. But, the return value will beFloat?
because of the optional chaining. So, therounded
constant is an optional!
All of my examples used properties. But, optional chaining applies to methods and subscripts too.
Nil coalescing
Nil coalescing unwraps an optional and return its value or a default value in the case of nil
. The nil coalescing symbol is ??
and has the form:
optional ?? defaultValue
Below is an example using nil coalescing with the stamp
property.
let stampAmount = mailBox.mail?.stamp ?? 0.0
Here, stampAmount
will be either the value of stamp
or the default value, 0.0. Its type is Float
.
map and flatmap
The Optional Type implements the map
and flatmap
functions. One use of these functions is as an alternative to nil
checks.
For example, suppose we have an openMail
function. This function takes a Mail
parameter and returns the contents of it as a String
. Note that the Mail
parameter is a non-optional type. For this example, I've hardcoded the function to return a String
. Please imagine that a real implementation would actually do something.
func openMail(_ mail: Mail) -> String {
//do processing
return "mail contents"
}
To use this function we might write code like the following:
if let mail = mailBox.mail {
let content = openMail(mail)
//do stuff with content
print(content)
}
Here, optional binding gets the non-nil value of the mail property. That value is then passed to the openMail
function. This code can be rewritten using the map
function.
The map function allows us to use an optional with a function that has a non-optional parameter. Map unwraps the optional and, if the value is not nil
, passes that value to the function. Example:
if let mailContent = mailBox.mail.map(openMail) {
//do stuff with mailContent
print(mailContent)
}
This code is a little bit more concise. But what is wrong with the nil
check? Well, suppose we changed the openMail
function to return a String?
:
func openMail(_ mail: Mail) -> String? {
//do processing
let contents: String? = "mail contents"
return contents
}
We could write code like the following.
if let mail = mailBox.mail {
if let openMail = openMail(mail) {
print(openMail)
}
}
Now the code has nested if blocks. This structure can be hard to maintain and can be bug-prone. Rewriting with flatMap gets rid of the nested if statements.
if let mailContent = mailBox.mail.flatMap(openMail) {
print(mailContent)
}
More on the optional type
Behind the scenes, the optional type is an enumeration with two values, none
and some<Wrapped>
.
Swift is open sourced, so we can look at the code on GitHub. The following is from the Optional.swift file:
public enum Optional<Wrapped> : ExpressibleByNilLiteral {
// The compiler has special knowledge of Optional<Wrapped>, including the fact
// that it is an `enum` with cases named `none` and `some`.
/// The absence of a value.
///
/// In code, the absence of a value is typically written using the `nil`
/// literal rather than the explicit `.none` enumeration case.
case none
/// The presence of a value, stored as `Wrapped`.
case some(Wrapped)
It is possible to use the enumeration form of an optional. But, it is a verbose style of coding as demonstrated below:
let number: Optional<Int> = .some(5)
let empty: Optional<Int> = .none
switch number {
case .some(let n):
//n is of type Int, it is the unwrapped value of the number optional
var z = n * 7
case .none:
print("none")
}
The ?
operator is syntatical sugar for accessing optionals. The following are equivalent:
let number: Optional<Int> = .some(5)
let empty: Optional<Int> = .none
let sugarNumber: Int? = 5
let sugarEmpty: Int?
Summary
In summary:
- Optionals provide safety for programmers by eliminating null pointer type errors.
- Swift provides both safe and unsafe ways to access an optional's value.
- Optional binding provides a safe and convenient method to work with an optional.
- Optional chaining safely unwraps an optional using the
?
operator. - Forced unwrapping uses the
!
operator. It does not provide any safety as anil
value can cause the program to crash. - An implicitly unwrapped optional is an optional but used like a non-optional type. It is a convenience style used when the value will never be
nil
after initialization.
- Nil coalescing unwraps an optional and return its value or a default value in the case of
nil
. -
map
andflatmap
functions provide a way to transform the optional's value. - Behind the scenes an optional is an enum with two cases
none
andsome<Wrapped>
.
Thank you for reading! Please let me know if anything is wrong in this post, as I am still learning Swift.
References
- Swift Language Guide: The Basics: Optionals
- Swift Language Reference: Optional Type
- Apple Documentation: Optional
- Mastering Swift 4 - Fourth Edition
- The Complete Guide to Understanding Swift Optionals
- Java 8 In Action
- Total programming in Swift
- GitHub: Optional.swift
This post was originally posted on my blog
Top comments (2)
Thanks for the great article. There is also a great talk from Rob Napier about optionals. ;) youtube.com/watch?v=Q1Tayh4unMw
I still have some questions about where implicitly unwrapped optionals are used. My next blog post (which I am already working on) will cover those questions. :)