프로그래밍 스칼라: 실용적인 스칼라 활용법을 익히는 가장 확실한 실전 바이블 (2.11.x 버전 기반)

424

2

부

기본기 다지기

두 번째로 대입한

(

x

:

CSuper

)

=

>

CSub

는 반공변적인 인자와 공변적인 반환 타입 선언을 준수

한다. 그렇지만 그런 대입이 왜 안전할까?

핵심적인 통찰은

f

가 어떻게 쓰일 것인지와, 그 뒤에 있는 실제 함수에 대해 우리가 어떤 가정

을 할 수 있는지 기억하는 것이다. 함수의 타입이

C

=

>

C

라고 말할 때는, 올바른

C

값을

f

에 넘

길 수 있고

f

는

C

가 아닌 다른 것을 결코 반환하지 않는다는 계약을 정의하는 것이다.

따라서 실제 함수가

(

x

:

CSuper

)

=

>

CSub

타입이라면, 해당 함수는

C

타입의 값을 인자로 받

을 수 있을 뿐 아니라, 부모 타입인

CSuper

나 그 서브타입 (그런 타입이 있다면 )의 어떤 인스턴

스도 받을 수 있다. 따라서 우리는 그 함수에

C

타입의 인스턴스만 전달할 수 있기 때문에,

f

가

인자로 받기로 약속한 범위를 넘어가는 값을 전달하는 일이 결코 없다. 어떤 의미에서

f

는 우

리가 필요로 하는 것보다 좀 더 ‘포용력 있는’ 함수다.

비슷하게

f

가

CSub

의 인스턴스만 반환한다면 이 또한 안전하다. 호출하는 쪽에서

C

의 인스턴

스를 처리할 수 있기 때문에 분명히

CSub

의 인스턴스도 항상 처리할 수 있기 때문이다. 이런 의

미에서

f

는 우리가 필요로 하는 것보다 더 ‘제약이 심한’ 함수다.

예제의 마지막 줄은 입력과 출력 타입에 대한 규칙을 둘 다 깨버린다. 만약 이런

f

를 치환하도록

허용하면 어떤 일이 벌어질지 생각해보자.

이 경우 실제

f

는 오직

CSub

의 인스턴스를