Contract?

<aside> 💡 contract 코드를 컴파일러에게 미리 이해시켜주기 위해 사용

</aside>

• contract 가 포함된 함수를 호출한 다음부터는 contract 에 정의한 조건을 계속 명시하지 않아도 됨

→ 그래서 우리가 편하게 스코프 함수를 사용할 수 있음

→ 스코프 함수와 함께 널 체크도 할 수 있음

예제

<aside> 💡 @ExperimentalContracts == contract를 사용하는 함수에 표기

@ExperimentalContracts
        fun isNotNullAndReturnBoolean(value: Any?): Boolean {
            contract {
                returns(true) implies (value != null)  // value가 null이 아니면, true를 리턴하면서 컴파일러에게 value가 null이 아님을 이해시켜줌.
            }

            return value != null 
        }

</aside>

<aside> 💡 contract{} 의 returns 는 실제 코드 동작에 반영되는것이 아니라 컴파일러에게 결과를 전하기 위함

</aside>

• contract는 boolean, null 을 반환할 수 있음
• returns 가 비어있는 경우 null을 반환