[📛 Error] Variable used in lambda expression should be final or effectively final 에러

자바에서 stream()을 사용해 orderProductOption에 있는 orderProduct를 설정해주는 과정에서

"Variable used in lambda expression should be final or effectively final" 에러를 나타내며 orderProduct에 빨간 밑줄이 그어졌다.

람다 표현식 내에서 사용되는 변수가 final 또는 effectively final이 아니기 때문에 발생하는 것으로 보인다.

 

👀 effectively final : 변수가 실제로 'final' 로 선언되어 있지 않더라도 람다 표현식 내에서 해당 변수의 값이 변경되지 않는 경우이다.

int x = 10;
Consumer<Integer> consumer = (value) -> {
    // x = x + 5; // 컴파일 에러: Effectively final 변수를 변경하려고 함
    System.out.println(value);
};

consumer.accept(x);

위의 코드에서 x 변수는 초기값으로 10이 할당되었고 나중에 변경되지 않았으므로 effectively final 이다. (사용한 이후에 변경되어도 안됨 !)

effectively final을 통해 코드를 간결하게 유지하면서도 예측 가능하고 안정적인 동작을 보장한다.

 

👀 에러 파악하기

람다 표현식은 외부 범위의 변수에 접근할 수 있지만 이 변수는 final처럼 변경되지 않아야 한다.

그 이유는 "코드 예측성 및 안정성",  "스레드 안정성", "람다 캡쳐링" 과 연관되어있다. 

 

👉 스레드 안정성이란 ? 

여러 스레드에서 동시에 실행되는 경우, 람다 표현식 내부에서 변경 가능한 변수를 공유하면 복잡한 동기화 문제를 초래한다. 여러 스레드 간에 이 변수 값을 예측하기 어렵고 수정이 언제 일어날지 알 수 없게 되므로 final로 지정해야 한다.  

 

👉 람다 캡쳐링이란 ? 

멤버 변수는 힙에, 지역 변수는 스택에 저장된다.

스택 영역은 힙 영역과 달리 스레드끼리 공유되지 않는 영역이므로 외부 스레드에서 접근이 불가능하다. 람다 표현식은 외부 범위의 변수에 접근 가능하므로 스택 영역에 있는 변수를 사용할 수 있도록 지역 변수의 복사본을 제공해 람다 표현식에서 접근 가능하게 만들어 준다.>

이것이 Lambda Capturing 이다 !

 

👉 원본 값이 바뀌면 복사본에 있는 값과의 동기화가 보장되지 않으므로 동시성 이슈가 발생하게 된다. 그러므로 지역 변수를 final로 설정해야한다.

 

---

 

👩‍🔧 에러 해결 방법

해결방법은 간단하다.

람다식을 사용하기 전에 finalOrderProduct 변수를 새로 생성하고 이 변수 값에 기존에 사용하려던 orderProduct 값을 할당한 후 finalOrderProduct로 setOrderProduct 함수의 매개변수로 넣어주면 된다.

 

 

참고

https://www.baeldung.com/java-lambda-effectively-final-local-variables

https://bcp0109.tistory.com/319