# Generics

- 실체화한 타입 파리미터
    - 인라인 함수 호출에서 타입 인자로 쓰인 구체적인 타입을 실행 시점에 알 수 있다.
        - 자바와 마찬가지로 코틀린 제네릭 타입 인자 정보는 런타임에 지워진다.(타입 소거)
            - 이는 제네릭 클래스 인스턴스가 그 인스턴스를 생성할 떄 쓰인 타입 인자에 대한 정보를 유지하지 않는다는 뜻
        - 컴파일러는 인라인 함수의 본문을 구현한 바이트코드를 그 함수가 호출되는 모든 지점에 삽입한다. 그래서 컴파일러는 실체화한 타입 인자를 사용해 인라인 함수를 호출하는 각 부분의 정확한 인자 타입을 알
          수 있다.
- 선언 지점 변성
    - 두 제네릭 타입이 있을 때 상위/하위 타입 관계에 따라 제네릭 타입의 관계가 어떻게 되는지 지정할 수 있다.
- 사용 지점 변성
    - 재내락 타입 값 사이의 상위/하위 타입의 관계 지정을 제네릭 타입 값을 사용하는 위치에서 파라미터 타입에 대한 제약을 표시하는 방식으로 달성한다.
    - 자바 와일드카드는 사용 지점 변성에 속하며, 코틀린 선언 지점 변성과 같은 역할을 한다.

---

- 널이 될 수 있는 타입
    - 아무런 상한을 정하지 않은 타입은 결과적으로 `Any?`를 상한으로 정한 파라티터와 같다

```kotlin
  class Processor<T> {
    ...
}

• 널이 될 수 없는 타입으로 한정
  • Any? 대신 Any를 상한으로 사용

  class Processor<T : Any> {
    ...
}

• 타입 파리미터 제약

  • <T extends Number> T sum(List<T> list)

• 클래스, 타입, 하위 타입

  • 널이 될 수 없는 타입은 널이 될 수 있는 타입의 하위 타입이다
    • Int? -> Int (O) , Int -> Int? (X)

val s: String = "abc"
val t: String? = s

// String이 String?의 하위 타입이므로 이 대입은 합법적이다.

• 무공변성

  • 제네릭 타입을 인스턴스화할 때 타입 인자로 서로 다른 타입이 들어가면 인스턴스 타입 사이의 하위 타입 관계가 성립하지 않으면 그 제네릭 타입을 무공변이라고 한다
  • T를 아무 위치에서나 사용할 수 있다.

• 공변성

  • A와 B의 하위 타입이면 List<A> 는 List<B> 의 하위 타입이다. 그런 클래스나 인터페이스를 공변적이라 말한다.
  • 코틀린에서 제네릭 클래스가 타입 파라미터에 대해 공변적임을 표시하려면 타입 파리미터 이름 앞에 out을 넣어야한다.
  • 모든 클래스를 공변적으로 만들 수는 없다. 공변적으로 만들면 안전하지 못한 클래스도 있다.
  • 타입 안전성을 보장하기 위해 공변적 파라미터는 항상 아웃 위치에만 있어야한다.
  • T 를 아웃 위치에서만 사용할 수 있다

• 반공변성

  • 타입 인자의 하위 타입 관계가 제네릭 타입에서 뒤집힌다
  • T를 인 위치에서만 사용할 수 있다.

• 스타 프로젝션

  • 제네릭 타입 인자 정보가 없음을 표현하기 위해 스타 프로젝션을 사용
    • 예를 들어, 원소타입이 알려지지 않은 리스트는 List<*> 라는 구문으로 표현할 수 있다.
  • MutableList<*> 는 MutableList<Any?> 와 같지 않다.