[java] 최종 정의가 잘못 되었습니까?

매우 흥미로운 발견. 이를 이해하려면 JLS (Java Language Specification)를 파헤쳐 야합니다 .

그 이유는 final하나의 할당 만 허용하기 때문입니다 . 그러나 기본값은 할당 이 없습니다 . 실제로 이러한 모든 변수 (클래스 변수, 인스턴스 변수, 배열 구성 요소)는 지정 전에 처음부터 기본값을 가리 킵니다 . 그런 다음 첫 번째 과제는 참조를 변경합니다.

클래스 변수 및 기본값

다음 예를 살펴보십시오.

private static Object x;

public static void main(String[] args) {
    System.out.println(x); // Prints 'null'
}

우리는 명시 적으로 값을 할당하지 않았다 x가 가리키는 불구하고 null, 그것의 기본 값입니다. §4.12.5와 비교하십시오 .

변수의 초기 값

각 클래스 변수 , 인스턴스 변수 또는 배열 구성 요소 는 작성 될 때 기본값으로 초기화됩니다 ( §15.9 , §15.10.2 )

이것은 예제와 같이 이러한 종류의 변수에만 해당됩니다. 로컬 변수를 보유하지 않습니다. 다음 예를 참조하십시오.

public static void main(String[] args) {
    Object x;
    System.out.println(x);
    // Compile-time error:
    // variable x might not have been initialized
}

동일한 JLS 단락에서 :

지역 변수 ( §14.4는 , §14.14 )해야 명시 적으로 값을 주어 그것을 사용하기 전에 중 하나를 초기화 (에 의해, §14.4 ) 또는 할당 ( §15.26 명확한 할당 규칙을 (사용하여 검증 할 수있는 방법으로,) § 16 (확정 할당 ).

최종 변수

이제 우리 final는 §4.12.4에서을 살펴 봅니다 .

최종 변수

변수는 final 로 선언 될 수 있습니다 . 최종 변수는 할 수있다 한 번에 할당 . 할당 직전에 변수를 할당하지 않으면 최종 변수를 할당 하면 컴파일 타임 오류가 발생 합니다 ( §16 (고정 할당) ).

설명

이제 예제로 돌아와 약간 수정했습니다.

public static void main(String[] args) {
    System.out.println("After: " + X);
}

private static final long X = assign();

private static long assign() {
    // Access the value before first assignment
    System.out.println("Before: " + X);

    return X + 1;
}

출력

Before: 0
After: 1

우리가 배운 것을 기억하십시오. 메소드 내 assign에서 변수 X에 아직 값이 지정 되지 않았습니다. 따라서 클래스 변수 이기 때문에 기본값을 가리키며 JLS에 따르면 해당 변수는 항상 로컬 변수와 달리 항상 기본값을 가리 킵니다. 애프터 assign방법 변수는 X값을 할당 1및 때문에 final우리는 더 이상 변경할 수 없습니다. 따라서 다음으로 인해 작동하지 않습니다 final.

private static long assign() {
    // Assign X
    X = 1;

    // Second assign after method will crash
    return X + 1;
}

JLS의 예

@Andrew 덕분 에이 시나리오를 정확하게 설명하는 JLS 단락을 찾았습니다.

하지만 먼저 살펴 보겠습니다

private static final long X = X + 1;
// Compile-time error:
// self-reference in initializer

이 방법이 허용되지 않는 이유는 무엇입니까? §8.3.3을 살펴보십시오.필드가 아직 초기화되지 않은 경우 필드에 대한 액세스가 제한되는시기에 대해 하는 을 .

클래스 변수와 관련된 몇 가지 규칙이 나열되어 있습니다.

fclass 또는 interface에 선언 된 클래스 변수에 대한 간단한 이름으로 참조 C할 경우 다음과 같은 경우 컴파일 타임 오류입니다 .

• 참조는 클래스 변수 이니셜 라이저 C또는 정적 이니셜 라이저 C( §8.7 )에 나타납니다 . 과

• 참조는 f자체 선언자 의 이니셜 라이저 또는 선언자의 왼쪽에 나타납니다 f. 과

• 참조는 할당 표현의 왼쪽에 있지 않습니다 ( §15.26 ). 과

• 참조를 포함하는 가장 안쪽 클래스 또는 인터페이스는 C입니다.

그것은 간단 X = X + 1합니다. 그 규칙에 의해 잡히고 메소드 접근은 아닙니다. 심지어이 시나리오를 나열하고 예를 제공합니다.

메소드 별 액세스는이 방법으로 확인되지 않으므로 다음과 같이하십시오.

class Z {
    static int peek() { return j; }
    static int i = peek();
    static int j = 1;
}
class Test {
    public static void main(String[] args) {
        System.out.println(Z.i);
    }
}

출력을 생성합니다.

0

변수 초기화 i프로그램은 클래스 메소드 peek을 사용하여 변수 초기화 프로그램에 의해 초기화 j되기 전에 변수 값에 액세스 하기 j때문에 여전히 기본값을 갖습니다 ( §4.12.5 ).

답변

private static final long X = scale(10);

String x = y;
String y = "a"; // this will not compile 


String x = getIt(); // this will compile, but will be null
String y = "a";

public String getIt(){
    return y;
}

private static final long X = scale(10) + 3;

public class Demo1 {
    private static final long DemoLong1 = 1000;
}

public class Demo2 {
    private static final long DemoLong2;

    static {
        DemoLong2 = 1000;
    }
}

public class RecursiveStatic {
    private static final long X;

    private static long scale(long value) {
        return X * value;
    }

    static {
        X = scale(10);
    }

    public static void main(String[] args) {
        System.out.println(scale(5));
    }
}