kotlin contract

[daehwan2yo]

reference

Contract

컴파일러에게 명시해주는 방법

• 일반적으로 우리가 if 분기와 같은 처리를 통해 코드상 특정 값들이 검증된 값임을 알 수 있으나, 컴파일러는 모른다.
  • 따라서 컴파일러에게 알려주어 런타임에 검증과 같은 분기들이 수행되는 것이 아닌, 컴파일 수행으로도 알 수 있게하여 개발 중에 에러체킹을 가능하도록 한다.