{"componentChunkName":"component---src-containers-post-index-tsx","path":"/backend/kotlin-in-action/10장-고차함수-람다를_파라미터와_반환값으로_사용/","result":{"pageContext":{"next":{"id":"dd1d7589-298b-5305-9cd3-3de0eb0cc3f7","html":"

코틀린은 어떤 언어 기능과 미리 정해진 이름의 함수를 연결해주는 기법인 관례에 의존한다.

\n

📖 9.1 산술 연산자를 오버로드해서 임의의 클래스에 대한 연산을 더 편리하게 만들기

\n

🔖 9.1.1 plus, times, divide 등: 이항 산술 연산 오버로딩

\n\n data class Point(val x: Int, val y: Int) {\n operator fun plus(other: Point): Point {\n return Point(x + other.x, y + other.y)\n }\n}\n\nfun main() {\n val p1 = Point(10, 20)\n val p2 = Point(30, 40)\n println(p1 + p2) // + 기호를 쓰면 plus 함수 호출\n}\n \n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
표현식함수 이름
a + bplus
a - bminus
a * btimes
a / bdiv
a % bmod
\n\n\n operator fun Point.times(scale: Double): Point {\n return Point((x * scale).toInt(), (y * scale).toInt())\n}\n\nfun main() {\n val p = Point(10, 20)\n println(p * 1.5)\n}\n \n\n\n operator fun Char.times(count: Int): String {\n return toString().repeat(count)\n}\n\nfun main() {\n println('a' * 3)\n}\n \n\n

🔖 9.1.2 연산을 적용한 다음에 그 결과를 바로 대입: 복합 대입 연산자 오버로딩

\n\n fun main() {\n var point = Point(1, 2)\n point += Point(3, 4)\n println(point)\n}\n \n\n\n operator fun <T> MutableCollection<T>.plusAssign(element: T) {\n this.add(element)\n}\n \n\n

🔖 9.1.3 피연산자가 1개뿐인 연산자: 단항 연산자 오버로딩

\n\n operator fun Point.unaryMinus(): Point {\n return Point(-x, -y)\n}\n \n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
표현식함수 이름
+aunaryPlus
-aunaryMinus
!anot
a++, ++ainc
a-- , --adec
\n\n fun main() {\n var bd = BigDecimal.ZERO\n println(bd++) // 후위 증가 연산자는 println이 실행된 다음에 값 증가\n println(bd)\n println(++bd) // 전위 증가 연산자는 println이 실행되기 전에 값 증가\n}\n \n

📖 9.2 비교 연산자를 오버로딩해서 객체들 사이의 관계를 쉽게 검사

\n

🔖 9.2.1 동등성 연산자: equals

\n\n\n class Point(val x: Int, val y: Int) {\n override fun equals(other: Any?): Boolean {\n if (other === this) return true\n if (other !is Point) return false\n return other.x == x && other.y == y\n }\n}\n \n\n

🔖 9.2.2 순서 연산자: compareTo (<, >, <=, >=)

\n\n class Person(val firstName: String, val lastName: String) : Comparable<Person> {\n override fun compareTo(other: Person): Int {\n return compareValuesBy(this, other, Person::lastName, Person::firstName)\n }\n}\n\nfun main() {\n val p1 = Person("Alice", "Smith")\n val p2 = Person("Bob", "Johnson")\n println(p1 < p2)\n}\n \n\n

📖 9.3 컬렉션과 범위에 대해 쓸 수 있는 관례

\n

🔖 9.3.1 인덱스로 원소 접근: get과 set

\n\n operator fun Point.get(index: Int): Int {\n return when (index) {\n 0 -> x\n 1 -> y\n else ->\n throw IndexOutOfBoundsException("Invalid coordinate $index")\n }\n}\n\nfun main() {\n val p = Point(10, 20)\n println(p[1])\n}\n \n\n\n data class MutablePoint(var x: Int, var y: Int)\n\noperator fun MutablePoint.set(index: Int, value: Int) {\n when (index) {\n 0 -> x = value\n 1 -> y = value\n else ->\n throw IndexOutOfBoundsException("Invalid coordinate $index")\n }\n}\n\nfun main() {\n val p = MutablePoint(10, 20)\n p[1] = 42\n println(p)\n}\n \n\n

🔖 9.3.2 어떤 객체가 컬렉션에 들어있는지 검사: in 관레

\n\n data class Rectangle(val upperLeft: Point, val lowerRight: Point)\n\noperator fun Rectangle.contains(p: Point): Boolean {\n return p.x in upperLeft.x..<lowerRight.x &&\n p.y in upperLeft.y..<lowerRight.y // 열린 범위\n}\n\nfun main() {\n val rect = Rectangle(Point(10, 20), Point(50, 50))\n println(Point(20, 30) in rect)\n println(Point(5, 5) in rect)\n}\n \n\n

🔖 9.3.3 객체로부터 범위 만들기: rangeTo와 rangeUntil 관레

\n\n operator fun <T: Comparable<T>> T.rangeTo(other: T): ClosedRange<T>\n \n\n\n fun main() {\n val now = LocalDate.now()\n val vacation = now..now.plusDays(10)\n println(now.plusWeeks(1) in vacation)\n}\n \n\n\n fun main() {\n val n = 9\n (0..n).forEach { println(it) }\n}\n \n\n

🔖 9.3.4 자신의 타입에 대해 루프 수행: iterator 관례

\n\n operator fun CharSequence.iterator(): CharIterator\n \n\n\n operator fun ClosedRange<LocalDate>.iterator(): Iterator<LocalDate> =\n object : Iterator<LocalDate> {\n var current = start\n override fun hasNext(): Boolean =\n current <= endInclusive\n override fun next(): LocalDate {\n val thisDate = current\n current = current.plusDays(1)\n return thisDate\n }\n }\n\nfun main() {\n val newYear = LocalDate.ofYearDay(2042, 1)\n val daysOff = newYear.minusDays(1)..newYear\n for (dayOff in daysOff) {\n println(dayOff)\n }\n}\n \n\n

📖 9.4 component 함수를 사용해 구조 분해 선언 제공

\n\n fun main() {\n val p = Point(10, 20)\n val (x, y) = p\n println(x)\n println(y)\n}\n \n\n\n data class NameComponents(val name: String, val extension: String)\n\nfun splitFileName(fullName: String): NameComponents {\n val result = fullName.split('.', limit = 2)\n return NameComponents(result[0], result[1])\n}\n\nfun main() {\n val (name, ext) = splitFileName("example.kt")\n println(name)\n println(ext)\n}\n \n\n\n data class NameComponents(val name: String, val extension: String)\n\nfun splitFileName(fullName: String): NameComponents {\n val (name, extension) = fullName.split('.', limit = 2)\n return NameComponents(name, extension)\n}\n \n\n

🔖 9.4.1 구조 분해 선언과 루프

\n\n fun printEntries(map: Map<String, String>) {\n for ((key, value) in map) {\n println("$key -> $value")\n }\n}\n\nfun main() {\n val map = mapOf("Oracle" to "Java", "JetBrains" to "Kotlin")\n printEntries(map)\n}\n \n\n\n map.forEach { (key, value) -> println("$key -> $value") }\n \n\n

🔖 9.4.2 _ 문자를 사용해 구조 분해 값 무시

\n\n data class Person(val firstName: String, val lastName: String, val age: Int, val city: String)\n\nfun introducePerson(p: Person) {\n val (firstName, lastName, age, city) = p\n println("This is $firstName, aged $age.")\n}\n \n\n\n val (firstName, lastName, age) = p\n \n\n\n fun introducePerson(p: Person) {\n val (firstName, _, age) = p\n println("This is $firstName, aged $age.")\n}\n \n\n

📖 9.5 프로퍼티 접근자 로직 재활용: 위임 프로퍼티

\n

🔖 9.5.1 위임 프로퍼티의 기본 문법과 내부 동작

\n\n class Foo {\n var p = Type by Delegate()\n}\n \n\n\n class Foo {\n private val delegate = Delegate()\n \n var p: Type\n set(value: Type) = delegate.setValue(/**/, value)\n get() = delegate.getValue(/**/)\n}\n \n\n

🔖 9.5.2 위임 프로퍼티 사용: by lazy()를 사용한 지연 초기화

\n\n\n class Person(val name: String) {\n private var _emails: List<String>? = null\n\n val emails: List<String>\n get() {\n if (_emails == null) {\n _emails = loadEamils(this)\n }\n return _emails!!\n }\n}\n\n\nfun main() {\n val p = Person("Alice")\n p.emails\n}\n \n\n\n class Person(val name: String) {\n val emails by lazy { loadEmails(this) }\n}\n \n\n

🔖 9.5.3 위임 프로퍼티 구현

\n\n fun interface Observer {\n fun onChange(name: String, oldValue: Any?, newValue: Any?)\n}\n\nopen class Observable {\n val observers = mutableListOf<Observer>()\n fun notifyObservers(propName: String, oldValue: Any?, newValue: Any?) {\n for (obs in observers) {\n obs.onChange(propName, oldValue, newValue)\n }\n }\n}\n\nclass Person(val name: String, age: Int, salary: Int) : Observable() {\n var age: Int = age\n set(newValue) {\n val oldValue = field\n field = newValue\n notifyObservers("age", oldValue, newValue)\n }\n var salary: Int = salary\n set(newValue) {\n val oldValue = field\n field = newValue\n notifyObservers("salary", oldValue, newValue)\n }\n}\n \n\n\n class ObservableProperty(val propName: String, var propValue: Int, val observable: Observable) {\n fun getValue(): Int = propValue\n fun setValue(newValue: Int) {\n val oldValue = propValue\n propValue = newValue\n observable.notifyObservers(propName, oldValue, newValue)\n }\n}\n\nclass Person(val name: String, age: Int, salary: Int) : Observable() {\n val _age = ObservableProperty("age", age, this)\n var age: Int\n get() = _age.getValue()\n set(value) {\n _age.setValue(value)\n }\n val _salary = ObservableProperty("salary", salary, this)\n var salary: Int\n get() = _salary.getValue()\n set(value) {\n _salary.setValue(value)\n }\n}\n \n\n\n class ObservableProperty(var propValue: Int, val observable: Observable) {\n operator fun getValue(thisRef: Any?, prop: KProperty<*>): Int = propValue\n operator fun setValue(thisRef: Any?, prop: KProperty<*>, newValue: Int) {\n val oldValue = propValue\n propValue = newValue\n observable.notifyObservers(prop.name, oldValue, newValue)\n }\n}\n \n\n\n class Person(val name: String, age: Int, salary: Int) : Observable() {\n val age by ObservableProperty(age, this)\n var salary by ObservableProperty(salary, this)\n}\n \n\n

🔖 9.5.4 위임 프로퍼티는 커스텀 접근자가 있는 감춰진 프로퍼티로 변환된다

\n\n class C {\n private val <delegate> = MyDelegate()\n \n var prop: Type\n get() = <delegate>.getValue(this, <property>)\n set(value: Type) = <delegate>.setValue(this, <property>, value)\n}\n \n\n

🔖 9.5.5 맵에 위임해서 동적으로 애트리뷰트 접근

\n\n class Person {\n private val _attributes = mutableMapOf<String, String>()\n\n fun setAttribute(attrName: String, value: String) {\n _attributes[attrName] = value\n }\n\n var name: String\n get() = _attributes["name"]!!\n set(value) {\n _attributes["name"] = value\n }\n}\n \n\n\n class Person {\n private val _attributes = mutableMapOf<String, String>()\n\n fun setAttribute(attrName: String, value: String) {\n _attributes[attrName] = value\n }\n\n var name: String by _attributes\n}\n \n\n

🔖 9.5.6 실전 프레임워크가 위임 프로퍼티를 활용하는 방법

\n","excerpt":"코틀린은 어떤 언어 기능과 미리 정해진 이름의 함수를 연결해주는 기법인 관례에 의존한다. 📖 9.1 산술 연산자를 오버로드해서 임의의 클래스에 대한 연산을 더 편리하게 만들기 🔖 9.1.1 plus, times, divide 등: 이항 산술 연산 오버로딩 plus 함수 앞에 operator 키워드를 붙여야 한다. 연산자를 확장 함수로 정의할 수도 있다. 표현식 함수 이름 a + b plus a - b minus a * b times a / b div a % b mod…","fields":{"slug":"/backend/kotlin-in-action/9장-연산자_오버로딩과_다른_관례/"},"frontmatter":{"title":"Kotlin in Action - 9장 연산자 오버로딩과 다른 관례","thumbnail":{"childImageSharp":{"fluid":{"src":"/static/f7f7ddfa31d1614405dc5af1487b9ec4/9c94d/kotlin-in-action.png"}}},"draft":false,"category":"Back-End","tags":["Kotlin"],"date":"April 27, 2025"}},"previous":{"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"}},"node":{"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"}}}},"staticQueryHashes":["2374173507","2996537568","3691437124"]}