Python은 동적 유형 언어로 서로 다른 유형의 변수를 상당히 자유롭게 조작할 수 있습니다.그러나 코드를 작성할 때, 우리는 어떤 방식으로 어떤 유형의 변수를 사용할 것인지를 가정한다. (이것은 알고리즘이나 업무 논리의 제한으로 인한 것일 수도 있다.)프로그램이 정확하게 작동하기 위해서는 전송 오류 유형의 데이터와 관련된 오류를 빨리 발견하는 것이 우리에게 매우 중요하다.
유지하다​​Python(3.6+) 현대 버전의 동적 duck 형식은 변수 형식, 클래스 필드, 파라미터와 반환 값에 대한 주석을 지원합니다​​함수 수량:

PEP 3107 - Function Annotations

PEP 484 - Type Hints

PEP 526 - Syntax for Variable Annotations

typing 패키지

형식 주석은 Python 해석기에서 읽으며 어떤 방식으로도 처리하지 않지만 제3자 코드에서 사용할 수 있으며 주로 정적 분석기를 위해 설계되었다.
본고에서 나는 유형 주석을 사용하는 기초 지식과 예시를 설명하고 최종적으로 그것이 왜 나를Python 개발자로서의 생활을 더욱 쉽게 하는지 설명하고 싶다🙂.
우선 유형 주석이 무엇인지 알아보자

▶ 유형 메모 - 기초 지식

유형 자체는 변수의 기본 유형을 나타내는 데 사용됩니다.

str

int

float

bool

complex

bytes

등

이전 버전의Python과 달리 형식 주석은 주석이나docstring으로 작성된 것이 아니라 코드에서 직접 작성된 것입니다.한편, 이것은 뒤로 호환성을 파괴했다.다른 한편, 이것은 분명히 코드의 일부분으로 상응하는 처리를 할 수 있다는 것을 의미한다.
가장 간단한 상황에서 주석은 직접 예상한 유형을 포함한다.다음은 더욱 복잡한 상황을 토론할 것이다.기본 클래스를 주석으로 지정하면 하위 항목의 인스턴스를 값으로 전달할 수 있습니다.단, 기본 클래스에서만 실행할 수 있는 기능을 사용할 수 있습니다.
변수 주석은 표지부 뒤에 사칭으로 쓰인다.그리고 값을 초기화할 수 있습니다.예:

price: int = 5
title: "str"

함수 매개 변수의 주석 방식은 변수와 같고 반환 값은 화살표-> 이후와 콜론 뒤에 지정됩니다.python 함수에 형식 주석을 사용하는 예시를 들겠습니다.

def func(a: int, b: float) -> str:
    a: str = f"{a}, {b}"
    return a

클래스 필드에 대해 클래스를 정의할 때 주석을 명시적으로 지정해야 합니다.그러나 분석기는 __init__ 방법에 따라 자동으로 추정할 수 있지만 이 경우 실행할 때 사용할 수 없습니다.

