[Swift] Optional(옵셔널) 타입에 대해 알아보자

 

 

 

 

 

스위프트의 중요한 특성 중 하나는 "안전성"이죠.

그러다보니 자연스럽게 Optional 타입을 중요하게 다루는 것 같아요.

스위프트를 처음 공부했을 때 Optional 타입을 쉽게 이해하기 위해

"?나 !를 붙이는 타입. 값이 있을 수도 없을 수도 있는 타입." 정도로 알아뒀는데

Enum(열거형), Associated Value(연관값), Generic(제네릭) 개념을 가져와서

옵셔널을 조금 더 깊게 알아볼까 해요.

 

 

 

 

 

Optional의 구조 - Enum 타입

옵셔널 타입은 스위프트에 기본으로 내장된 타입인데, Enum타입으로 이루어져 있어요.

값이 존재하는 경우인 some과 존재하지 않는 경우인 none, 2가지 케이스로 이루어져 있고,

우리는 Optional.none의 케이스로 값이 만들어진 것을 nil값이라고 불러요.

 

 

 

 

 

Case none - 값이 없는 경우 (nil 값)

nil에 대해 간단히 알아볼까요?

nil은 쉽게 말해서 "값이 없음"을 의미해요.

 

nil을 타입으로 혼동할 수도 있는데, nil은 값(Value)입니다!

(is~ 라는 이름은 보통 True, False 값을 리턴하는 Bool 타입의 변수명으로 많이 사용하지만

이해하기 쉽게 다른 타입의 변수에 사용하게 된 점 양해부탁드릴게요...)

 

맨 첫 번째 코드에서 isNilType의 타입을 Nil로 주었을 때 Nil이라는 타입을 찾을 수 없다는 오류가 뜨는 것을 통해 알 수 있습니다.

 

nil이 값인 것을 알았으니, 두 번째 코드에서 isNilValue1이라는 값에 nil을 할당했어요.

그런데 Int와 String과같은 다른 값과 다르게 바로 할당이 되지 않고 type을 알려달라는 오류가 뜨네요.  

 

그래서 세 번째 코드에서는 Optional 타입을 넣어줬는데 제네릭 파라미터를 요구하는 에러가 뜨네요!

혹시 제네릭에 대해 모르신다면 이 부분에 대해서는 일단 넘어가고 뒷 부분에서 다시 설명해드릴게요.

그 때 까지 제네릭이 "타입과 관련된 개념"이라고만 기억해두기로 해요 ㅎㅎ

 

네 번째 코드에서는 제네릭 파리미터를 추가해서 Optional<Any>라는 타입을 명시해주고 난 후에야 nil을 할당해주었어요.

 

Optional<Any>에서 Any로 강제로 바뀐 것이라고 하지만, nil이 출력된 것을 볼 수 있습니다.

 

우리에게 익숙한 옵셔널 표현인 "?"를 사용하여 Any?로 바꿔서 쓸 수 있죠.

 

 

즉, 옵셔널 타입은 Enum으로 만들어졌고, 옵셔널 타입에 할당된 값이 없을 때(값이 nil일 때)는

옵셔널의 .none 케이스인 것이죠. 

 

 

 

 

 

Case some - 값이 있는 경우 (연관값)

 

앞에서는 값이 없는 경우를 설명했으니, 이번에는 값이 있는 경우를 설명해드릴게요.

세 가지 Optional 타입을 만들어봤어요.

 

첫 번째 옵셔널은 값이 있다면 그 값은 Int 타입이라는 Optional,

두 번째 옵셔널은 값이 있다면 그 값은 String 타입이라는 Optional,

세 번째는 옵셔널 값이 있다면 그 값은 어떤 타입이든 상관 없다는 Optional (우리가 일반적으로 사용하는 Optional) 입니다.

 

옵셔널 case some 옆에 괄호가 있는데, 이는 값이 있는 경우 어떤 타입인지를 명시한 것입니다.

case 옆의 괄호를 연관값(Associated Value)이라고 하는데,

연관값은 enum타입에서 해당 케이스를 통해 만들어진 변수에 추가 정보를 넣어줄 때 사용합니다.

case some에서 어떤 값이 있는지에 대해 추가 정보를 넣어주어야 하기 때문에 연관값을 사용한 것이고,

인스턴스를 생성 할 때 해당 값을 넣어줄 것이기 때문에, 어떤 값이 들어와야 하는지 타입만 명시해준 경우입니다.

연관 값에 대해서는 다음 글에서 자세히 다루도록 할게요.

 

 

 

 

 

위에서 선언했던 각 옵셔널 타입들을 이용해서 4개의 값을 만들어봤어요.

정수 값이 있는 Int 옵셔널, 문자열 값이 있는 String 옵셔널, double 값이 있는 일반 Optional(Any 타입으로 선언했기 때문에 어떤 값이 오든 상관이 없습니다) 그리고 일반 Optional에서 nil 값이 들어있는 경우(값이 없는 경우)입니다.

 

 

 

 

 

 

각 네 개의 변수를 생성하고 변수의 값과 타입을 출력해주었습니다.

nilValue를 제외하고 some(값)형태로 나와있는게 보이시죠?

즉, 값이 있음과 동시에 연관값을 이용해서 어떤 값이 들어있는지를 보여주는 것이죠.

type(of:)를 통해 각 변수들의 타입을 출력했을 때에는 각 변수의 타입이 나오네요.

그런데 이상하지 않나요? 왜 Int, String과 같은 타입이 아닌걸까요? 

 

 

 

Generic(제네릭)