[Swifit] Type inference, Type Annotation

 

 

Type inference 형식 추론

: 변수나 상수에서 명확한 타입을 지정하지 않았을 때 스위프트 컴파일러가 type을 스스로 추론하는 것. 

 - 컴파일러는 값을 보고 type을 추론하므로 타입을 생략했다면 값을 반드시 저장해 주어야 함. 

 

 

 

Type Annotation 타입 선언

: 개발자가 직접 타입을 지정하는 것.

- 컴파일러가 형식을 스스로 추론함에도 Type Annotation이 필요한 이유는? 형식 추론에서 type은 대표 자료형으로 추론되기 때문.

대표 자료형 이외의 타입으로 사용하려면 직접 선언해주어야 한다.