{"componentChunkName":"component---src-containers-post-index-tsx","path":"/backend/kotlin-in-action/11장-제네릭스/","result":{"pageContext":{"next":{"id":"19b26918-c9bd-5dc5-9a91-76021099d3ff","html":"

📖 10.1 다른 함수를 인자로 받거나 반환하는 함수 정의: 고차 함수

\n\n\n list.filter { it > 0}\n \n\n

🔖 10.1.1 함수 타입은 람다의 파라미터 타입과 반환 타입을 지정한다

\n\n val sum = { x: Int, y: Int -> x + y }\nval action = { println(42) }\n \n\n\n val sum: (Int, Int) -> Int = { x, y -> x + y } // Int 파라미터를 2개 받아서 Int 값을 반환하는 함수\nval action: () -> Unit = { println(42) } // 아무 인자도 받지 않고 아무 값도 반환하지 않는 함수\n \n\n\n var canReturnNu11: (Int, Int) -> Int? = { x, y -> null }\n \n\n\n var funOrNull: ((Int, Int) -> Int)? = null\n \n\n

🔖 10.1.2 인자로 전달 받은 함수 호출

\n\n fun twoAndThree(operation: (Int, Int) -> Int) {\n val result = operation(2, 3)\n println("The result is $result")\n}\n\nfun main() {\n twoAndThree { a, b -> a + b }\n // The result is 5\n twoAndThree { a, b -> a * b }\n // The result is 6\n}\n \n\n\n fun String.filter(predicate: (Char) -> Boolean): String {\n return buildString {\n for (char in this@filter) {\n if (predicate(char)) append(char)\n }\n }\n}\n \n\n

🔖 10.1.3 자바에서 코틀린 함수 타입 사용

\n\n fun processTheAnswer (f: (Int) -> Int) {\n printin(f(42))\n}\n \n\n processTheAnswer(number -> number + 1);\n \n\n

🔖 10.1.4 함수 타입의 파라미터에 대해 기본값을 지정할 수 있고, 널이 될 수도 있다.

\n\n fun <T> Collection<T>.joinToString(separator: String = ", ", prefix: String = "", postfix: String = ""): String {\n val result = StringBuilder(prefix)\n \n for ((index, element) in this.withIndex()) {\n if (index > 0) result.append(separator)\n result.append(element)\n }\n result.append(postfix)\n return result.toString()\n}\n \n\n\n fun <T> Collection<T>.joinToString(separator: String = ", ", prefix: String = "", postfix: String = "", transform: (T) -> String = { it.toString() }): String {\n val result = StringBuilder(prefix)\n\n for ((index, element) in this.withIndex()) {\n if (index > 0) result.append(separator)\n result.append(transform(element))\n }\n result.append(postfix)\n return result.toString()\n}\n \n\n\n fun <T> Collection<T>.joinToString(separator: String = ", ", prefix: String = "", postfix: String = "", transform: ((T) -> String)? = null): String {\n val result = StringBuilder(prefix)\n\n for ((index, element) in this.withIndex()) {\n if (index > 0) result.append(separator)\n val str = transform?.invoke(element) ?: element.toString()\n result.append(str)\n }\n result.append(postfix)\n return result.toString()\n}\n \n\n

🔖 10.1.5 함수를 함수에서 반환

\n\n fun getShippingCostCalculator(delivery: Delivery): (Order) -> Double {\n if (delivery == Delivery.EXPEDITED) {\n return { order -> 6 + 2.1 * order.itemCount }\n }\n return { order -> 1.2 * order.itemCount }\n}\n\nfun main() {\n val calculator = getShippingCostCalculator(Delivery.EXPEDITED)\n println("Shipping costs ${calculator(Order(3))}")\n}\n \n\n\n class ContactListFilters {\n var prefix: String = ""\n var onlyWithPhoneNumber: Boolean = false\n\n fun getPredicate(): (Person) -> Boolean {\n val startWithPrefix = { p: Person -> p.firstName.startsWith(prefix) || p.lastName.startsWith(prefix)}\n if (!onlyWithPhoneNumber) {\n return startWithPrefix\n }\n return { startWithPrefix(it) && it.phoneNumber != null }\n }\n}\n \n\n

🔖 10.1.6 람다를 활용해 중복을 줄여 코드 재사용성 높이기

\n\n data class SiteVisit(\n val path: String,\n val duration: Double,\n val os: OS\n)\n\nenum class OS { WINDOWS, LINUX, MAC, IOS, ANDROID }\n\nval log = listOf(\n SiteVisit("/", 34.0, OS.WINDOWS),\n SiteVisit("/", 22.0, OS.MAC),\n SiteVisit("/login", 12.0, OS.WINDOWS),\n SiteVisit("/signup", 8.0, OS.IOS),\n SiteVisit("/", 16.3, OS.ANDROID),\n)\n\nval averageWindowsDuration = log\n .filter { it.os == OS.WINDOWS }\n .map(SiteVisit::duration)\n .average()\n \n\n\n fun List<SiteVisit>.averageDurationFor(os: OS) = filter { it.os == os }.map(SiteVisit::duration).average()\n \n\n\n fun List<SiteVisit>.averageDurationFor(predicate: (SiteVisit) -> Boolean) = filter(SiteVisit).map(SiteVisit::duration).average()\n \n\n

📖 10.2 인라인 함수를 사용해 람다의 부가 비용 없애기

\n\n

🔖 10.2.1 인라이닝이 작동하는 방식

\n\n inline fun <T> synchronized(lock: Lock, action: () -> T): T {\n lock.lock()\n try {\n return action()\n }\n finally {\n lock.unlock()\n }\n}\n\nfun main() {\n val l = ReentrantLock()\n synchronized(1) {\n // ...\n }\n}\n \n\n\n class LockOwner(val lock: Lock) {\n fun runUnderLock(body: () -> Unit) {\n synchronized(lock, body)\n } \n}\n \n\n

🔖 10.2.2 인라인 함수의 제약

\n\n class FunctionStorage {\n var myStoredFunction: ((Int) -> Unit)? = null\n inline fun storeFunction(f: (Int) -> Unit) { \n myStoredFunction = f // error\n }\n}\n \n\n\n fun <T, R> Sequence<T>.map(transform: (T) -> R): Sequence<R> {\n return TransformingSequence(this, transform)\n}\n \n\n\n inline fun foo(inlined: () -> Unit, noinline notInlined: () -> Unit) {\n //..\n}\n \n\n

🔖 10.2.3 컬렉션 연산 인라이닝

\n\n data class Person(val name: String, val age: Int)\n\nval people = listOf(Person("Alice", 29), Person("Bob", 31))\n\nfun main() {\n println(people.filter { it.age < 30 })\n}\n \n\n\n fun main() {\n val result = mutableListOf<Person>()\n for (person in people) {\n if (person.age < 30) {\n result.add(person)\n }\n }\n println(result)\n}\n \n\n\n fun main() {\n println(\n people.filter { it.age < 30 }\n .map(Person::name)\n )\n}\n \n\n

🔖 10.2.4 언제 함수를 인라인으로 선언할지 결정

\n\n

🔖 10.2.5 withLock, use, useLines로 자원 관리를 위해 인라인된 람다 사용

\n\n val l: Lock = ReentrantLock()\nl.withLock {\n //..\n}\n \n\n\n fun readFirstLineFromFile(fileName: String): String {\n BufferedReader(FileReader(fileName)).use { br ->\n return br.readLine()\n }\n}\n \n\n\n fun readFirstLineFromFile(fileName: String): String {\n Path(fileName).useLines { \n return it.first()\n }\n}\n \n\n

📖 10.3 람다에서 반환: 고차 함수에서 흐름 제어

\n

🔖 10.3.1 람다 안의 return 문: 람다를 둘러싼 함수에서 반환

\n\n data class Person(val name: String, val age: Int)\n\nval people = listOf(Person("Alice", 29), Person("Bob", 31))\n\nfun lookForAlice(people: List<Person>) {\n for (person in people) {\n if (person.name == "Alice") {\n println("Found!")\n return\n }\n }\n println("Alice is not found")\n}\n \n\n fun lookForAlice(people: List<Person>) {\n people.forEach {\n if (it.name == "Alice") {\n println("Found!")\n return\n }\n }\n println("Alice is not found")\n}\n \n\n

🔖 10.3.2 람다로부터 반환: 레이블을 사용한 return

\n\n\n fun lookForAlice(people: List<Person>) {\n people.forEach label@{\n if (it.name != "Alice") return@label\n println("Found Alice")\n }\n}\n \n\n\n fun lookForAlice(people: List<Person>) {\n people.forEach {\n if (it.name != "Alice") return@forEach\n println("Found Alice!")\n }\n}\n \n\n

🔖 10.3.3 익명 함수: 기본적으로 로컬 return

\n\n fun lookForAlice(people: List<Person>) {\n people.forEach (fun (person) {\n if (person.name == "Alice") return\n println("${person.name} is not Alice")\n })\n}\n \n","excerpt":"📖 10.1 다른 함수를 인자로 받거나 반환하는 함수 정의: 고차 함수 고차 할수는 다른 할수를 인자로 받거나 함수를 반환하는 합수 코물린에서는 다나 할수 참조를 사용해 함수를 값으로 표현할 수 있다. 표준 라이브러리 함수인 filter는 술어 함수를 인자로 받으므로 고차 함수 🔖 10.1.1 함수 타입은 람다의 파라미터 타입과 반환 타입을 지정한다 컴파일러는 sum과 action…","fields":{"slug":"/backend/kotlin-in-action/10장-고차함수-람다를_파라미터와_반환값으로_사용/"},"frontmatter":{"title":"Kotlin in Action - 10장 고차 함수: 람다를 파라미터와 반환값으로 사용","thumbnail":{"childImageSharp":{"fluid":{"src":"/static/f7f7ddfa31d1614405dc5af1487b9ec4/9c94d/kotlin-in-action.png"}}},"draft":false,"category":"Back-End","tags":["Kotlin"],"date":"May 11, 2025"}},"previous":{"id":"9b2d33a9-b5b2-5ac0-8299-1e8a5e308b54","html":"

📖 12.1 어노테이션 선언과 적용

\n

🔖 12.1.1 어노테이션을 적용해 선언해 표지 남기기

\n\n\n @Deprecated("Use removeAt(index) instead.", ReplaceWith("removeAt(index)"))\nfun remove(index: Int) {\n}\n \n\n

🔖 12.1.2 어노테이션이 참조할 수 있는 정확한 선언 지정: 어노테이션 타깃

\n\n\n @JvmName("performCalculation")\nfun calculate(): Int {\n return (2 + 2) - 1\n}\n \n\n\n class CertificateManager {\n @get:JvmName("obtainCertificate")\n @set:JvmName("putCertificate")\n var certificate: String = "-----BEGIN CERTIFICATE-----"\n}\n \n\n

사용 지점 타깃을 지정할 때 지원하는 타깃 목록

\n\n

코틀린에는 컴파일러 경고를 무시하기 위한 @Suppress 어노테이션이 있다.

\n

🔖 12.1.3 어노테이션을 활용해 JSON 직렬화 제어

\n\n\n data class Person(val name: String, val age: Int)\n\nfun main() {\n val person = Person("Alice", 29)\n println(serialize(person))\n}\n \n\n\n fun main() {\n val json = """{"name": "Alice", "age": 29"}"""\n println(deserialize<Person>(json))\n}\n \n\n\n data class Person(\n @JsonName("alias") val firstName: String,\n @JsonExclude val age: Int? = null\n)\n \n\n

🔖 12.1.4 어노테이션 선언

\n\n annotation class JsonExclude\n \n\n\n annotation class JsonName(val name: String)\n \n\n

🔖 12.1.5 메타어노테이션: 어노테이션을 처리하는 방법 제어

\n\n\n @Target(AnnotationTarget.PROPERTY)\nannotation class JsonExclude\n \n\n\n @Target(AnnotationTarget.ANNOTATION_CLASS)\nannotation class BindingAnnotation\n\n@BindingAnnotation\nannotation class MyBinding\n \n\n

🔖 12.1.6 어노테이션 파라미터로 클래스 사용

\n\n interface Company {\n val name: String\n}\n\ndata class CompanyImpl(override val name: String) : Company\n\ndata class Person(\n val name: String,\n @DeserializeInterface(CompanyImpl::class) val company: Company\n)\n \n\n\n annotation class DeserializeInterface(val targetClass: KClass<out Any>)\n \n\n

🔖 12.1.7 어노테이션 파라미터로 제네릭 클래스 받기

\n\n\n interface ValueSerializer<T> {\n fun toJsonValue(value: T): Any?\n fun fromJsonValue(jsonValue: Any?): T\n}\n \n\n\n data class Person(\n val name: String,\n @CustomSerializer(DateSerializer::class) val birthDate: Date\n)\n \n\n annotation class CustomSerializer(val serializerClass: KClass<out ValueSerializer<*>>)\n \n\n

📖 12.2 리플렉션: 실행 시점에 코틀린 객체 내부 관찰

\n\n

🔖 12.2.1 코틀린 리플렉션 API: KClass, KCallable, KFunction, KProperty

\n\n interface KClass<T : Any> {\n val simpleName: String?\n val qualifiedName: String?\n val members: Collection<KCallable<*>>\n val constructors: Collection<KFunction<T>>\n val nestedClasses: Collection<KClass<*>>\n // ...\n}\n \n\n\n interface KCallable<out R> {\n fun call(vararg args: Any?): R\n // ...\n}\n \n\n\n fun foo(x: Int) = println(x)\n\nfun main() {\n val kFunction = ::foo\n kFunction.call(42)\n}\n \n\n\n fun sum(x: Int, y: Int) = x + y\n\nfun main() {\n val kFunction = KFunction2<Int, Int, Int> = ::sum\n println(kFunction.invoke(1, 2) + kFunction.invoke(3, 4))\n kFunction(1)\n // error\n}\n \n\n\n var counter = 0\n\nfun main() {\n val kProperty = ::counter\n kProperty.setter.call(21)\n println(kProperty.get())\n}\n \n\n

🔖 12.2.2 리플렉션을 사용해 객체 직렬화 구현

\n\n fun serialize(obj: Any): String\n \n\n\n private fun StringBuilder.serializeObject(x: Any) {\n append(/*...*/)\n}\n \n\n\n fun serialize(obj: Any): String = buildString { serializeObject(obj) }\n \n\n\n private fun StringBuilder.serializeObject(obj: Any) {\n val kClass = obj::class as KClass<Any>\n val properties = kClass.memberProperties\n\n properties.joinToStringBuilder(\n this, prefix = "{", postfix = "}"\n ) { prop ->\n serializeString(prop.name)\n append(": ")\n serializePropertyValue(prop.get(obj))\n }\n}\n \n\n

🔖 12.2.3 어노테이션을 활용해 직렬화 제어

\n

어노테이션을 지원하기 위해 serializeObject를 어떻게 수정할지 알아본다.

\n\n val properties = kClass.memberProperties.filter { it.findAnnotation<JsonExclude>() == null }\n \n\n\n val jsonNameAnn = prop.findAnnotation<JsonName>()\nval propName = jsonNameAnn?.name ?: prop.name\n \n\n\n private fun StringBuilder.serializeObject(obj: Any) {\n (obj::class as KClass<Any>)\n .memberProperties\n .filter { it.findAnnotation<JsonExclude>() == null }\n .joinToStringBuilder(this, prefix = "{", postfix = "}") {\n serializeProperty(it, obj)\n }\n}\n \n\n\n private fun StringBuilder.serializeObject(prop: KProperty1<Any, *>, obj: Any) {\n val jsonNameAnn = prop.findAnnotation<JsonName>()\n val propName = jsonNameAnn?.name ?: prop.name\n serializeString(propName)\n append(": ")\n serializePropertyValue(prop.get(obj))\n}\n \n\n\n fun KProperty<*>.getSerializer(): ValueSerializer<Any?>? {\n val customSerializerAnn = findAnnotation<CustomSerializer>() ?: return null\n val serializerClass = customSerializerAnn.serializerClass\n\n val valueSerializer = serializerClass.objectInstance\n ?: serializerClass.createInstance()\n @Suppress("UNCHECKED_CAST")\n return valueSerializer as ValueSerializer<Any?>\n}\n \n\n\n private fun StringBuilder.serializeProperty(\n prop: KProperty1<Any, *>, obj: Any\n) {\n val jsonNameAnn = prop.findAnnotation<JsonName>()\n val propName = jsonNameAnn?.name ?: prop.name\n serializeString(propName)\n append(": ")\n\n val value = prop.get(obj)\n val jsonValue = prop.getSerializer()?.toJsonValue(value) ?: value\n serializePropertyValue(jsonValue)\n}\n \n\n

🔖 12.2.4 JSON 파싱과 객체 역직렬화

\n\n

🔖 12.2.5 최종 역직렬화 단계: callBy()와 리플렉션을 사용해 객체 만들기

\n\n interface KCallable<out R> {\n fun callBy(args: Map<KParameter, Any?>): R\n // ...\n}\n \n\n\n object BooleanSerializer : ValueSerializer<Boolean> {\n override fun fromJsonValue(jsonValue: Any?): Boolean {\n if (jsonValue !is Boolean) throw JkidException("Boolean Expected")\n return jsonValue\n }\n override fun toJsonValue(value: Boolean) = value\n}\n \n\n\n class ClassInfoCache {\n private val cacheData = mutableMapOf<KClass<*>, ClassInfo<*>>()\n\n @Suppress("UNCHECKED_CAST")\n operator fun <T : Any> get(cls: KClass<T>): ClassInfo<T> =\n cacheData.getOrPut(cls) { ClassInfo(cls) } as ClassInfo<T>\n}\n \n","excerpt":"📖 12.1 어노테이션 선언과 적용 🔖 12.1.1 어노테이션을 적용해 선언해 표지 남기기 코틀린에서 어노테이션을 적용하려면 @와 어노테이션 이름을 선언 앞에 넣으면 된다. @Deprecated 어노테이션은 최대 3가지 파라미터를 받는다. message: 사용중단 예고 이유 replaceWith: 옛 버전을 대신할 수 있는 패턴 제시 level: 점진적인 사용 중단을 지원 제공 WARNING: 경고만 함 ERROR: 컴파일되지 못하게 막음. HIDDEN…","fields":{"slug":"/backend/kotlin-in-action/12장-어노테이션과_리플렉션/"},"frontmatter":{"title":"Kotlin in Action - 12장 애노테이션과 리플렉션","thumbnail":{"childImageSharp":{"fluid":{"src":"/static/f7f7ddfa31d1614405dc5af1487b9ec4/9c94d/kotlin-in-action.png"}}},"draft":false,"category":"Back-End","tags":["Kotlin"],"date":"May 25, 2025"}},"node":{"id":"b5f5340f-f158-5b1d-aff9-1d7991c14962","html":"

📖 11.1 타입 인자를 받는 타입 만들기: 제네릭 타입 파라미터

\n\n\n val readers: MutableList<String> = mutableListOf()\nval readers = mutableListOf<String>()\n \n\n

🔖 11.1.1 제네릭 타입과 함께 동작하는 함수와 프로퍼티

\n\n\n fun main() {\n val letters = ('a'..'z').toList()\n println(letters.slice<Char>(0..2))\n println(letters.slice(10..13))\n}\n \n\n\n fun main() {\n val authors = listOf("Sveta", "Seb", "Roman", "Dima")\n val readers = mutableListOf<String>("Seb", "Hadi")\n println(readers.filter { it !in authors })\n}\n \n\n

🔖 11.1.2 제네릭 클래스를 홑화살괄호 구문을 사용해 선언한다.

\n\n\n class StringList : List<String> {\n override fun get(index: Int): String = TODO()\n}\n\nclass ArrayList<T> : List<T> {\n override fun get(index: Int): T = TODO()\n}\n \n\n

🔖 11.1.3 제네릭 클래스나 함수가 사용할 수 있는 타입 제한: 타입 파라미터 제약

\n\n fun <T: Number> oneHalf(value: T): Double {\n return value.toDouble()\n}\n \n\n\n fun <T: Comparable<T>> max(first: T, second: T): T {\n return if (first > second) first else second\n}\n\nfun main() {\n println(max("kotlin", "java"))\n // kotlin\n}\n \n\n\n fun <T> ensureTrailingPeriod(seq: T) where T: CharSequence, T: Appendable {\n if (!seq.endsWith('.')) {\n seq.append('.')\n }\n}\n \n\n

🔖 11.1.4 명시적으로 타입 파라미터를 널이 될 수 없는 타입으로 표시해서 널이 될 수 있는 타입 인자 제외시키기

\n\n class Processor<T> {\n fun process(value: T) {\n value?.hashCode()\n }\n}\n \n\n\n class Processor<T: Any> {\n fun process(value: T) {\n value.hashCode()\n }\n}\n \n\n

📖 11.2 실행 시점 제네릭스 동작: 소거된 타입 파라미터와 실체화된 타입 파라미터

\n\n

🔖 11.2.1 실행 시점에 제네릭 클래스의 타입 정보를 찾을 때 한계: 타입 검사와 캐스팅

\n\n

🛠️ 타입 소거로 인해 생기는 한계

\n\n\n fun readNumbersOrWords(): List<Any> {\n val input = readln()\n val words: List<String> = input.split(",")\n val numbers: List<Int> = words.mapNotNull { it.toIntOrNull() }\n return numbers.ifEmpty { words }\n}\n\nfun printList(l: List<Any>) {\n when(1) {\n is List<String> -> println("Strings: $l") // error\n is List<Int> -> println("Integers: $l") // error\n }\n}\n \n\n\n fun printSum(c: Collection<*>) {\n val intList = c as? List<Int> ?: throw IllegalArgumentException("List is expected")\n println(intList.sum())\n}\n \n\n\n fun printSum(c: Collection<Int>) {\n when (c) {\n is List<Int> -> println("List sum: ${c.sum()}")\n is Set<Int> -> println("Set sum: ${c.sum()}")\n }\n}\n \n\n

🔖 11.2.2 실체화된 타입 파라미터를 사용하는 함수는 타입 인자를 실행 시점에 언급할 수 있다

\n\n\n inline fun <reified T> isA(value: Any) = value is T\n\nfun main() {\n println(isA<String>("abc"))\n println(isA<String>(123))\n}\n \n\n\n fun main() {\n val items = listOf("one", 2, "three")\n println(items.filterIsInstance<String>())\n}\n \n\n inline fun <reified R, C : MutableCollection<in R>> Iterable<*>.filterIsInstanceTo(destination: C): C {\n for (element in this) if (element is R) destination.add(element)\n return destination\n}\n \n\n

🔖 11.2.3 클래스 참조를 실체화된 타입 파라미터로 대신함으로써 java.lang.Class 파라미터 피하기

\n\n val serviceImpl = ServiceLoader.load(Service::class.java)\n \n\n\n val serviceImpl = loadService<Service>()\n\ninline fun <reified T> loadService() {\n return ServiceLoader.load(T::class.java)\n}\n \n\n

🔖 11.2.4 실체화된 타입 파라미터가 있는 접근자 정의

\n\n inline val <reified T> T.canonical: String\n get() = T::class.java.canonicalName\n \n\n

🔖 11.2.5 실체화된 타입 파라미터의 제약

\n

실체화된 타입 파라미터 사용할 수 있는 경우

\n\n

실체화된 타입 파라미터 사용할 수 없는 경우

\n\n

📖 11.3 변성은 제네릭과 타입 인자 사이의 하위 타입 관계를 기술

\n\n

🔖 11.3.1 변성은 인자를 함수에 넘겨도 안전한지 판단하게 해준다

\n\n fun printContents(list: List<Any>) {\n println(list.joinToString())\n}\n\nfun main() {\n printContents(listOf("abc", "bac"))\n}\n \n\n\n fun addAnswer(list: MutableList<Any>) {\n list.add(42)\n}\n\nfun main() {\n val strings = mutableListOf("abc", "bac")\n addAnswer(strings) // error\n println(strings.maxBy { it.length })\n}\n \n\n

🔖 11.3.2 클래스, 타입, 하위 타입

\n\n\n fun test(i: Int) {\n val n: Number = i\n \n fun f(s: String) {\n //..\n }\n f(i) // error\n}\n \n\n

🔖 11.3.3 공변성은 하위 타입 관계를 유지한다

\n\n\n interface Producer<out T> {\n fun produce(): T\n}\n \n\n\n open class Animal {\n fun feed() {\n //\n }\n}\n\nclass Herd<T: Animal> {\n val size: Int get() = 5\n operator fun get(i: Int): T {\n //\n }\n}\n\nfun feedAll(animals: Herd<Animal>) {\n for (i in 0..<animals.size) {\n animals[i].feed()\n }\n}\n \n\n\n class Cat: Animal() {\n fun cleanLitter() {\n //\n }\n}\n\nfun takeCareOfCats(cats: Herd<Cat>) {\n for (i in 0..<cats.size) {\n cats[i].cleanLitter()\n }\n feedAll(cats) // error\n}\n \n\n\n class Herd<out T: Animal> {\n val size: Int get() = 5\n operator fun get(i: Int): T {\n //\n }\n}\n\nfun takeCareOfCats(cats: Herd<Cat>) {\n for (i in 0..<cats.size) {\n cats[i].cleanLitter()\n }\n feedAll(cats)\n}\n \n\n\n interface MutableList<T> : List<T>, MutableCollection<T> {\n override fun add(element: T): Boolean\n}\n \n\n\n class Herd<T: Animal>(var leadAnimal: T, vararg animals: T) {}\n \n\n\n class Herd<out T: Animal>(private var leadAnimal: T, vararg animals: T) {}\n \n\n

🔖 11.3.4 반공변성은 하위 타입 관계를 뒤집는다

\n\n\n sealed class Fruit {\n abstract val weight: Int\n}\n\ndata class Apple(override val weight: Int, val color: String) : Fruit()\n\ndata class Orange(override val weight: Int, val juicy: Boolean) : Fruit()\n\nfun main() {\n val weightComparator = Comparator<Fruit> {\n a, b -> a.weight - b.weight\n }\n val fruits: List<Fruit> = listOf(Apple(100, "green"), Orange(180, true))\n val apples: List<Apple> = listOf(Apple(50, "red"), Apple(120, "green") ,Apple(155, "yellow"))\n println(fruits.sortedWith(weightComparator))\n println(apples.sortedWith(weightComparator))\n}\n \n\n

🔖 11.3.5 사용 지점 변성을 사용해 타입이 언급되는 지점에서 변성 지정

\n\n\n fun <T> copyData(source: MutableList<T>, destination: MutableList<T>) {\n for (item in source) destination.add(item)\n}\n \n\n\n fun <T: R, R> copyData(source: MutableList<T>, destination: MutableList<R>) {\n for (item in source) destination.add(item)\n}\n\nfun main() {\n val ints = mutableListOf(1, 2, 3)\n val anyItems = mutableListOf<Any>()\n copyData(ints, anyItems)\n println(anyItems)\n}\n \n\n\n fun <T> copyData(source: MutableList<out T>, destination: MutableList<T>) {\n for (item in source) destination.add(item)\n}\n \n\n\n fun main() {\n val list: MutableList<out Number> = mutableListOf()\n list.add(42) // error\n}\n \n\n\n fun <T> copyData(source: MutableList<T>, destination: MutableList<in T>) {\n for (item in source) destination.add(item)\n}\n \n\n

🔖 11.3.6 스타 프로젝션: 제네릭 타입 인자에 대한 정보가 없음을 표현하고자 * 사용

\n\n\n fun main() {\n val list: MutableList<Any?> = mutableListOf('a', 1, "qwe")\n val chars = mutableListOf('a', 'b', 'c')\n val unknownElements: MutableList<*> = if (Random.nextBoolean()) list else chars\n println(unknownElements.first())\n unknownElements.add(42) // error\n}\n \n\n\n fun printFirst(list: List<*>) {\n if (list.isNotEmpty()) {\n println(list.first())\n }\n}\n\nfun main() {\n printFirst(listOf("Sveta", "Seb", "Dima", "Roman"))\n}\n \n\n\n fun <T> printFirst(list: List<T>) {\n if (list.isNotEmpty()) {\n println(list.first())\n }\n}\n \n\n\n interface FieldValidator<in T> {\n fun validate(input: T): Boolean\n}\n\nobject DefaultStringValidator : FieldValidator<String> {\n override fun validate(input: String) = input.isNotEmpty()\n}\n\nobject DefaultIntValidator : FieldValidator<Int> {\n override fun validate(input: Int) = input >= 0\n}\n\nfun main() {\n val validator = mutableMapOf<KClass<*>, FieldValidator<*>>()\n validator[String::class] = DefaultStringValidator\n validator[Int::class] = DefaultIntValidator\n}\n \n\n\n val stringValidator = validator[String::class] as FieldValidator<String>\n \n\n\n fun main() {\n val validator = mutableMapOf<KClass<*>, FieldValidator<*>>()\n val stringValidator = validator[Int::class] as FieldValidator<String>\n stringValidator.validate("") // 실행 시점 에러\n}\n \n\n\n object Validators {\n private val validators = mutableMapOf<KClass<*>, FieldValidator<*>>()\n\n fun <T : Any> registerValidator(kClass: KClass<T>, fieldValidator: FieldValidator<T>) {\n validators[kClass] = fieldValidator\n }\n\n @Suppress("UNCHECKED_CAST")\n operator fun <T : Any> get(kClass: KClass<T>): FieldValidator<T> =\n validators[kClass] as? FieldValidator<T> ?: throw IllegalArgumentException(\n "No validator for ${kClass.simpleName}"\n )\n}\n\nfun main() {\n Validators.registerValidator(String::class, DefaultStringValidator)\n Validators.registerValidator(Int::class, DefaultIntValidator)\n}\n \n\n

🔖 11.3.7 타입 설명

\n\n\n typealias NameCombiner = (String, String, String, String) -> String\n\nval authorsCombiner: NameCombiner = { a, b, c, d -> "$a et al." }\nval bandCombiner: NameCombiner = { a, b, c, d -> "$a, $b & The Gang" }\n\nfun combineAuthors(combiner: NameCombiner) {\n println(combiner("Sveta", "Seb", "Dima", "Roman"))\n}\n\nfun main() {\n combineAuthors(bandCombiner)\n combineAuthors(authorsCombiner)\n combineAuthors { a, b, c, d -> "$d, $c & Co." }\n}\n \n","excerpt":"📖 11.1 타입 인자를 받는 타입 만들기: 제네릭 타입 파라미터 제네릭스를 사용하면 타입 파라미터를 받는 타입을 정의할 수 있다. 제네릭 타입의 인스턴스가 만들어질 때는 타입 파라미터를 구체적인 타입 인자로 치환한다. 코틀린 컴파일러는 보통 타입과 마찬가지로 타입 인자도 추론할 수 있다. 위 두 선언은 동등하다. 빈 리스트를 만들어야 한다면 타입 인자를 추론할 근거가 없기에 직접 명시해야 한다. 코틀린에는 raw 타입이 없다. 🔖 11.1.…","fields":{"slug":"/backend/kotlin-in-action/11장-제네릭스/"},"frontmatter":{"title":"Kotlin in Action - 11장 제네릭스","thumbnail":{"childImageSharp":{"fluid":{"src":"/static/f7f7ddfa31d1614405dc5af1487b9ec4/9c94d/kotlin-in-action.png"}}},"draft":false,"category":"Back-End","tags":["Kotlin"],"date":"May 18, 2025"}}}},"staticQueryHashes":["2374173507","2996537568","3691437124"]}