[3.3.2] 로컬 클래스로 StatementStrategy 전략 클래스 정의 시 외부 변수 사용

[hj-k66]

p228에서 내부 클래스에서 외부의 변수를 사용할 때는 외부 변수는 반드시 final로 선언해줘야 한다고 합니다. jdk 1.8부터는 자동으로 인스턴스 변수에 final을 붙여 주기 때문에 생략할 수 있다는데, 왜 반드시 final로 선언해줘야하는지 궁금합니다.

  public void add(User user) throws SQLException {
        class AddStatement implements StatementStrategy {

            @Override
            public PreparedStatement makePreparedStatement(Connection c) throws SQLException {
                //2. SQL을 담은 Statement를 만든다.
                PreparedStatement ps = c.prepareStatement(
                        "insert into users(id,name,password) values(?,?,?)"
                );
                ps.setString(1, user.getId());
                ps.setString(2, user.getName());
                ps.setString(3, user.getPassword());

                return ps;

            }
        }

        StatementStrategy st = new AddStatement();
        jdbcContextWithStatementStrategy(st);
    }

[gmelon]

아래 링크에 관련 내용이 잘 정리되어 있어 첨부합니다. https://madplay.github.io/post/effectively-final-in-java

요약해보면,

• jdk 1.8 부터 final이 선언되지 않은 변수지만 값이 재할당되지 않아 사실상 final인 변수를 effective final 이라고 하며 final 처럼 익명 클래스 / 람다에서 참조할 수 있음
• 익명 클래스 / 람다에서 외부 (지역) 변수를 참조하면 값을 복사해서 저장해두고 사용한다
  • 왜?
  • 지역 변수는 Stack에 저장되고 익명 클래스 / 람다는 별도의 쓰레드에서 실행될 수 있다
  • 때문에, 익클 / 람다가 실행되기 전에 기존 쓰레드의 메서드가 종료되어 버리면 해당 지역 변수를 참조할 방법이 없어지기 때문
• 값을 복사해서 사용한다면, 값이 final 이어야 하는 이유는?
  • 지역 변수가 선언된 쓰레드와 익클/람다가 실행되는 쓰레드가 다를 수 있기 때문에 코드 위치 상 참조한 지역 변수의 값이 실제로 해당 시점에 딱 들어가리라고 보장할 수 없기 때문
  • e.g. 지역 변수를 참조하는 익클/람다 선언 후 지역 변수의 값을 변경해도 실제로는 변경된 값이 익클/람다에 들어갈 수 있음
• 지역 변수가 아닌 인스턴스 / 클래스 변수의 경우?
  • 인스턴스 / 클래스 변수는 Heap 영역에 저장되므로 지역 변수와 달리 다른 쓰레드에서도 참조가 가능하다
  • 따라서, 익클 / 람다에서 참조할 수 있고 final 제약도 없다