타입 별칭(Type aliases

[//]: # (title: 타입 별칭(Type aliases))

타입 별칭(Type aliases)은 기존 타입에 대한 대체 이름을 제공합니다. 타입 이름이 너무 길면 더 짧은 다른 이름을 도입하여 대신 사용할 수 있습니다.

긴 제네릭 타입을 줄이는 데 유용합니다. 예를 들어, 컬렉션 타입을 축소하고 싶을 때가 많습니다:

typealias NodeSet = Set<Network.Node>

typealias FileTable<K> = MutableMap<K, MutableList<File>>

함수 타입에 대해 다른 별칭을 제공할 수도 있습니다:

typealias MyHandler = (Int, String, Any) -> Unit

typealias Predicate<T> = (T) -> Boolean

내부 클래스와 중첩 클래스에 대해 새로운 이름을 가질 수 있습니다:

class A {
    inner class Inner
}
class B {
    inner class Inner
}

typealias AInner = A.Inner
typealias BInner = B.Inner

타입 별칭은 새로운 타입을 도입하지 않습니다. 이는 해당 기본 타입과 동일합니다. typealias Predicate<T>를 추가하고 코드에서 Predicate<Int>를 사용하면, Kotlin 컴파일러는 항상 이를 (Int) -> Boolean으로 확장합니다. 따라서 일반적인 함수 타입이 필요한 곳에 사용자가 정의한 타입의 변수를 전달할 수 있으며, 그 반대도 가능합니다:

typealias Predicate<T> = (T) -> Boolean

fun foo(p: Predicate<Int>) = p(42)

fun main() {
    val f: (Int) -> Boolean = { it > 0 }
    println(foo(f)) // "true" 출력

    val p: Predicate<Int> = { it > 0 }
    println(listOf(1, -2).filter(p)) // "[1]" 출력
}

중첩 타입 별칭(Nested type aliases)

Kotlin에서는 외부 클래스의 타입 파라미터를 캡처(capture)하지 않는 한, 다른 선언 내부에 타입 별칭을 정의할 수 있습니다.

class Dijkstra {
    typealias VisitedNodes = Set<Node>

    private fun step(visited: VisitedNodes, ...) = ...
}

캡처란 타입 별칭이 외부 클래스에 정의된 타입 파라미터를 참조하는 것을 의미합니다:

class Graph<Node> {
    // Node를 캡처하므로 잘못된 코드
    typealias Path = List<Node>
}

이 문제를 해결하려면 타입 별칭에 타입 파라미터를 직접 선언하십시오:

class Graph<Node> {
    // Node가 타입 별칭 파라미터이므로 올바른 코드
    typealias Path<Node> = List<Node>
}

중첩 타입 별칭은 캡슐화를 개선하고, 패키지 수준의 혼란을 줄이며, 내부 구현을 단순화하여 더 깔끔하고 유지보수가 쉬운 코드를 가능하게 합니다.

중첩 타입 별칭 규칙

중첩 타입 별칭은 명확하고 일관된 동작을 보장하기 위해 특정 규칙을 따릅니다:

• 중첩 타입 별칭은 기존의 모든 타입 별칭 규칙을 따라야 합니다.
• 가시성(visibility) 측면에서 별칭은 참조된 타입이 허용하는 것보다 더 많이 노출될 수 없습니다.
• 스코프는 중첩 클래스와 동일합니다. 클래스 내부에 정의할 수 있으며, 오버라이드되지 않으므로 동일한 이름의 부모 타입 별칭을 가립니다(hide).
• 중첩 타입 별칭은 가시성을 제한하기 위해 internal 또는 private으로 표시될 수 있습니다.
• 중첩 타입 별칭은 Kotlin 멀티플랫폼의 expect/actual 선언에서 지원되지 않습니다.