자바 final을 사용하는 이유

Question

프로그래밍 시 불변성을 확보하기 위해 final 키워드를 사용한다고 배웠습니다.그런데 이게 머리로는 이해가 가는데... 어떤 변수에 final을 붙여야 하는 지 감이 잘 오지 않습니다.제가 짠 코드 안의 Buyer, Result 객체입니다.일단 final을 꼭 붙이는 게 좋다고 하여 final을 붙이긴 했습니다.제가 알고 있는 정의에 의하면 불변한 객체가 되었을텐데Buyer 클래스의 public 메소드들을 사용하여 필드 값을 수정할 수 있었습니다.불변성을 가지고 있다면 필드 값 수정도 되면 안되어야 하는 게 아닌가요..? 너무 어렵습니다.

Gibson USA · Accepted Answer

불변성의 개념은 잘 이해를 하고 있는데 final이 걸린 인스턴스의 필드를 왜 바꿀 수 있느냐가 헷갈리는 거 같에요.우선 final은 특정 대상을 처음 초기화한 이후에 다시 초기화할 수 없음을 뜻합니다.그 대상이 기본형이라면 새로운 값을 다시 대입할 수 없는 거고참조형이라 인스턴스를 갖을 수 있다면 새로운 인스턴스를 다시 대입할 수 없는 겁니다.그런데 주의할 점은 참조형에 final이 걸렸다고 해서 그 참조형이 바라보고 있는 인스턴스의 모든 필드에 대해 자동적으로 final이 걸어지는 게 아닙니다.Buyer에 내장된 필드들은 클래스 소스상에서 각 필드에 final을 안걸어줬으니까 public 메소드로 바꿀 수 있었던 거죠.덤으로 클래스의 파이널을 논할 때 먼저 클래스를 선언하면서 final을 붙이는 것인지그게 아니라 다른 클래스에서 예제처럼 멤버로 쓰며 붙이는 것인지 구분해서 다뤄야 혼선이 덜 할껍니다.1) 클래스의 선언시 파이널을 붙이면 (개조를 불허한다)다른 클래스가 그 클래스를 상속(extends, 확장)할 수 없게 됩니다, 상속이 불가하다는 의미는 오버라이딩(override)이 불가하다는 의미이고 이는 곧 클래스를 상속해 메소드들을 재정의(override) 할 수 없어요 와 뜻이 같습니다.예제로 예를 들면 현 상태에서 Buyer의 선언부에 final을 붙인 후 Buyer를 상속한 KoreanBuyer, AmericanBuyer 라는 클래스를 만들고 싶어서Class KoreanBuyer extends Buyer 라고 쓰면 컴파일러가 이를 허용하지 않습니다.Integer나 String 같은 것들처럼 상속과 메소드 오버라이딩을 할 수 없이 원본 그대로 가져다 쓰는 것만 가능한 클래스가 됩니다.2) 예제처럼 변수에게 final이 걸리면 (수정을 불허한다)한번 초기화된 이후에는 다시 새로운 무언가로 덮어쓸 수 없음을 의미하고 이건 본인이 이해하고 있는대로처음 초기화 시점에 대입된 인스턴스 X를 나중에 똑같은 타입의 인스턴스 Y로 바꿀 수 없고기본형이라면 처음에 초기화한 값 외에 다른 값으로 바꿀 수 없습니다.지금 단계에서는 final을 어떻게 시기적절하게 쓸 것인가는 저 두가지를 고려해보면 우선 해결이 될 거 같네요.

songline · Answer

변수에 붙은 final 키워드는 해당 변수에 입력된 값을 수정할 수 없도록 제한합니다. 여기서 입력된 값이라고 하는 것은 구체적인 값이나 저장된 참조주소 등을 의미하죠. 가령 적어주신 경우에서는 변수에 new Buyer() 로 생성한 객체의 참조를 저장한 것입니다.하지만 저장된 값은 해당 객체로 접근할 수 있는 참조일 뿐, 그 객체 전체에 대한 정보를 가진 것이 아니기 때문에 변수에 final 키워드를 붙였다고 해서 객체로 접근해서 내용물을 수정하는 것을 막을 수는 없습니다.참고: https://sabarada.tistory.com/148

adduci · Answer

final은 final이 붙은 변수의 값 변경을 금지합니다final 변수의 값이 객체라면 이 변수가 다른 객체를 참조하는게 불가능해지는거죠그 객체 자체를 불변 객체로 만드려면 객체 내부의 필드를 final로 만드는 등의 별도의 조치를 하면 되구요그리고 무조건 final을 붙이는게 좋은건 아닙니다값이 변해선 절대 안되는 상황에서 외부에서의 값 변경이 걱정될때 또는 함수형 프로그래밍에서 클로저를 만들어야할때, 부작용이 없는 함수를 만들때 등의 상황에서 유용하게 쓸 수 있습니다또 다른 예로,자바의 문자열은 불변 객체죠때문에 하나의 객체를 여러 스레드에서 사용하더라도 동시성 문제가 없습니다 부작용이 없단거죠따라서 동일한 내용을 가지는 객체를 여러개 만들지 않고 딱 하나만 만들어서 사용할 수 있기 때문에 메모리 효율도 높일 수 있습니다

Constant · Answer

검색해보면 알겠지만 final은 변수에는 불변이라는 특징을 가집니다.첨부하신 사진은 객체 변수에 final을 쓴건데 한번 new~로 선언을 했으니 그 다음부터는 다시 new로 넣지 못한다. 그 뿐입니다. new~가 안될뿐이지 그 안에 필드값을 수정하는건 별개입니다.final이라는건 보통 객체지향설계에서 '변하지 않는 고정 값'이라는 의미적인 측면에서 많이 쓰입니다.말 그대로 '의미적'인 거지 안쓴다고 해서 안돌아가고 그런건 아닙니다.예를 들어 final이라고 안적어놓으면 나중에 누군가가 해당 코드를 수정할 때 buyer에 다시 new로 초기화를 해서 아예 다른 객체 생성을 할 수가 있게 되겠죠. 하지만 final이라고 선언해놓으면 new로 다시 객체 생성시 컴파일 에러가 발생할테니 그걸 수정하는 다른 개발자는 &#34;아 이건 수정하지 말라고 선언된 변수구나&#34;하는 객체지향적인 설계를 말합니다.final을 변수가 아닌 클래스형에 붙이는건 좀 더 어려운데 가장 대두되는게 finalizer 공격같은 데에 쓰입니다.

자바 final을 사용하는 이유

4개의 답변

Q&A 목록