제네릭 Generics

제네릭은 현대의 프로그래밍 언어에 있어 표준처럼 자리 잡은 일반화 기법입니다. 제네릭 클래스와 함수는 공통 코드에서 불특정 타입을 두고, 그 외에 독립적인 공통 코드를 잘 감싸서 쓸 수 있게 해서 코드 재사용성을 높여줍니다. List<T>에 있는 코드들이 타입 T에 관계없이 잘 작동하는 것처럼요.

제너릭 클래스

코틀린에서 제네릭을 쓰는 첫 번째 방법은, 제네릭 클래스를 이용하는 것입니다.

//sampleStart
class MutableStack<E>(vararg items: E) {              // 1

  private val elements = items.toMutableList()

  fun push(element: E) = elements.add(element)        // 2

  fun peek(): E = elements.last()                     // 3

  fun pop(): E = elements.removeAt(elements.size - 1)

  fun isEmpty() = elements.isEmpty()

  fun size() = elements.size

  override fun toString() = "MutableStack(${elements.joinToString()})"
}
//sampleEnd

fun main() {
  val stack = MutableStack(0.62, 3.14, 2.7)
  stack.push(9.87)
  println(stack)

  println("peek(): ${stack.peek()}")
  println(stack)

  for (i in 1..stack.size()) {
    println("pop(): ${stack.pop()}")
    println(stack)
  }
}

1. MutableStack<E>라는 제네릭 클래스를 정의했고, 여기서 E를 제네릭 타입 파라미터라고 부릅니다. 이를 사용할 때는 MutableStack<Int>처럼 E 자리에 Int처럼 구체적인 타입을 지정해서 씁니다.
2. 제네릭 클래스 안에서는, E는 다른 보통의 타입들과 마찬가지로 쓸 수 있습니다.
3. E를 반환 타입 자리에 쓸 수도 있습니다.

제네릭 함수

어떤 함수가 특정 타입에 독립적이라면, 제네릭 함수로 정의해도 됩니다. 예제로, 스택을 만드는 유틸리티 함수를 작성해 보겠습니다.

class MutableStack<E>(vararg items: E) {              // 1

  private val elements = items.toMutableList()

  fun push(element: E) = elements.add(element)        // 2

  fun peek(): E = elements.last()                     // 3

  fun pop(): E = elements.removeAt(elements.size - 1)

  fun isEmpty() = elements.isEmpty()

  fun size() = elements.size

  override fun toString() = "MutableStack(${elements.joinToString()})"
}

//sampleStart
fun <E> mutableStackOf(vararg elements: E) = MutableStack(*elements)

fun main() {
  val stack = mutableStackOf(0.62, 3.14, 2.7)
  println(stack)
}
//sampleEnd

컴파일러가 mutableStackOf 함수에 전달한 제네릭 파라미터를 추론할 수 있기 때문에, mutableStackOf<Double>(...)처럼 길게 쓰지 않고도 잘 동작하였습니다.