class Book:
    title: "str"
    author: str

    def __init__(self, title: "str, author: str) -> None:"
        self.title = title
        self.author = author

b: Book = Book(title="Fahrenheit 451", author="Bradbury")

▶ 유형 메모 - 내장 유형

표준 유형을 주석으로 사용할 수 있지만 모듈typing에는 유용한 것들이 많이 숨겨져 있다.그것의 하위 모듈을 봅시다.

일.️⃣ 선택 가능

유형int으로 변수를 표시하고 None 값을 지정하려고 하면 오류가 발생합니다.

Incompatible types in assignment (expression has type "None", variable has type "int")

이 경우 입력 모듈은 특정 유형을 표시하는 데 사용할 설명Optional을 제공합니다.선택적 변수의 유형은 대괄호로 표시됩니다.

from typing import Optional

amount: int
amount: None # Gives "Incompatible types" error

price: Optional[int]
price: None # Will work!

이.️⃣ 어떤

때때로 변수의 가능한 유형을 제한하고 싶지 않습니다.예를 들어, 만약 이것이 정말 중요하지 않다면, 혹은 다른 유형의 처리를 계획하고 있다면.이 경우 주석Any을 사용할 수 있습니다.다음 코드에 대해 맹세하지 않습니다.

some_item: Any = 1
print(some_item)
print(some_item.startswith("hello"))
print(some_item // 0)

문제가 발생할 수 있습니다. 왜 사용하지 않습니까object?그러나 이 경우 객체를 전달할 수 있지만 인스턴스로만 간주할 수 있다고 가정합니다object.

some_object: object
print(some_object)
print(some_object.startswith("hello)) # ERROR: "object" has no attribute "startswith"

print(some_object // 0) # ERROR: Unsupported operand types for // ("object" and "int")

삼.️⃣ 협회

모든 유형이 아닌 일부 유형만 사용할 수 있도록 허용해야 하는 경우 주석typing.Union을 사용하여 괄호의 유형 목록을 표시할 수 있습니다.

def hundreds(x: Union[int, float]) -> int:
    return (int(x) // 100) % 100

hundreds(100.0)
hundreds(100)
hundreds("100")
# ERROR: Argument 1 to "hundreds" has incompatible type "str"; expected "Union[int, float]"

참고로 주석Optional[T]은 Union[T, None]과 같다. 비록 이런 기호를 사용하는 것을 권장하지는 않지만.

사.️⃣ 소장하다

유형 주석 메커니즘은 범용 메커니즘PEP484 - Generics을 지원하며, 자세한 정보는 본고의 두 번째 부분을 참조하십시오. 이 메커니즘은 용기에 범용에 저장된 요소 유형을 지정할 수 있습니다.

오.️⃣ 목록

변수에 목록이 있음을 표시하려면 목록 유형을 주석으로 사용할 수 있습니다.그러나 목록에 어떤 요소가 포함되어 있는지 지정하려면 이러한 주석은 더 이상 유효하지 않습니다.이를 위해typing.List가 있다.선택할 수 있는 변수 형식을 지정하는 방식과 유사합니다. 괄호에 목록 항목의 형식을 지정합니다.

titles: List[str] = ["hello", "world"]
titles.append(100500)
# ERROR: Argument 1 to "hundreds" has incompatible type "str"; expected "Union[int, float]"

titles = ["hello", 1]
# ERROR: List item 1 has incompatible type "int"; expected "str"

items: List = ["hello", 1]
# Everything is good!

이 목록에 불확실한 수량의 유사한 항목이 포함되어 있다고 가정하십시오.그러나 주석 요소에는 제한이 없습니다. Any, Optional, List 및 기타 요소를 사용할 수 있습니다.요소 유형이 지정되지 않으면 Any 로 가정합니다.
목록 외에 유사한 집합 주석도 있습니다: typing.Set과typing.FrozenSet.

육.️⃣ 다중 그룹

목록과 달리 메타그룹은 일반적으로 다른 유형의 요소에 사용됩니다.문법은 비슷하지만 한 가지 다르다. 원조의 각 요소의 유형은 각각 네모난 괄호로 표시된다.
목록과 유사한 메타그룹을 사용할 계획인 경우 알 수 없는 수의 동일한 유형의 요소를 저장하려면 생략 번호 ... 를 사용할 수 있습니다.
엔티티 유형을 지정하지 않는 메모Tuple는 Tuple[Any, ...]와 동일하게 작동합니다.

price_container: Tuple[int] = (1,)
price_container: ("hello")
# ERROR: Incompatible types in assignment (expression has type "str", variable has type "Tuple[int]")

price_container = (1, 2)
# ERROR: Incompatible types in assignment (expression has type "Tuple[int, int]", variable has type "Tuple[int]")

price_with_title: Tuple[int, str] = (1, "hello")
# Everything is good!

prices: Tuple[int, ...] = (1, 2)
prices: (1,)
prices: (1, "str")
# ERROR: Incompatible types in assignment (expression has type "Tuple[int, str]", variable has type "Tuple[int]")

something: Tuple = (1, 2, "hello")
# Everything is good!

칠.️⃣ 사전

사전typing.Dict에 사용됩니다.키 유형과 값 유형에 대한 설명은 다음과 같습니다.

book_authors: Dict[str, str] = {"Fahrenheit 451": "Bradbury"}
book_authors["1984"] = 0
# ERROR: Incompatible types in assignment (expression has type "int", target has type "str")

book_authors[1984] = "Orwell"
# ERROR: Invalid index type "int" for "Dict[str, str]"; expected type "str"

유사 사용typing.DefaultDict 및 typing.OrderedDict

팔.️⃣ 함수 실행 결과

모든 종류의 주석은 함수 결과를 표시하는 형식에 사용할 수 있습니다.하지만 특별한 경우도 있다.
함수가 결과 (예: how print 를 반환하지 않으면 결과는 항상 같습니다 None.우리는 또한 주석None을 사용한다.
이러한 함수를 완성하는 올바른 옵션은 명시적 반환None, 지정되지 않은 값의 반환 및 호출되지 않은 종료return입니다.

def nothing(a: int) -> None:
    if a == 1:
        return
    elif a == 2:
        return
    elif a == 3:
        return "" # No return value expected
    else:
        pass

함수가 제어를 반환하지 않는 경우 (예: how sys.exit 메모 NoReturn 를 사용합니다.

def forever() -> NoReturn:
    while True:
        pass

만약 이것이 생성 함수, 즉 그 주체에 연산자 yield가 포함되어 있다면, 되돌아오는 함수Iterable[T]에 대해 주석Generator[YT, ST, RT]을 사용할 수 있습니다.

def generate_two() -> Iterable[int]:
    yield 1
    yield "2"
    # ERROR: Incompatible types in "yield" (actual type "str", expected type "int")

결론이 아니라

많은 경우에 유형 모듈은 적당한 유형을 가지고 있지만, 나는 모든 내용을 포함하지 않는다. 왜냐하면 그 행위는 묘사한 것과 유사하기 때문이다.예를 들어, Iterator 은 collections.abc.Iterator, typing.SupportsInt 의 공통 버전으로, 대상 지원 방법__int__ 또는 Callable 지원 방법__call__ 의 함수와 대상을 표시하는 데 사용된다
이 표준은 정적 분석기의 정보만 포함하는 주석과 메모리 파일 형식으로 주석의 형식을 정의했다.

자세히 보기

이 문서가 도움이 된다면💚 또는👏 아래 버튼을 누르거나 페이스북에 이 글을 공유하면 친구도 이익을 볼 수 있다.
https://subscribe.to/raevskymichail