타입 추론, 타입 어노테이션

스위프트의 변수, 상수 선언 

아래와 같이 쓸 경우에는 어떤 자료형인 줄 알 수가 없다.

따라서 변수, 상수를 선언할 때는 컴파일러가 알 수 있게 Type을 명시해줘야 한다.

let name
var age

 

자료형을 명시하는 방법에는 2가지가 있다.

 

 

타입 추론 (Type Inference)

아래와 같이 변수를 선언하는 경우가 바로 "타입 추론" 이다.

컴파일러가 초기화된 값을 보고 타입을 추론하는 것을 말한다.

 

name에 jerry 라는 값을 보고 String 타입이라는 걸 알 수 있다. 

let name = "jerry"

 

✅ 이렇게 사용하면 코드가 간결해진다는 것이다. 

✅ 단, 이렇게 쓸 경우에는 초기값을 보고 자료형을 유추할 때, 애매할 경우에는 자료형이 더 큰 범위를 지정해버린다. 

(Character 보단 String, Float 보단 Double)

 

⭐ 초기값이 없는 경우에는?? ⭐ 

타입 추론을 선언과 동시에 초기화를 한다. 이를 통해 컴파일러가 초기값을 보고 자료형을 유추하는 것이다. 

그래서 초기값이 없는 경우 타입을 추론할 수 없기 때문에 문제가 된다.

 

이를 해결 하기 위해서는 "타입 어노테이션"을 사용한다. 

 

 

 

타입 어노테이션 (Type Annotation)

아래와 같이 선언하는 것을 "타입 어노테이션" 이라고 한다. 

변수와 자료형을 같이 지정하는 것을 말한다.

 

이 때는 초기값을 통해 타입을 유추할 필요가 없기 때문에, 초기값이 없어도 된다.

let name: String