[python] 파이썬 함수는 전달하는 매개 변수 유형을 어떻게 처리합니까?

다른 답변은 오리 타이핑과 tzot의 간단한 답변 을 설명하는 데 훌륭한 역할을했습니다 .

파이썬에는 변수에 유형과 값이있는 다른 언어와 같이 변수가 없습니다. 유형을 알고있는 객체를 가리키는 이름이 있습니다.

그러나 2010 년 이후 (질문이 처음 제기 될 때) 한 가지 흥미로운 점, 즉 PEP 3107 (Python 3에서 구현 됨)이 변경되었습니다. 이제 실제로 다음과 같이 매개 변수의 유형과 함수의 리턴 유형을 지정할 수 있습니다.

def pick(l: list, index: int) -> int:
    return l[index]

여기서 우리는 pick리스트 l와 정수의 2 개의 매개 변수 를 취하는 것을 볼 수 있습니다 index. 또한 정수를 반환해야합니다.

따라서 여기에는 l많은 노력없이 볼 수있는 정수 목록이 포함되어 있지만 더 복잡한 함수의 경우 목록에 포함 해야하는 내용에 대해 약간 혼란 스러울 수 있습니다. 또한 기본값 인 index0을 원합니다.이를 해결하려면 다음 pick과 같이 작성하십시오 .

def pick(l: "list of ints", index: int = 0) -> int:
    return l[index]

l구문 유형으로 허용되는 유형의 문자열을 문자열에 넣었 지만 프로그래밍 방식으로 구문 분석하는 것은 좋지 않습니다 (나중에 다시 올 것입니다).

파이썬은 인상하지 않을 것이 중요합니다 TypeError당신이에 float를 전달하는 경우 index: 그 이유는 파이썬의 디자인 철학의 주요 포인트 중 하나입니다 “우리는 모두 여기에 성인을 동의하고” 당신이 예상하는 수단 함수에 전달할 수있는 것과 할 수없는 것을 알고 있어야합니다. 실제로 TypeErrors를 발생시키는 코드를 작성하려면이 isinstance함수를 사용 하여 전달 된 인수가 다음과 같이 올바른 유형 또는 서브 클래스인지 확인하십시오.

def pick(l: list, index: int = 0) -> int:
    if not isinstance(l, list):
        raise TypeError
    return l[index]

왜 이런 일을 거의하지 말아야하는지에 대한 자세한 내용은 다음 섹션과 주석에서 설명합니다.

PEP 3107 은 코드 가독성을 향상시킬뿐만 아니라 여기에서 읽을 수있는 몇 가지 적합한 사용 사례도 있습니다 .

타입 주석에 대한 표준 모듈을 소개하는 PEP 484 가 도입 되면서 파이썬 3.5에서 타입 주석이 더 주목을 받았습니다 .

이 유형 힌트는 유형 검사기 mypy ( GitHub )에서 왔으며 현재 PEP 484를 준수합니다.

타이핑 모듈에는 다음을 포함하여 매우 포괄적 인 유형 힌트 모음이 제공됩니다.

• List, Tuple, Set, Map-에 list, tuple, set및 map각각.
• Iterable -발전기에 유용합니다.
• Any -언제라도 될 수있을 때.
• Union-와 달리 지정된 유형의 세트 내에있는 것이있을 수있는 경우 Any.
• Optional– 없음 일 때 . 의 속기입니다 Union[T, None].
• TypeVar -제네릭과 함께 사용됩니다.
• Callable -주로 함수에 사용되지만 다른 콜 러블에 사용될 수 있습니다.

가장 일반적인 유형 힌트입니다. 전체 목록은 입력 모듈 설명서 에서 찾을 수 있습니다 .

다음은 입력 모듈에 도입 된 주석 방법을 사용하는 이전 예입니다.

from typing import List

def pick(l: List[int], index: int) -> int:
    return l[index]

강력한 기능 중 하나 Callable는 함수를 인수로 취하는 어노테이션이있는 메소드를 입력 할 수있는 기능입니다. 예를 들면 다음과 같습니다.

from typing import Callable, Any, Iterable

def imap(f: Callable[[Any], Any], l: Iterable[Any]) -> List[Any]:
    """An immediate version of map, don't pass it any infinite iterables!"""
    return list(map(f, l))

위의 예는 TypeVar대신에 사용법을 사용하면 더 정확해질 수 Any있지만, 이미 유형 힌트로 활성화 된 멋진 새로운 기능에 대한 정보를 너무 많이 채워서 믿기 때문에 독자에게 연습으로 남았습니다.

예를 들어 Sphinx 와 같은 문서화 된 Python 코드에서 다음과 같은 형식의 docstring을 작성하면 위의 기능 중 일부를 얻을 수 있습니다.

def pick(l, index):
    """
    :param l: list of integers
    :type l: list
    :param index: index at which to pick an integer from *l*
    :type index: int
    :returns: integer at *index* in *l*
    :rtype: int
    """
    return l[index]

보시다시피, 여기에는 여러 줄이 추가로 필요합니다 (정확한 숫자는 명시적인 표현 방법과 문서 문자열의 형식에 따라 다릅니다). 그러나 이제 PEP 3107 이 많은 (모두?) 우월한 대안을 어떻게 제공 하는지 분명히 알 수 있습니다 . 이것은 PEP 484 와 결합하여 특히 그렇습니다. 우리가 살펴본 바와 같이, 이러한 유형 힌트 / 주석에 대한 구문을 정의하는 표준 모듈을 제공하여 명확하고 유연하면서도 유연하게 사용할 수 있습니다. 강력한 조합.

내 개인적인 견해로는 이것이 파이썬에서 가장 큰 기능 중 하나입니다. 사람들이 힘을 활용하기 시작할 때까지 기다릴 수 없습니다. 긴 답변에 대해 죄송하지만 이것이 흥분 될 때 일어나는 일입니다.

유형 힌트를 많이 사용하는 Python 코드의 예는 여기 에서 찾을 수 있습니다 .

답변

def no_op(param1, param2):
    pass

def call_quack(param1, param2):
    param1.quack()
    param2.quack()

a = 1

a = 1

>>> type(1)
<type 'int'>

def funcname(param1, param2):