형식 추론의 작동 방식

타입 추론이란

let count = 42
let name = "Swift"
print(type(of: count))
print(type(of: name))

리터럴에서 추론

let a = 10
let b = 3.14
let c = "hello"
print(type(of: a), type(of: b), type(of: c))

초기화 구문에서 추론

let pi = Double.pi
let flag = Bool(true)
print(type(of: pi))
print(type(of: flag))

함수 반환값에서 추론

func makeGreeting() -> String {
    return "Hi"
}
let g = makeGreeting()
print(type(of: g))

컬렉션에서의 추론

let nums = [1, 2, 3]
let pairs = ["a": 1, "b": 2]
print(type(of: nums))
print(type(of: pairs))

양방향 추론

let x = 5            // Int inferred from literal
let y: Double = 5   // literal adapts to Double
print(type(of: x), type(of: y))

표현식 전체에 걸친 추론

let result = 2 + 3 * 4
print(result)
print(type(of: result))

추론으로 불필요한 표현 줄이기

let names = ["Ada", "Bob", "Cleo"]
print(names.count)

추론이 실패하는 경우

let empty: [Int] = []
print(empty.isEmpty)

추론은 정적입니다

var n = 10
// n = "text" // would be a compile error
n = 20
print(n)

추론과 성능

let total = (1...100).reduce(0, +)
print(total)

빠른 확인

정리

let a = 1
let b = 2.0
let c = "x"
print(type(of: a), type(of: b), type(of: c))