공변 반환타입 (Convariant Return Type)

1. 정의 🌻

  공변 반환타입이란 재정의한 메서드의 반환 타입은 상위 클래스의 메서드가 반환하는 타입의 하위 타입이 될 수 있다는 것이다.

  기존의 오버라이딩은 '메서드의 이름', '매개 변수의 개수, 타입, 순서', '리턴 타입'이 같아야 했다. 하지만 JDK1.5부터 공변 반환타입이 추가되면서 오버라이딩을 할 때 다른 리턴 타입을 가질 수 있게 되었다. 여기서 다른 타입이란 부모클래스에 정의된 메서드의 리턴 타입의 서브타입을 말한다.

 

2. 구현(JAVA) 🌼

  오버라이딩에서의 리턴타입은 부모클래스 리턴 타입의 서브타입이면 된다. 이 점을 유의해서 코드를 보자.

class Parent {
	Parent testMethod() {
		return this;
	}
}

class ChildA extends Parent {
	@Override
	ChildA testMethod() {
		return this;
	}
}

class ChildB extends Parent {
	// 꼭 자신의 타입을 리턴 타입으로 하는 것이 아닌
	// 부모 클래스 리턴 타입의 서브타입이면
	// 무엇이든지 가능하다!!!
	@Override
	ChildA testMethod() {
		return new ChildA();
	}
}

public class Test {
	public static void main(String[] args) {
		Parent parent = new Parent();
		Parent parentReturn = parent.testMethod();
		
		ChildA childA = new ChildA();
		ChildA childAReturn1 = childA.testMethod();
		
		ChildB childB = new ChildB();
		ChildA childANotB = childB.testMethod();
	}
}

 

3. 공변 반환타입의 장점 🌷

1. 번거로운 형변환을 줄일 수 있다.

// 기존 방법
Lion copiedLion = (Lion)originalLion.clone();

// 공변 반환타입을 이용하는 방법
Lion copiedLion = originalLion.clone();

  이는 코드의 가독성, 사용성, 유지보수성에 도움을 준다.

2. 더 구체적인 반환 유형을 가질 수 있다.

3. ClassCastException을 방지할 수 있다.

  ClassCastException이란 클래스 간의 형 변환 오류시 발생하는 런타임 예외이다. 공변 반환타입을 이용하면 이를 방지할 수 있다.

 

해당 글은
남궁 성님의 JAVA의 정석,
geeksforgeeks의 Covariant Return Types in Java
을 참고하였습니다.