[Kotlin][함수형 프로그래밍] 멤버 참조

출처

Kotlin In Action

https://antonioleiva.com/function-references-kotlin/

Function references in Kotlin: use functions as lambdas everywhere

https://inpa.tistory.com/entry/JAVA8-%E2%98%95-%EB%9E%8C%EB%8B%A4%EC%8B%9D%EC%9D%84-%EB%8D%94-%EC%A7%A7%EA%B2%8C-%EB%A9%94%EC%86%8C%EB%93%9C-%EC%B0%B8%EC%A1%B0Method-Reference

☕ 람다식을 더 짧게 - 메소드::참조 문법

https://kotlinlang.org/docs/reflection.html#bound-function-and-property-references

Reflection | Kotlin

 

 

 

---

멤버 참조

속성이나 메서드를 참조하는 방식이다. ::(이중 콜론)을 사용한다.

프로퍼티나 메서드를 호출하는 함수 값을 만들어준다. 람다와 서로 대체할 수 있기 때문에, 함수를 람다로 만들어준다라고 설명하기도 한다.

 

장점 - 왜 쓰는가 -> 함수형 프로그래밍에 적합하다

1. 코드 간결성

람다를 대체해서 쓸 수 있어서, 멤버 참조가 람다를 더 짧게 만들어준다고 표현하기도 한다.

짧다고 가독성이 다 좋아지는 것은 아니다. 때로는 람다가 개발자가 보기에 코드를 이해하기 더 쉬운 경우도 있다. 

2. 재사용성

기존의 메서드나 속성을 전달하는 것이기에 재사용성이 좋다. 함수를 인자나 결과로 반환할 수 있게 재사용이 가능하다.

3. 순수성 유지

멤버 참조는 객체의 상태를 변경시키지 않는다. 함수형 프로그래밍에서 중요한 순수함수를 구현하는 유용하다.

🤔 순수 함수란 : 동일한 입력에 대해 항상 동일한 출력을 반환하고, 외부 상태에 영향을 미치지 않는 함수

 

멤버 참조 문법

{클래스}::{멤버}

 

예시

Person::age

run(::salute)
//salute()는 최상위 함수이다.

 

멤버 참조와 람다는 같다?

에타 변환으로 인해 멤버 참조와 람다는 동일하다고 볼 수 있다. 멤버 참조와 람다는 서로 대체될 수 있다.

• 관련 글 -> [함수형 프로그래밍] 에타 변환 eta conversion

람다 표현식

val printNameLambda: (Person) -> Unit = { person -> println(person.name) }

 

멤버 참조

val printNameReference: (Person) -> Unit = Person::name

 

바운드 멤버 참조

이미 존재하는 인스턴스(객체)의 속성이나 메소드를 참조하는 것.

다시 말하자면 특정 객체에 바인딩된 속성이나 메소드를 참조하는 것. 여기서 바인딩한다는 의미는 특정 객체와 그 객체의 멤버 함수나 속성을 연결하는 것을 뜻한다.

바운드 멤버 참조를 사용하면 멤버 참조 시에 따로 객체를 지정할 필요가 없다.

 

예시

val alice = Person("Alice")
val greetAlice = alice::greet
greetAlice("Hello") // "Alice, Hello!" 출력

 

여기서 alice::greet는 alice 객체의 greet 메서드를 참조하는 바운드 멤버 참조이다.

이를 통해 greetAlice는 alice 객체의 메서드를 호출하게 된다.