Day15 - jeremy0405/Codesquad_CS GitHub Wiki

미션을 진행하면서 Function 클래스를 직접 설계하는데 전역변수의 값을 참조해야 하는 일이 생겼다. 따라서 순수함수를 만족하기 위해서 final 키워드를 선언하고 사용하면 되겠지라고 생각하고 전역변수를 final로 선언했더니 에러가 났었다. 에러를 해결하기 위해서 그냥 전역변수를 Function 클래스의 매개변수 (INPUT)으로 넣어서 해결했는데 노리와 BC가 페어프로그래밍을 하는 것을 구경하다가 이 둘의 코드에서도 나와 똑같이 이런 에러를 발생시킨 것을 보았다. 나는 당시 함수의 스코프때문에 에러가 나는 것 같다고 설명해주고 넘어갔었는데 준과 밀러가 이 부분에 대해 찾아봐주시고 정리를 해주셔서 이 부분에 대해서 나도 내 나름대로 정리를 해보려고 한다.

public class App {

	private final number;

	public App(int number) {
		this.number = number;
	}

	Predicate<Integer> lambda = (n) -> number % n == 0;

	public void foo() {
		Predicate<Integer> local = (n) -> number % n ==0;
	}
}

lambda에서는 number에 에러가 발생하고

local에서는 number에 에러가 발생하지 않는다.

나는 단순히 변수의 스코프가 local에서는 foo()메서드이기 때문에 local의 number는 항상 전역변수가 값이 할당된 이후에 사용되니까 에러가 발생하지 않는다고 생각했다.

그런데 lambda도 항상 number가 값이 할당된 이후에 사용된다. 하지만 컴파일 에러가 발생하는데 이는 함수의 스코프가 App Class이기 때문(lexical scope규칙을 갖음)이다. 이와 관련해 마스터즈 멤버 K가 남겨주신 링크

나는 여기까지만 생각하고 넘어갔었는데 밀러는 한 단계 더 고민했던 것 같다. (대단하다..)

밀러는 아래와 같이 익명클래스로 정의를 했을 시에 컴파일 에러가 발생하는지 확인했던 것 같다. 물론 에러는 발생하지 않는다. (anonymous의 test()의 함수의 스코프가 App Class 더 좁기 때문에 항상 초기화 된 이후에 사용이 되니까)

public class App {

	private final number;

	public App(int number) {
		this.number = number;
	}

	Predicate<Integer> anonymous = new Predicate<Integer>() {
		@Override
		public boolean test(Integer n) {
			return number % n == 0;
		}
	}

	Predicate<Integer> lambda = (n) -> number % n == 0;

	public void foo() {
		Predicate<Integer> local = (n) -> number % n ==0;
	}
}

이 주제에 대해 익명의 마스터즈 멤버가 남긴 정리 글