TIL

아이템 22 일반적인 알고리즘을 구현할 때 제네릭을 사용하라

• 타입 아규먼트를 통해 함수 타입을 전달할 수 있는데 이를 제네릭 함수라 부른다.

// stdlib에 있는 대표적인 제네릭 함수인 filter
inline fun <T> Iterable<T>.filter(predicate: (T) -> Boolean): List<T> {
 val destination = ArrayList<T>
 for (element in this) {
	 if (predicate(element)) {
		 destination.add(element)
	 }
 }
 return destination
}

• 타입 파라미터를 통해 컴파일러가 타입을 더 정확하게 추측할 수 있게 해준다.
  • 프로그램이 더 안전해지고, 개발자는 프로그래밍이 편해진다.
  • ex) List<String>, Set<User>
• 물론 컴파일 과정에서 최종적으로 이 타입 정보는 사라진다.
  • 하지만 개발 중에는 특정 타입을 사용하게 강제할 수 있다.
  • 정적 타입 프로그래밍 언어에선 굉장이 유용하다.

제네릭 제한

• 타입 파라미터에서 타입을 제한할 수 있다.
  • 타입 제한이 걸리기에 내부에서 해당 타입이 제공하는 메서드를 사용할 수 있다.

// 특정 타입의 스브타입만 허용
fun <T : Comparable<T>> Iterable<T>.sorted(): List<T> {
	/*...*/
}

• 또한 nullable이 아닌 타입으로 제한하고 싶다면 Any로 제한하면 된다.

inline fun <T, R : Any> Iterable<T>.mapNotNull(transform: (T) -> R?): List<R> {
	return mapNotNullTo(ArrayList<R>(), transform)
}

• 드물지만 둘 이상의 제한을 걸 수도 있다.

fun <T : Animal> pet(animal: T) where T: GoodTempered {
	/*...*/
}

// 또는

fun <T> pet(animal: T) where T: Animal, T: GoodTempered {
	/*...*/
}