람다식 로컬 변수 - Effectively Final

Effectively Final

Java8에서 final이 붙지 않은 변수의 값이 변경되지 않는다면, 그 변수를 Effectively final이라고 합니다.

람다에서는 사용할 수 있는 로컬 변수는 Effectively Final만 사용이 가능하다.

 

 

public class EffectivelyFinal {
    public static void main(String[] args) {
        new Pint().go();
    }
}
class Pint {
    void go() {
        int baseAnInt = 111;
        Function<Integer, Integer> function = (num) -> num + baseAnInt;
        System.out.println(baseAnInt+"baseAnInt");
        System.out.println(function.apply(10)+"function");
    }
}

 

 

위에 코드를 보면 baseAnInt는 Effectively Final이다.

자바에서는 프로그램이 값이 변경하지 않는 수를 final로 추측을 할 수 있다.

여기서 람다에서 중요한 부분은 람다식에서 참조하는 로컬 변수의 값은 변경을 할 수 없다.

이 부분은 스코프의 내용을 이해하면 더 이해하기 쉽다. ==> 이 부분은 뒤에서 더 설명

현재 간단하게 설명을 하면 GO()메소드의 스코프와 람다의 스코프가 같다. 같은 스코프에서 동일한 변수를 지정할 수 없고 이러한 부분을 밑에 코드를 보면 알 수 있다.

 

스코프란
먼저 스코프란 변수를 사용할 수 있는 범위

baseAnInt를 선언하고 람다식에서 사용하니 이미 스코프에서 정의가 되어져 있다고 나온다.

이것을 통해서 람다는 go메소드랑 동일한 스코프를 가지고 있다고 이해할 수 있다.

 

 

람다? Effectively Final?

람다식에서 사용되는 변수는 해당 변수를 의미하는 것이 아닌 복사본이다.

근본적인 이유는 생명 주기가 다르기 때문이다.

 

1. 로컬 변수를 생각을 해보면 메소드가 실행이 되고 끝나면 생명주기는 끝이 난다.

하지만 람다는 고차 함수여서 람다 자체를 인자로 받고 리턴을 할 수 있기 때문에 람다의 생명주기는 여전히 실행을 하고 있을 수 있다.

즉. 로컬 변수의 생명 주기가 끝나도 람다는 로컬 변수의 값을 복사하여 가지고 있어야 한다.

https://incheol-jung.gitbook.io/docs/study/kotlin-in-action/8

8장 고차 함수: 파라미터와 반환 값으로 람다 사용 - Incheol's TECH BLOG

 

 

2. 로컬 변수와 람다의 Thread를 이해하자

• 로컬 변수
  • JVM에서 Stack에 저장이 된다.
  • Stack에 따른 Thread가 배정이 되고 Thread 종료는 로컬 변수의 끝을 의미한다

 

 

• 람다의 쓰레드
  • 람다는 별도의 Thread를 가진다.
  • 만약에 Stack에 직접 접근이 가능하여 참조하고 있다고 한다면 이것은 멀티 쓰레드에 위험
  • 람다가 참조한 변수의 생명 주기는 람다가 있으면 보장이 된다.

 

스코프

https://wakestand.tistory.com/179

자바 변수의 스코프가 뭔말?

기본적인 스코프의 내용은 링크를 통해서 확인이 가능하다.

 

이 페이지에서 설명하는 스코프는 람다에서 람다 , 로컬 클래스 , 익명 클래스에 대한 스코프를 비교하고

람다에 대한 특징을 알아보기 위해 작성을 하고 있다.

 

class Pint {
    private int baseAnInt = 111;

    class LocalClass{
        int baseAnInt = 1;
        void localClass(){
            System.out.println(baseAnInt);//1
        }
    }

    Consumer<Integer>consumer = new Consumer<Integer>() {
        int baseAnInt=2;
        @Override
        public void accept(Integer integer) {
            System.out.println(baseAnInt);//2
        }
    };

    void go() {
        Function<Integer, Integer> function = (baseAnInt) -> baseAnInt + baseAnInt;//111
    }
}

 

로컬 클래스와 , 익명 클래스는 각각 baseAnInt의 값을 변경을 할 수 있지만 람다식은 변경이 불가능 하다.

이것을 통해 위에 2개와 람다식은 서로 다른 스코프를 통해 동작을 한다는 것을 알 수 있다.

 

이것에 대한 자세한 내용은 밑에 블로그를 참고

https://tjdtls690.github.io/studycontents/java/2022-10-24-lambda_anonymous_local_class_difference/

[자바, Java] 람다 (Lambda) - 쉐도잉 (Shadowing)