[Kotlin] 타입 추론

타입 추론이란

코틀린은 정적 타입 언어이지만, 타입을 명시적으로 선언하지 않아도 변수의 타입을 추론할 수 있는 "타입 추론" 기능을 제공합니다. 이는 코드를 간결하게 만들고, 동시에 정적 타입 검사의 이점을 유지할 수 있도록 도와줍니다.

 

코틀린의 타입 추론 활용 예시

1. 변수 선언 시

val name = "Mike"  // 문자열 타입으로 추론
val age = 25       // 정수 타입으로 추론
val pi = 3.14      // 실수 타입으로 추론

 

2. 함수 매개변수 선언 시

fun add(a: Int, b: Int): Int {
    return a + b
}

fun main() {
    val result = add(3, 5)
    println(result) // 8
}

 

3. 단일 표현식 선언 시

fun add(a: Int, b: Int) = a + b  // 반환 값의 타입은 Int로 추론

 

4. 컬렉션의 타입 추론

val numbers = listOf(1, 2, 3, 4, 5)  // List<Int>로 추론 
val names = setOf("Alice", "Bob", "Charlie")  // Set<String>으로 추론

 

5. 람다 표현식에서의 타입 추론

val add: (Int, Int) -> Int = { a, b -> a + b } // a와 b의 타입을 명시적으로 선언하지 않았다.

fun main() {
    val result = add(3, 5)
    println(result) // 8
}

 

6. 조건문에서의 타입 추론

val result = if (age >= 18) "Adult" else "Minor"  // String으로 추론

 

7. nullable 타입에서의 타입 추론

val city: String? = "New York" // String 또는 null 타입으로 추론됨

 

8. 확장 함수에서의 타입 추론

fun String.addExclamation(): String {
    return "$this!"
}

fun main() {
    val greeting: String = "Hello"
    val excitedGreeting: String = greeting.addExclamation()  // 타입 추론

    println(excitedGreeting) // Hello!
}