TIL

아이템 23 타입 파라미터의 섀도잉을 피하라

• 아래 코드처럼 프로퍼티와 파라미터가 같은 이름인 경우 지역 파라미터가 외부 스코프의 프로퍼티를 가리게 되는데 이를 섀도잉이라 한다.

class Forest(val name: String) {
	fun addTree(name: String) {
		// name은 파라미터의 name
		// 프로퍼티를 사용하려면 this.name이 필요
	}
}

• 섀도잉 현상은 클래스 타입 파라미터와 함수 타입 파라미터 사이에서도 발생한다.
  • 아래 코드에서 Forest와 addTree 타입 파라미터가 독립적으로 동작한다.

interface Tree
class Birch: Tree
class Spruce: Tree

class Forest<T: Tree> {
	fun <T: Tree> addTree(tree: T) {
		// ...
	}
}

fun main() {
	val forest = Forest<Birch>()
	forest.addTree(Birch())
	forest.addTree(Spruce())
}

• 위와 같은 상황을 피하려면 클래스 타입 파라미터를 메서드에서 사용해야 한다.

class Forest<T: Tree> {
	fun addTree(tree: T) {
		// ...
	}
}

fun main() {
	val forest = Forest<Birch>()
	forest.addTree(Birch())
	forest.addTree(Spruce()) // type missmatch
}

• 만약 독립적인 타입 파라미터를 의도했다면 이름을 다르게 해야 의도를 나타낼 수 있다.

class Forest<T: Tree> {
	fun <ST: Tree> addTree(tree: ST) {
		// ...
	}
}

정리

• 타입 파라미터 섀도잉은 피하는 것이 좋다.
• 섀도잉이 발생한 코드는 이해하기 어려울 수 있다.