PHpullh
학습 라이브러리/Kotlin/타입 추론 (Type Inference)

KOTLIN · 기초 문법

타입 추론 (Type Inference)

Kotlin 컴파일러는 초기값으로부터 타입을 자동 추론합니다. 명시적 선언 없이도 강타입 안전성을 유지합니다.

기초 문법입문type-inferencevalstrong-typing

핵심 설명

Kotlin 컴파일러는 초기값으로부터 타입을 자동 추론합니다. 명시적 선언 없이도 강타입 안전성을 유지합니다.

Kotlin code

fun main() {
    val name = "Kotlin"       // String 추론
    val count = 42            // Int 추론
    val pi = 3.14             // Double 추론
    val isActive = true       // Boolean 추론
    val items = listOf(1, 2)  // List<Int> 추론

    // 제네릭 타입 추론
    val map = mutableMapOf(
        "a" to 1,
        "b" to 2
    )  // MutableMap<String, Int> 추론

    // 함수 반환 타입 추론
    fun double(x: Int) = x * 2  // Int 반환 추론

    println(name::class.simpleName) // String
}

학습 팁

공개 API의 함수 반환 타입은 명시적으로 선언하는 것이 좋습니다. 내부 구현 변경이 외부 인터페이스에 영향을 주는 것을 방지합니다.

주의할 점

타입을 명시하지 않으면 의도와 다른 타입이 추론될 수 있습니다. val num = 1L은 Long이고 val num = 1은 Int입니다.

자주 묻는 질문

타입 추론 (Type Inference)란 무엇인가요?

Kotlin 컴파일러는 초기값으로부터 타입을 자동 추론합니다. 명시적 선언 없이도 강타입 안전성을 유지합니다.

타입 추론 (Type Inference) 학습 시 주의할 점은 무엇인가요?

타입을 명시하지 않으면 의도와 다른 타입이 추론될 수 있습니다. val num = 1L 은 Long 이고 val num = 1 은 Int 입니다.