[Java] Lamda Function

안녕하세요? 주니하랑입니다!

오늘은 JDK 1.8부터 지원이 되는 Lamda에 대해 공부 해 보도록 할 것이에요!

Spring Boot로 Web Project를 하고 있는데, Lamda와 Optional이 사용되기에 공부를 해 보는 것입니다.

 

이것을 설명하기에 앞 써 우리는 함수형 언어에 대해서 알 필요가 있는 것이에요.

자바는 우리가 알 듯 OOP언어(객체 지향 언어)인데, JDK 1.8 부터 함수형 언어에 기능을 추가한 것이에요.

사실 함수형 언어 기능을 가졌다라고 하기에는 약하고, 그 기능을 포함했다라고 보는 것이 맞습니다!

 

파이썬, JavaScript 역시 OOP이지만, 함수형 언어 기능을 가지고 있답니다!

 

그럼 시작 해 보도록 하겠습니다!

---

 

📌 람다식(Lambda Expression)

---

     📍 함수(Method)를 간단한 '식(Expression)'으로 표현하는 방법

int max ( int a, int b ) {
	return a > b ? a : b;
}

 

예를 들어 위와 같은 식이 있을 때, 이것을 간단하게 표현하게 되면 어떻게 할 수 있을까요?

 

(a, b) -> a > b ? a : b

위와 같이 표현을 할 수 있는데, 이렇게 표기하는 방법이 Labda식 이라는 것이에요.

 

 

     📍 익명 함수(이름이 없는 함수, Anonymous Function)

👉 이름이 있는 함수는?

int max ( int a, int b ) {	// 'max'라는 이름 존재
	return a > b ? a : b;
}

 

👉 이름이 없는 함수는?

(int a, int b) -> {		// 반환 자료형 타입과 이름이 생략
	return a > b ? a : b;
}

 

즉, 람다식으로 변경할 때 방법은 먼저 반환 자료형 타입과 이름을 없앱니다. 그런 뒤 매개변수와 중괄호사이에 '->' 이런 표시를 넣어주면 된답니다!

 

이렇게 이름이 사라지기 때문에 익명함수라고 부르는 것이에요.

 

     📍 함수(Function)와 Method(메서드)의 차이

👉 근본적으로는 동일하나, 함수는 일반적 용어이고, 메서드는 객체 지향 개념 용어인 것이에요.

👉 함수는 Class에 독립적이나, 메서드는 Class에 종속적이랍니다.

     즉, 메서드는 무조건 Class안에 있어야 하는 것이에요.

 

 

     📍 람다식 작성하기

👉 메서드의 이름과 반환 자료형 타입을 제거하고, ' -> '를 중괄호 '{}' 앞에 추가

👉 반환값이 있는 경우, 식이나 값만 적고, return문 생략 ( 끝에 ' ; ' 생략)

💬 생략 하기 전

(int a, b) -> {
	return a > b ? a : b
}

 

💬 생략 결과

(int a, int b) -> a > b ? a : b

 

👉 매개변수의 타입이 추론 가능하면 생략가능 (대부분 생략 가능)

💬 생략 하기 전

(int a, int b) -> a > b ? a : b

 

💬 생략 결과

(a, b) -> a > b ? a : b

 

 

 

     📍 람다식 작성하기 - 주의사항

👉 매개변수가 하나인 경우, 소괄호 ' () ' 생략 가능 (자료형 타입이 없을 때만!)

💬 생략 하기 전

(a) - > a * a
(int a) -> a * a

 

💬 생략 결과

a -> a * a 	// 정상

int a -> a * a 	// Error (자료형 타입이 있을 경우 소괄호 생략 불가)

 

👉 블록 안의 문장이 하나일 때는 중괄호 ' {} ' 생략 가능 ( 끝에 ' ; ' 생략)

💬 생략 하기 전

(int i) -> {
	System.out.println(i);
}

 

💬 생략 결과

(int i) -> System.out.println(i)

 

 

👉 하나뿐인 문장이 return문이라면 중괄호 ' {} ' 생략 불가

(int a, int b) -> {
	return a > b ? a : b;
}

// 위의 내용을 아래처럼 생략할 수 없다.

(int a, int b) -> return a > b ? a : b		// Error

 

 

     📍 람다식의 예

Method	Lamda

 

 

 

     📍 자바에서의 람다식은 익명 함수가 아닌 익명 객체이다!

👉 자바에서의 람다식은 익명 함수가 아니라 익명 객체.

     왜냐하면 자바에서는 Method가 Class 밖에 존재할 수 없기 때문이에요.

(a, b) -> a > b ? a : b

// 위의 코드는 아래와 같다.

new Object() {
	int max(int a, int b) {
    return a > b ? a : b;
}

위의 코드는 익명 Class의 익명 객체인 것이에요. 이것은 객체의 선언과 생성을 동시에 하는 것입니다.

따라서 람다식은 객체인 것이에요.

 

👉 람다식 (익명 객체)을 다루기 위한 참조 변수가 필요. 참조 변수의 타입은?

Object obj = new Object() {
	int max ( int a, int b ) {
    return a > b ? a : b;
    }
};


// 위의 코드를 람다식으로 변환하면?

Type obj = (a, b) -> a > b ? a : b;		// 이것은 어떤 자료형 타입?

(a, b) -> a > b ? a : b; 

이것은 객체인 것이에요.

그렇다면 참조 변수 obj의 자료형 타입을 무엇으로 해야 될까요? Object로 한다면 Error가 나게 될 것이에요.

int value = obj.max(3, 5);		// Error

왜? 위의 코드는 Error가 나게 되는 것일까요? 그것은 바로 Object Class에는 max라는 Method가 없기 때문인 것이에요.

obj라는 객체는 max라는 Method를 가지고 있지만, Method를 사용할 수는 없는 것이에요.

그 이유는 Object라는 회사(리모컨)에는 max라는 팀(버튼)이 없기 때문인 것이에요.

따라서 객체가 max를 가지고 있어도 호출을 할 수 없는 것이에요.

 

📝 예제 코드

class lamda_ex {
	public static void main (Stringp[] args) {
 	
//    Object obj = (a, b) -> a > b ? a : b		// 람다식 작성 (익명 객체)
// 위와 같이 하면 함수형으로 다루지 않는다고 Error 발생
// 결국 위와 아래 코드는 같다.

	  Object obj = new Object() {
    	int max ( int a, int b ) {
        return a > b ? a : b;
        }
      };
    
//    int value = obj.max(3, 5);					// Error (Object에는 max를 갖고 있지 않다)
// 위와 같을 때 형변환을 해줘야 하는데, 이런 경우 형변환을 할 수 없다.  

}

 

 

 

---

주니하랑의 글이 마음에 드셨나요? 구독과 공감! 그리고, 댓글은 주니하랑에게 많은 힘이 됩니다!