코틀린에서는 코드의 동작에 제한을 걸 때 다음과 같은 방법을 사용할 수 있다

• require블록: 아큐먼트 제한
• check 블록: 상태와 관련된 동작을 제한
• assert블록: 어떤 것이 true인지 확인 가능. assert 블록은 테스트 모드에서만 작동
• return 또는 throw와 함께 활용하는 Elvis 연산자

// Stack<T>의 일부
fun pop(num: Int = 1): List<T> {
    require(num <= size) {
        "Cannot remove more elements than current size"
    }
    check(isOpen) { "Cannot pop from colsed stack" }
    val ret = collection.take(num)
    collection = collection.drop(num)
    assert(ret.size == num)
    return ret
}

위와 같이 제한을 걸었을 때의 장점

• 문서를 읽지 않은 개발자도 문제를 확인할 수 있다
• 문제가 있을 경우 함수가 예상할 수 없는 동작을 하지 않고 예외를 throw한다. 이로 인해 문제를 놓치지 않을 수 있고, 코드가 더 안정적으로 작동한다
• 코드가 어느 정도 자체적으로 검사된다. 따라서 이와 관련된 단위 테스트를 줄일 수 있다
• 스마트 캐스트 기능을 활용할 수 있게 되므로, 타입 변환을 적게 할 수 있다

아규먼트

require 함수를 사용한다. require 함수는 제한을 확인하고, 제한을 만족하지 못할 경우 예외를 throw한다.

fun factorial(n: Int): Long {
	require(n >= 0)
	return if (n <= 1) 1 else factorial(n - 1) * n
}
...

위 코드와 같이 입력 유효성 검사 코드는 함수의 가장 앞 부분에 배치되므로, 쉽게 확인할 수 있다.

require 함수는 조건을 만족하지 못 할 때 무조건적으로 IlleagalArgumentException을 발생시키므로 제한을 무시할 수 없다.

상태