전문가를 위한 파이썬(2판)

635

15

장

자료형 힌트 조금 더 알아보기

❶

T

_

co

를 공변적으로 선언한다.

❷ 이렇게 함으로써

RandomPicker

를 공변적 형식형 매개변수가 있는 제네릭형으로 만든다.



T

_

co

를 반환형으로 사용한다.

제네릭

RandomPicker

프로토콜은 단 하나 있는 형식 매개변수가 반환형으로 사용되므로 공변

적이다.

이것으로 이 장을 마치고자 한다.

15

.

9

요약

이 장은

@overload

를 사용한 간단한 예제로 시작해 더욱 복잡한 예제들을 만들어가며 자세히

살펴보았다. 내장 함수

max( )

를 제대로 어노테이트하려면 오버로드된 시그너처가 필요했다.

typing.TypedDict

특별 구조체가 그 뒤에 이어졌다.

typing.NamedTuple

을 다룬

5

장

이 아니라 여기에서 설명하기로 한 이유는

TypedDict

가 클래스 빌더가 아니기 때문이다.

TypedDict

는 특정한 일련의 문자열 키와 각 키에 대한 특정한 자료형을 가진

dict

형을 요구

하는 변수나 인수에 자료형 힌트를 붙이는 방법이다.

TypedDict

는

JSON

데이터를 처리하는

경우처럼

dict

를 일종의 레코드로 사용할 때 도움이 된다. 이 절은 다소 길었다.

TypedDict

를

사용하는 게 안전하다는 잘못된 생각을 갖기 쉬운데, 본질적으로 동적인 매핑형으로부터 정적

으로 구조화된 레코드를 생성할 때 필수인 런타임 검사와 에러 처리하는 방법을 보여 주고자

했기 때문이다.

다음으로

typing.cast( )

함수를 설명했는데, 이 함수는 자료형 검사기의 작동 방식을 조정

할