[java] 메소드 매개 변수 및 로컬 변수에 final을 언제 사용해야합니까?

finalJava를보다 표현 기반으로 만들기 위해 항상 사용 합니다. Java의 조건 ( if,else,switch)은 표현식 기반이 아니므로 특히 함수형 프로그래밍 (ML, Scala 또는 Lisp)에 익숙한 경우 항상 싫어했습니다.

따라서 조건을 사용할 때 항상 (IMHO) 최종 변수를 사용해야합니다.

예를 들어 보겠습니다.

    final String name;
    switch(pluginType) {
        case CANDIDATE_EXPORT:
            name = "Candidate Stuff";
            break;
        case JOB_POSTING_IMPORT:
            name = "Blah";
            break;
        default:
            throw new IllegalStateException();
    }

이제 다른 case명령문을 추가 하고 설정하지 않으면 name컴파일러가 실패합니다. 모든 경우에 변수를 설정하지 않으면 컴파일러가 실패합니다. 이를 통해 Java를 Lisp와 매우 유사하게 만들 수 있습니다.let 표현식과 하게 만들 수 있으며 (어휘 범위 변수 때문에) 코드가 크게 들여 쓰기되지 않도록합니다.

그리고 @Recurse가 지적했듯이 (그러나 분명히 -1 me) String name final컴파일러 오류를 얻지 않고 위의 작업을 수행 할 수는 있지만 (전혀 말할 수는 없었습니다) 스위치 후에 컴파일러 오류를 쉽게 설정할 수 있습니다. break을 사용하지 않고 표현 의미론을 버리거나 오류를 유발할 수없는 것을 잊어 버리는 문장 (@Recurse의 말에도 불구하고) final:

    String name;
    switch(pluginType) {
        case CANDIDATE_EXPORT:
            name = "Candidate Stuff";
            //break; whoops forgot break.. 
            //this will cause a compile error for final ;P @Recurse
        case JOB_POSTING_IMPORT:
            name = "Blah";
            break;
    }
    // code, code, code
    // Below is not possible with final
    name = "Whoops bug";

버그 설정 이름으로 인해 ( break다른 버그를 잊어 버리는 것 외에도 ) 우연히 이것을 할 수 있습니다.

    String name;
    switch(pluginType) {
        case CANDIDATE_EXPORT:
            name = "Candidate Stuff";
            break;
        //should have handled all the cases for pluginType
    }
    // code, code, code
    // Below is not possible with final
    name = "Whoops bug";

최종 변수는 어떤 이름이어야하는지에 대한 단일 평가를 강제합니다. 반환 값이있는 함수가 항상 예외를 무시하고 값을 반환해야하는 방식과 유사하게 이름 스위치 블록은 이름을 확인해야하므로 해당 스위치 블록에 바인딩되어 코드 덩어리를 쉽게 리팩토링 할 수 있습니다 (예 : Eclipe refactor : extract 메소드) .

위의 OCaml :

type plugin = CandidateExport | JobPostingImport

let p = CandidateExport

let name = match p with
    | CandidateExport -> "Candidate Stuff"
    | JobPostingImport -> "Blah" ;;

match ... with ...함수 즉, 표현과 같은 평가합니다. switch 문처럼 보이는지 확인하십시오.

다음은 스킴 (라켓 또는 치킨)의 예입니다.

(define name
    (match b
      ['CandidateExport "Candidate Stuff"]
      ['JobPostingImport "Blah"]))

답변

 public int processSomethingCritical( final int x, final int y ){
 // hundreds of lines here 
     // for loop here...
         int x2 = 0;
        x++; // bug aarrgg...
 // hundreds of lines there
 // if( x == 0 ) { ...

 }