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

352

2

부

객체로서의 함수

typing.TypeVar

생성자에는

covariant

와

contravariant

라는 선택적 매개변수도 있는데,

여기에 관해서는

15

.

7

절 ‘변이성’에서 설명한다.

이제

TypeVar

소개의 마지막 순서로

AnyStr

을 알아보자.

AnyStr로 미리 정의된 자료형 변수

typing

모듈에는

AnyStr

이라는 미리 정의된 자료형 변수가 있다. 이 변수는 다음과 같이 정의

된다.

AnyStr = TypeVar(‘AnyStr’, bytes, str)

AnyStr

은

bytes

나

str

형을 인수로 받고 주어진 자료형의 값을 반환하는 여러 함수에 사용된다.

이제 파이썬

3

.

8

의 새로운 기능으로 제공되어 자료형 힌트를 파이썬답게 지원하게 해 주는

typing.Protocol

에 관해 알아보자.

8

.

5

.

10

정적 프로토콜

NOTE

객체지향 프로그래밍에서 ‘프로토콜’이라는 개념은 오래전 스몰토크 시대부터 비공식 인터페이스를

의미했으며, 초창기부터 이 개념은 파이썬의 핵심이었다. 그러나 자료형 힌트에서 프로토콜은 자료형 검사기

가 검증할 수 있게 인터페이스를 정의하는

typing.Protocol

의 서브클래스를 말한다. 이 두 가지 프로토콜

은

13

장에서 다루며, 여기에서는 함수 어노테이션과 관련해서 간단히 알아본다.

‘

PEP

544

-프로토콜: 구조적 서브타이핑 ...