[Swift] Type Annotation과 Type Inference (타입 어노테이션과 타입 추론)

스위프트로 코드를 작성하다보면 가끔 Type Annotation에 관한 오류가 발생할 때가 있다.

그리고 구글링 할 때도 어노테이션이라는 단어를 많이 발견할 수 있었다.

그냥 문맥 상 변수 생성시 타입을 지정해주는 것을 뜻한다고 이해하고 있었는데, 

오늘은 스위프트의 Type Annotation과 Inference에 대해 정확히 정리해보려고 한다.

 

📎 Type Annotation (타입 어노테이션)

스위프트에서는 변수 혹은 상수를 생성할 때

변수 선언 시에는 var [변수명]: [데이터 타입] = [값]의 형태로,

상수 선언 시에는 let [상수명]: [데이터 타입] = [값]의 형태로 생성한다.

// 변수 생성
var a1: Int
var a2: Int = 0

// 상수 생성
let b1: Int
let b2: Int = 0

 

하지만 변수나 상수를 생성할 때 꼭 데이터 타입을 명시해줘야 하는 것은 아니다.

Type Inference를 사용하면 데이터 타입의 명시 없이도 생성이 가능하다.

---

📎 Type Inference (타입 추론)

Type Inference는 말 그대로,

데이터 타입의 지정 없이도 입력된 값을 증거로 컴파일러가 타입을 추론하여 지정해주는 것이다.

// 변수 생성
var a1 = 0
var a2 = "hello"

// 상수 생성
let b1 = 0
let b2 = "hi"

그러나 위 코드를 보면 알 수 있듯, 타입 추론을 사용할 때는 주의해야 할 점이 있다.

 

💥주의할 점 💥

• 당연하지만, 변수나 상수 선언 시 꼭 초깃값을 지정해주어야 한다.
  주어진 초깃값을 가지고 컴파일러가 타입을 추론하여 지정해주는 것이기 때문에,
  초깃값 없이는 annotation 오류가 발생한다.
• 타입 추론으로 변수나 상수를 생성했어도, 타입 캐스팅 없이 다른 타입으로 바꾸어 사용하는 것은 불가하다.
  예를 들어, 처음에 초깃값을 Int로 주었다면 그 변수나 상수는 Int로 지정된 것이기 때문에
  이후에 다른 타입의 값을 저장하는 것은 불가능하다.

---

🌟정리 🌟

타입 어노테이션은 변수나 상수의 생성 시 데이터 타입을 지정해주는 것, 추론은 지정 안해주는 것.
타입 추론 사용시에는 꼭 초깃값 지정해주기!

 

---

참고

• 📖 스위프트 프로그래밍
• https://babbab2.tistory.com/14