[java] Java에서 지역 변수가 초기화되지 않는 이유는 무엇입니까?

링크 한 “문제” 가이 상황을 설명하는 것 같습니다.

SomeObject so;
try {
  // Do some work here ...
  so = new SomeObject();
  so.DoUsefulThings();
} finally {
  so.CleanUp(); // Compiler error here
}

댓글 작성자의 불만은 컴파일러가 finally섹션 의 줄에서 so초기화되지 않았을 수 있다고 주장하면서 멍청하다는 것입니다. 주석은 다음과 같이 코드를 작성하는 다른 방법을 언급합니다.

// Do some work here ...
SomeObject so = new SomeObject();
try {
  so.DoUsefulThings();
} finally {
  so.CleanUp();
}

댓글 작성자는 컴파일러가 코드가 “시도 내에 있어야합니다”라고 말하기 때문에 해당 솔루션에 만족하지 않습니다. 이는 일부 코드가 더 이상 처리되지 않는 예외를 발생시킬 수 있음을 의미합니다. 잘 모르겠습니다. 내 코드의 두 버전 모두 예외를 처리하지 않으므로 첫 번째 버전에서 예외와 관련된 모든 것이 두 번째 버전에서 동일하게 작동해야합니다.

어쨌든,이 두 번째 버전의 코드는 그것을 작성 하는 올바른 방법입니다. 첫 번째 버전에서는 컴파일러의 오류 메시지가 정확했습니다. so변수는 초기화되지 않은 될 수 있습니다. 특히 SomeObject생성자가 실패하면 so초기화되지 않으므로을 호출하려고하면 오류가 발생합니다 so.CleanUp. 섹션이 마무리 하는 리소스를 획득 한 후에 는 항상 try섹션에 들어가십시오 .finally

try– finally애프터 블록 so초기화가 만 입력 금지에 SomeObject상관없이 다른 일이 무엇인지는 청소 도착하지 않습니다하는 예입니다. 이 경우 다른 필요가 실행할 수있는 것들,하지만 그들은하지 여부와 관련된 SomeObject인스턴스 속성이 할당 된 후, 그들은에 가야 다른 try – finally아마, 블록 내가 보여준 하나의 랩을.

사용하기 전에 수동으로 변수를 할당하도록 요구하는 것은 실제 문제로 이어지지 않습니다. 그것은 사소한 번거 로움으로 이어지지 만 코드가 더 좋을 것입니다. 당신은 더 제한 범위에 변수가 있고,거야 try– finally너무 많이 보호하기 위해 노력하지 않는 블록을.

지역 변수에 기본값이 so있는 경우 첫 번째 예에서는 null. 그것은 실제로 아무것도 해결하지 못했을 것입니다. 대신에 컴파일 타임 오류를 얻는 finally블록, 당신은이 것 NullPointerException이 숨어 그 힘의 숨기기 다른 예외 코드의 “여기에 몇 가지 작업을 수행”절에서 발생할 수있는 무엇을. (또는 finally섹션의 예외가 이전 예외에 자동으로 연결됩니까? 기억 나지 않습니다. 그렇더라도 실제 예외와는 다른 예외가있을 것입니다.)

답변

SomeObject so;
try {
  // Do some work here ...
  so = new SomeObject();
  so.DoUsefulThings();
} finally {
  so.CleanUp(); // Compiler error here
}

SomeObject so = null;
try {
  // Do some work here ...
  so = new SomeObject();
  so.DoUsefulThings();
} finally {
  if (so != null) {
     so.CleanUp(); // safe
  }
}