[Java] 31. final

추상이 상속을 강제하는 것이라면 final은 상속/변경을 금지하는 규제다. 이 정도로 final의 용도를 기억해두고 코드를 보자.

1. final 필드

필드와 변수는 같은 의미라는 것 기억할 것이다. 실행되는 과정에서 한 번 값이 정해진 이후에는 변수 내의 값이 바뀌지 않도록하는 규제다.

class Calculator {
    static final double PI = 3.14; // final 선언
    int left, right;
 
    public void setOprands(int left, int right) {
        this.left = left;
        this.right = right;
        // Calculator.PI = 6;
    }
 
    public void sum() {
        System.out.println(this.left + this.right);
    }
 
    public void avg() {
        System.out.println((this.left + this.right) / 2);
    }
}
 
public class CalculatorDemo {
    public static void main(String[] args) {
        Calculator c1 = new Calculator();
        System.out.println(c1.PI);
        // Calculator.PI = 10;
    }
}

위의 코드에서 주목할 점은 변수 앞에 final이 붙어있다는 점이다. Calculator.PI를 통해서 클래스 변수 PI의 값을 변경하려고 하고 있지만, 자바는 이것을 허용하지 않는다. final로 지정된 변수에는 한번 값이 할당되면 그 값을 바꿀 수 없기 때문이다.

상수가 변하지 않는 값이라고 배운 기억이 날 것이다. 그리고 위의 PI 예제는 변하지 않을 값이다. 이런 값은 변수 앞에 final을 붙여서 이 값이 변경되는 것을 규제할 수 있다. 이러한 특징은 클래스 변수의 예를 들었지만 인스턴스 변수에도 적용된다.

---

2. final 메소드

final 메소드는 final 변수 만큼 사용 빈도가 높지는 않다. 아래의 코드는 final 메소드 b를 오버라이딩하기 때문에 오류가 발생한다. final 메소드를 상속해서 사용은 가능하다. 변수도 동일하다.

class A{
    final void b() {}
}

class B extends A{
    void b() {}
}

---

3. final 클래스

아래 코드는 final 클래스를 상속하려하고 있다. 따라서 오류가 발생한다.

final class C {
    final void b() {}
}

class D extends C {}