Type Inference (형식 추론)

Type Inference

 

1. Type Inference (형식 추론)

 

- 상수 혹은 변수에 자료형을 따로 명시해 주지 않고, 값을 초기화 하는 경우 Compiler가 형식(자료형)을 추론하여 Default 자료형으로 메모리 공간을 결정함

 

let num = 1 // Int.Type

let num2 = 1.0 // Double.Type

let str = "Swift" // String.Type

let isValid = true // Bool.Type

let isValid = false // Bool.Type

 

- 단, 자료형을 직접 지정해 주지 않고, 초기값을 저장하지 않는 경우는 Compiler가 형식(자료형) 추론을 할 수 없기 때문에

반드시 자료형을 생략 하려면 초기값을 할당 해야 함

 

2. Type Annotation

 

- 자료형을 직접 지정하는 문법

 

- 자료형을 지정해주지 않으면 형식을 추론하는데 걸리는 비용이 발생하기 때문에, Type Annotation을 하게 되면 Compile 시간을 단축 시킬 수 있음

 

let constant: Type = value

var variable: Type = value