TIL

아이템 5 예외를 활용해 코드에 제한을 걸어라

• 코틀린에선 코드 동작에 제한을 걸 때 다음 블록들을 사용할 수 있다.
  • require: 아큐먼트를 제한
  • check: 상태와 관련된 동작을 제한
  • assert: 어떤 것이 true인지 확인할 수 있다. 테스트 모드에서만 작동
  • return 또는 throw와 함께 활용하는 Elvis 연산자

fun pop(num: Int = 1): List<T> {
	require(num <= size) {
		"Cannot remove more element than current size"
	}
	// ...
}

• 이러한 제한은 다양한 장점을 가진다.
  • 제한을 통해 문서를 읽지 않은 개발자도 문제를 확인할 수 있다.
  • 문제가 있는 경우 예외를 throw 하여 예상치 못한 코드 동작을 제한한다.
  • 코드가 어느 정도 자체적으로 검사되어 관련된 단위테스트를 줄일 수 있다.
  • 스마트 캐스트를 활용할 수 있어 캐스트를 적게 할 수 있다.

아규먼트

• 함수를 정의할 때 타입 시스템을 통해 아규먼트에 제한을 거는 코드를 많이 사용한다.
  • ex) 숫자 계산 관련 메서드는 정수를 아규먼트로 받아야 한다.
  • ex) 좌표들을 아규먼트로 받는 경우엔 비어있지 않는 좌표 목록이 필요하다.
• 이러한 아규먼트 제한에 require 함수를 사용하는데 적절한 예외를 발생시킨다.

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

• 유효성 검사는 대부분 코드 앞단에 위치하기에 코드를 읽을 때 쉽게 확인 가능하다.

상태

• 어떤 구체적 조건을 만족할 때만 함수를 사용할 수 있게 해야 할 때가 있다.
  • ex) 어떤 객체가 미리 초기화 되어 있어야만 처리가 가능한 함수
  • ex) 사용자가 로그인햇을 때만 처리를 하고 싶은 함수
• 상태 관련 제한을 걸 때는 check 함수를 사용한다.

fun speak(text: String) {
	check(isInitialized)
	// ...
}

• 이러한 확인은 사용자가 규약을 어기고 사용하면 안 되는 곳에서 함수를 호출하고 있다고 의심될 때 수행한다.
• 사용자가 코드를 제대로 사용할 거라고 믿고 있는 것보다 문제를 예측하여 코드에 제한을 거는 편이 좋다.

nullability와 스마트 캐스팅

• 코틀린에서 require와 check 블록으로 어떤 조건이 true가 나왔다면 그 이후로도 true로 가정한다.
• 따라서 타입 비교를 했다면 스마트 캐스트가 작동한다.

fun changeDress(person: Person) {
	require(person.outfit is Dress)
	val dress: Dress = person.outfit
}

• 스마트 캐스팅은 null 여부 검사에 굉장히 유용하다.

class Person(val email: String?)

fun sendEmail(person: Person, message: String) {
	require(person.email != null)
	val email: String = person.email
	// ...
}

• null 확인의 경우 requireNotNull, checkNotNull이라는 특수 함수를 사용해도 괜찮다.
  • 스마트 캐스트를 지원하며 변수의 unpack 용도로 활용 가능하다.

fun sendEmail(person: Person, message: String) {
	val email: String = requireNotNull(person.email)
	// ...
}

• null 검사 시, 오른쪽에 throw 또는 return을 두고 Elvis 연산자를 활용하는 경우가 많다.

fun sendEmail(person: Person, message: String) {
	val email: String = person.email ?: return
	// ...
}

• run 블록을 활용해 함수가 중지된 이유를 로그로 출력할 수도 있다.

fun sendEmail(person: Person, message: String) {
	val email: String = person.email ?: run {
		log("Email not sent, no email address")
		return
	}
	// ...
}

정리

이번 장에서의 내용을 통해

• 제한을 훨씬 더 쉽게 확인 가능하다.
• 애플리케이션을 더 안정적으로 지킬 수 있다.
• 코드를 잘못 쓰는 상황을 막을 수 있다.
• 스마트 캐스팅을 활용할 수 있다.