TIL

아이템 4 inferred 타입으로 리턴하지 말라

• 코틀린에는 타입 추론(type inference)은 JVM 세계에서 가장 잘 알려진 코틀린의 특징이다.
• 타입 추론 사용 시에는 몇 가지 위험한 부분이 있다.
  • 이를 피하려면 할당할 때 inferred 타입은 정확하게 피연산자에 맞게 설정된다는 것을 기억해야 한다.
  • 절대로 슈퍼클래스 또는 인터페이스로는 설정되지 않는다.

open class Animal
class Zebra: Animal()

fun main() {
	var animal = Zebra()
	animal = Animal() // 컴파일 오류: Type mismatch
}

• 명시적으로 타입을 지정하면 이런 문제를 해결할 수 있다.

fun main() {
	var animal: Animal = Zebra()
	animal = Animal() // 할당 가능
}

• inferred 타입은 메서드 인터페이스에 노출하면 위험하다.
• 아래 CarFactory 인터페이스를 살펴보자.

interface CarFactory {
	fun produce(): Car
}

• 또한 다른 것을 지정하지 않았을 경우 아래처럼 디폴트로 생성되는 자동차가 있다고 가정

val DEFAULT_CAR: Car = Fiat126P()

• 이 때 함수의 리턴 타입을 제거하여 아래처럼 코드를 작성하고 싶을 수도 있다.

val DEFAULT_CAR = Fiat126P()

interface CarFactory {
	fun produce() = DEFAULT_CAR
}

• 이제 CarFactory에선 Fiat126P 이외의 자동차를 생성하지 못하게 되었다.
• 리턴 타입은 API를 잘 모르는 사람에게 전달해줄 수 있는 중요한 정보다.
  • 만약 이 인터페이스가 외부 API였다면 문제를 쉽게 해결할 수 없다.
• inferred 타입은 프로젝트가 진전될 때 제한이 너무 많아지거나 예측하지 못한 결과를 낼 수 있다.