[Item 45] 람다에서 final 변수만 참조할 수 있는 이유, 지역 변수를 수정하는게 불가능한 이유

[gmelon]

다들 잘 아시겠지만 헷갈려서 가져와봤습니당

https://dev-jwblog.tistory.com/153#article-2--2--%EC%9C%84%EC%99%80-%EA%B0%99%EC%9D%80-%ED%8A%B9%EC%A7%95%EC%9D%B4-%EC%83%9D%EA%B8%B0%EB%8A%94-%EC%9D%B4%EC%9C%A0

요약

• 정확히는 지역 변수에 한해 final 만 참조가 가능
• 지역 변수는 HEAP/METHOD 영역에 생성되는 인스턴스/클래스 변수 등과 달리 Stack 영역에 생성되고 생명주기가 해당 변수가 선언된 block과 동일함.
• 이때, 람다는 인자로 전달되는 등 별도의 Thread로 실행 될 수 있다
  • 별도의 쓰레드에서 람다가 실행될 때 까지 Stack에 생성된 지역 변수 유효할 것이라는 보장이 없으므로 값을 복사해서 사용하도록 되어있음
• 그런데 람다에 복사된 값이 물리적으로 람다가 실행되기 직전 시점의 최신 지역 변수 값이라고 보장할 수 없다
  • 서로 다른 쓰레드 간의 지역 변수 싱크가 불가능하기 때문
  • 싱크가 맞지 않아 프로그램이 오작동 할 여지가 있음
  • 이 때문에 지역 변수는 변경되지 않는 final 만 참조가 가능하도록 제약을 두게 됨
• 위의 이유로 인스턴스/클래스 변수는 값이 변해도 람다 내에서 참조가 가능하다
• 꼭 값이 변화하는 지역 변수를 람다에서 참조하고 싶다면, 리스트로 감싸서 참조 변수로 만들면 가능
  • (이 경우 주소값은 지역변수지만 실제 객체는 Stack이 아닌 Heap에 저장됨)
• 지역 변수를 람다 내에서 변경하는게 불가능한 이유도 마찬가지로 람다 내에서 변경한 지역 변수 값이 외부(람다를 호출한 메서드)로 제대로 전달된다고 보장할 수 없기 때문에 제약을 둔 것 같다고 생각됨