[Swift] Type Inference, Type Annotation

(모든 코드는 Playground에서 작성되었습니다.)

 

Swift에서 변수 또는 상수를 선언하는 방법으로는 크게 2가지가 있다.

 

바로 Type Inference과 Type Annotation인데,

 

말 그대로 Type Inference는 자료형을 추론하는 것이고, Type Annotation은 자료형을 직접 지정해주는 것이다. 

 

이에 대해 자세히 알아보도록 하자.

 

Type Inference

Type Inference는 타입을 추론하는 것으로, 초기값을 통해 자료형이 결정되는 것이다. 즉, 자료형을 직접 지정해주지 않는다.

따라서 Type Inference를 이용하려면 반드시 초기값을 저장해주어야 한다. 

 

아래와 같이 var 변수이름 = 초기값 또는 let 상수이름 = 초기값 으로 변수를 선언하면, Type Inference를 이용할 수 있다.

var mood = "happy"
let number = 5

 

위와 같이 저장한 값의 타입을 확인하기 위해서 type(of:) 함수를 이용할 수 있는데, 이는 값의 타입을 반환해준다.

type(of: mood) // String.Type
type(of: number) // Int.Type

 

 

 

 

 

Type Annotation

Type Annotation은 Type Inference와 달리, 자료형을 직접 지정해주는 것이다. 

따라서 Type Inference와 달리, 반드시 초기값을 지정해줄 필요가 없다.

var food: String = "Chicken"
let weight: Double = 43.0

 

 

자료형을 직접 지정해주기 때문에 아래와 같이 변수 또는 상수의 선언과 값의 초기화를 분리할 수 있고, 컴파일 시간 또한 단축된다는 장점이 있다.

var food: String
food = "Chicken"

let weight: Double
weight = 43.0

 

이 또한 type(of:) 함수로 확인해볼 수 있다!

 

 

 

 

마지막으로 내용을 다시 정리해보자!

 

Type Inference은 자료형을 추론하는 것인데, 이 때 반드시 초기값을 지정해주어야 한다.

 

Type Annotation은 자료형을 지정해주는 것인데, 타입을 직접 지정해주는 것이기 때문에 변수/상수의 선언과 초기화를 분리할 수 있고, 컴파일 시간 또한 단축된다는 장점이 있다.

 

 

다만 Type Inference에서 하나의 문자만 저장할 경우, Swift는 이를 자동으로 String으로 저장한다.

따라서 String Type이 아닌 Character Type으로 저장하고 싶을 경우에는 직접 Type Annotation을 해주어야한다!

마찬가지로, Swift는 실수를 자동으로 Double Type으로 저장하기 때문에, Double Type이 아닌 Float Type으로 저장하고 싶은 경우에도 직접 Type Annotation을 해주어야한다.