Immutable (불변)

📌 한 번 만들어진 이후 내용을 변경할 수 없는 특성

방법

1. 상수 키워드
   • Java: final
   • C,CPP: const
     • CPP 멤버 함수 선언에 사용 시, 컴파일러에 의해 멤버 변수를 수정하지 않는 Read-only 함수를 강제할 수 있음 ➡ Safety (안전성), Readability (가독성)
2. private + 외부로 참조 리턴하지 않기
3. Assertions: 불변식 == false일 경우, 에러 메세지와 함께 프로그램을 종료하는 구문
   • Invariant (불변식): 객체의 정상 동작과 Consistency (일관성) 유지를 위해 항상 충족해야 하는 조건
   • 오류 지점 확인 가능 ➡ 디버깅 시간 절약
   • C,CPP: assert(조건) in <assert.h>