Python 3.6의 변수 주석은 무엇입니까?

Python 3.6의 변수 주석은 무엇입니까?

---

Python 3.6이 곧 출시됩니다. PEP 494-Python 3.6 릴리스 일정 에 12 월 말이 언급되어 있으므로 Python 3.6의 새로운 기능 을 살펴보고 변수 주석이 언급되는 것을 확인했습니다 .

PEP 484 는 함수 매개 변수의 유형 주석 (일명 유형 힌트)에 대한 표준을 도입했습니다. 이 PEP는 클래스 변수 및 인스턴스 변수를 포함한 변수 유형에 주석을 달기 위해 Python에 구문을 추가합니다.

  primes: List[int] = []

  captain: str  # Note: no initial value!

  class Starship:
     stats: Dict[str, int] = {}

함수 주석과 마찬가지로 Python 인터프리터는 변수 주석에 특별한 의미를 부여하지 않고 __annotations__클래스 또는 모듈 의 특수 속성에만 저장합니다 . 정적으로 형식화 된 언어의 변수 선언과 달리 주석 구문의 목표는 추상 구문 트리 및 __annotations__속성을 통해 타사 도구 및 라이브러리에 대한 구조화 된 형식 메타 데이터를 쉽게 지정할 수있는 방법을 제공하는 것입니다.

그래서 제가 읽은 내용은 파이썬 3.5의 타입 힌트 란 무엇인가에 설명 된 파이썬 3.5에서 오는 타입 힌트의 일부입니다 .

나는 따라 captain: str와 class Starship예를 들어,하지만 반드시 마지막에 대해 : 어떻게 primes: List[int] = []설명? 정수만 허용하는 빈 목록을 정의하고 있습니까?

---

:와 사이의 모든 것은 =유형 힌트이므로 primes실제로으로 정의 List[int]되고 처음에는 빈 목록으로 설정됩니다 (그리고 stats처음에는로 정의 된 빈 사전입니다 Dict[str, int]).

List[int]및 Dict[str, int]그러나,이 이미 파이썬 3.5 입력 힌트 PEP에 정의 된 다음 구문의 일부가 아닙니다. 3.6 PEP 526 – 변수 주석에 대한 구문 제안 은 변수 에 동일한 힌트를 첨부하는 구문 만 정의합니다. 주석 (예 :)이있는 변수에 유형 힌트 만 첨부 할 수 있기 전에 primes = [] # List[int].

모두 List하고 Dict있는 일반 특정 (콘크리트) 내용 목록 또는 사전에 매핑이 있음을 나타냅니다 유형.

의 경우 목록에있는 모든 요소의 유형 인 List'인수'( [...]구문 의 요소)가 하나뿐입니다 . 의 경우 Dict첫 번째 인수는 키 유형이고 두 번째 인수는 값 유형입니다. 따라서 목록의 모든 값 primes은 정수이고 사전의 모든 키-값 쌍 stats은 (str, int)쌍이며 문자열을 정수로 매핑합니다.

참고 항목 typing.List과 typing.Dict정의의 섹션 제네릭을 뿐만 아니라, - PEP 483 타입 힌트의 이론 .

함수에 대한 유형 힌트와 마찬가지로 그 사용은 선택 사항이며 속성을 통해 검사 할 수있는 주석으로 간주 됩니다 (이를 연결할 개체가있는 경우 모듈 및 클래스의 속성은 전역이지만 함수의 로컬은 아님) __annotations__. 이러한 주석에 임의의 정보를 첨부 할 수 있으며 유형 힌트 정보에 엄격하게 제한되지 않습니다.

전체 제안서 를 읽으 실 수 있습니다 . 여기에는 새로운 구문을 넘어서는 몇 가지 추가 기능이 포함되어 있습니다. 예를 들어, 이러한 주석이 평가되는시기,이를 검사하는 방법 및 클래스 속성 대 인스턴스 속성으로 선언하는 방법을 지정합니다.

---

변수 주석이란 무엇입니까?

변수 주석은에서 # type정의 된대로 주석 의 다음 단계 일뿐 입니다 PEP 484. 이 변경의 근거 는 PEP 526 의 각 섹션에 강조되어 있습니다.

따라서 다음과 같이 유형을 암시하는 대신 :

primes = []  # type: List[int]

형식을 할당하여 유형에 직접 주석을 달 수 있도록 새로운 구문이 도입 되었습니다.

primes: List[int] = []

@Martijn이 지적했듯이에서 사용 가능한 유형을 사용 typing하고 빈 목록으로 초기화 하여 정수 목록을 나타냅니다 .

어떤 변화를 가져 오나요?

도입 된 첫 번째 변경 사항 은 문자 뒤에 독립형으로 이름에 주석을 달거나 선택적으로 주석을 달고 값을 할당 할 수있는 새로운 구문 입니다 :.

annotated_assignment_stmt ::=  augtarget ":" expression ["=" expression]

따라서 문제의 예 :

   primes: List[int] = [ ]
#    ^        ^         ^
#  augtarget  |         |
#         expression    |
#                  expression (optionally initialize to empty list)

새로운 구문과 함께 추가 변경 사항도 도입되었습니다. 모듈과 클래스는 이제 유형 메타 데이터가 첨부 된 __annotations__속성 ( PEP 3107-Function Annotations 이후의 함수)을 갖습니다 .

from typing import get_type_hints  # grabs __annotations__

이제 __main__.__annotations__선언 된 유형을 보유합니다.

>>> from typing import List, get_type_hints
>>> primes: List[int] = []
>>> captain: str
>>> import __main__
>>> get_type_hints(__main__)
{'primes': typing.List<~T>[int]}

captain모듈에서도 액세스 할 수있는 유형 만 반환 get_type_hints하므로 현재 표시되지 않습니다 get_type_hints. 즉, 먼저 값이 필요합니다.

>>> captain = "Picard"
>>> get_type_hints(__main__)
{'primes': typing.List<~T>[int], 'captain': <class 'str'>}

_{사용 print(__annotations__)하면 표시 'captain': <class 'str'>되지만 실제로 __annotations__직접 액세스해서는 안됩니다 .}

마찬가지로 클래스의 경우 :

>>> get_type_hints(Starship)
ChainMap({'stats': typing.Dict<~KT, ~VT>[str, int]}, {})

a ChainMap는 주어진 클래스 (첫 번째 매핑에 위치) 및 해당 클래스 ( 객체 mro에 {}대한 결과 매핑) 에서 발견 된 기본 클래스에 정의 된 모든 주석에 대한 주석을 가져 오는 데 사용됩니다 .

Along with the new syntax, a new ClassVar type has been added to denote class variables. Yup, stats in your example is actually an instance variable, not a ClassVar.

Will I be forced to use it?

As with type hints from PEP 484, these are completely optional and are of main use for type checking tools (and whatever else you can build based on this information). It is to be provisional when the stable version of Python 3.6 is released so small tweaks might be added in the future.

참고URL : https://stackoverflow.com/questions/39971929/what-are-variable-annotations-in-python-3-6