[Swift] Optional - 2 (IUO, Nil-Coalescing, Optional Chaining)

지난 시간에 이번에는 IUO, Nil-Coalescing Operator, Optional Chaining에 대해 차례대로 살펴보자.

 

 

1. IUO (Implicitly Unwrapped Optionals)

IUO는 Implicitly Unwrapped Optionals의 줄임말으로, 특정 조건에서 자동으로 추출되는 Optional이다. 

Type!

자료형 뒤에 !를 붙여서 사용하며, 값을 Non-Optional로 저장하면 자동으로 unwrapping이 된다.

 

 

아래 예시를 보자.

상수 num을 IUO로 저장하고, 상수 a의 값을 num으로 초기화해주었다.

위에서 공부한 대로라면, IUO는 자동으로 추출되기 때문에 상수 a의 타입은 Non-Optional Int이어야한다.

하지만 a의 타입은 Optional Int이다.

 

IUO는 Type Inference (형식 추론)을 사용하는 경우에는 자동으로 추출되지 않기 때문에, 

IUO에서 자동 추출을 하려면 반드시 Type Annotation (형식 지정)을 해주어야한다.

 

그래서 직접 형식을 지정해준 b의 타입은 Int인 것을 확인할 수 있다.

 

IUO도 Optional이긴 하지만, Optional과 다른 점은 특정 조건에서 자동으로 추출된다는 것이다.

따라서 값이 저장되어있다면 !를 이용해서 Force Unwrapping (강제 추출)도 할 수 있고, Optional Binding 또한 할 수 있다.

 

마찬가지로, nil이 저장되어있다면 값이 없는데 이를 추출하려고 하기 때문에 crash가 발생한다.

 

iOS에서 IUO를 사용하는 경우로는 대표적으로 아울렛을 연결할 때를 예시로 들 수 있는데,

@IBOutlet weak var label1: UILabel!

아울렛과 같이 중요한 코드는 오류가 발생했을 때 얼른 찾아줘야하므로, IUO를 사용하여 표현한다.

 

IUO는 crash의 위험이 있기 때문에 권장되지 않는다.

가급적이면 IUO보다는 Optional, Optional Binding을 사용하는 것이 좋다.

 

 

2. Nil-Coalescing Operator

Nil-Coalescing Operator는 우리말로 닐 병합 연산자라고도 부르며, 이항 연산자이다.

문법은 아래와 같다.

OptionalExpresssion ?? Expression

왼쪽에는 Optional 표현식이, 오른쪽에는 Non-Optional 표현식이 온다.

그리고 닐 병합 연산자 양 옆에 오는 표현식은 Optional을 제외하고 서로 같은 형식이여야한다.

 

닐 병합 연산자는 단락 평가를 수행하는데,

만약 OptionalExpression이 값을 리턴한다면, Expression은 평가하지 않는다.

반대로 OptionalExpression이 값을 리턴하지 않는다면, Expression이 평가된다. 따라서 Expression에는 Side effect를 발생시키는 코드가 있어서는 안된다.

 

 

아래 코드는 바인딩 성공 시 "Hello, I'm hee"를, 실패 시 "Bye"를 출력하는 코드이다.

 

닐 병합 연산자를 사용하면, 값이 저장되어있는지 확인하는 코드와 값을 추출하는 코드를 직접 작성할 필요가 없다.

위의 코드를 닐 병합 연산자를 이용해서 더 간단하게 나타내보자.

var str: String? = "Hello, I'm hee"

print(str ?? "Bye")

먼저 str을 평가하고, str이 값을 리턴한다면, "Hello, I'm hee"가 출력이 된다.

str이 값을 리턴하지 않거나 nil을 리턴한다면 "Bye"가 출력된다.

 

 

3. Optional Chaining

Optional Chaining은 Optional 멤버에 접근할 때 사용하는 것으로, 결과는 항상 Optional이다.

Optional Chaining에 포함된 표현식 중 하나라도 nil을 리턴하는 것이 있다면 이어지는 표현식을 평가하지 않고 바로 nil을 리턴한다. 

Optional Chaining으로 리턴되는 타입은 평가 결과에 상관 없이 무조건 마지막 멤버의 타입으로 결정된다.