마이파이 소개-파이썬 튜토리얼-php.cn

마이파이 소개

王林

풀어 주다： 2024-08-12 18:33:29

원래의

618명이 탐색했습니다.

MyPy Introduction

소개

MyPy¹는 Python용 정적 유형 검사기입니다. C++ 또는 Java와 같은 정적으로 유형이 지정되는 언어와 달리 Python은 동적으로 유형이 지정됩니다. 즉, Python에서는 변수 유형을 명시적으로 선언할 필요가 없습니다. 런타임 시 추론됩니다. 예:

Python(동적 유형 지정)

num = 4                # `num` is inferred as an integer
newString = "new string"  # `newString` is inferred as a string

로그인 후 복사

반대로, 정적으로 유형이 지정된 언어에서는 컴파일 타임에 각 변수의 유형을 지정해야 합니다. 이는 런타임이 아닌 개발 중에 유형 관련 오류를 포착하는 데 도움이 됩니다.

C++(정적 형식)

int num = 4;            // `num` is declared as an integer
std::string newString = "new string";  // `newString` is declared as a string

로그인 후 복사

왜 MyPy를 사용하나요?

Python과 같이 동적으로 유형이 지정되는 언어에서는 런타임에 유형 오류가 발생할 수 있으며 이로 인해 추적하기 어려운 버그가 발생할 수 있습니다. MyPy는 실행 전에 정적으로 확인할 수 있는 Python 코드에 유형 힌트를 추가할 수 있도록 하여 이 문제를 해결합니다. 이는 여러 가지 장점을 제공합니다:

조기 오류 감지: 런타임에 발생하는 대신 개발 중에 유형 관련 오류를 식별합니다.
향상된 코드 가독성: 유형 힌트는 예상되는 변수 및 함수 인수 유형을 명확하게 하여 코드 가독성을 향상시킵니다.
더 나은 IDE 지원: 유형 힌트를 지원하는 IDE에서 향상된 코드 완성 및 인라인 문서를 제공합니다.

MyPy의 예

다음은 MyPy에서 유형 힌트를 사용하는 방법을 보여주는 간단한 예입니다.

유형 힌트 없음

def add(a, b):
    return a + b

print(add(5, 3))      # Output: 8
print(add("hello", "world"))  # Output: helloworld

로그인 후 복사

위 코드에서 add 함수는 정수와 문자열을 모두 허용하는데 이는 의도한 동작이 아닐 수도 있습니다.

유형 힌트 포함

def add(a: int, b: int) -> int:
    return a + b

print(add(5, 3))      # Output: 8
# mypy will report an error for the following line:
# print(add("hello", "world"))  # TypeError: Expected int, got str

로그인 후 복사

유형 힌트(a: int, b: int)를 포함하여 add가 정수에서만 작동하도록 지정합니다. MyPy는 이러한 유형 힌트에 대해 코드를 확인하여 잠재적인 유형 관련 문제를 조기에 포착합니다.

MyPy 설치 및 실행

MyPy를 시작하려면:

설치: pip를 사용하여 MyPy를 설치합니다.

   python3 -m pip install mypy

로그인 후 복사

MyPy 실행: 일단 설치되면 MyPy를 실행하여 코드에 유형 오류가 있는지 확인할 수 있습니다. 다음 명령을 사용하십시오.

   mypy program.py

로그인 후 복사

이 명령은 컴파일러가 C++에서 구문을 확인하는 방법과 유사하게 코드를 정적으로 확인합니다. 실제로 코드를 실행하지 않고도 발견한 모든 유형 오류를 보고합니다.

MyPy를 효과적으로 사용하면 정적 유형 지정의 이점을 Python에 통합하는 동시에 동적 특성의 유연성을 누릴 수 있습니다.

MyPy로 예제를 코딩해보자

MyPy 없이

def greeting(name):
    return 'Hello ' + name

# These calls will fail when the program runs, but MyPy will not report an error
greeting(123)
greeting(b"Aniket")

로그인 후 복사

마이파이와 함께

유형 주석(유형 힌트라고도 함)을 추가함으로써 MyPy는 잠재적인 문제를 감지할 수 있습니다.

def greeting(name: str) -> str:
    return 'Hello ' + name

greeting(3)         # mypy will report: Argument 1 to "greeting" has incompatible type "int"; expected "str"
greeting(b'Alice')  # mypy will report: Argument 1 to "greeting" has incompatible type "bytes"; expected "str"
greeting("World!")  # No error

로그인 후 복사

여기:

name: str 주석은 name 인수가 문자열이어야 함을 지정합니다.
-> str 주석은 Greeting 함수가 문자열을 반환하도록 지정합니다.

MyPy를 사용해야 하는 경우

MyPy는 여러 상황에서 유용합니다.

오류 조기 발견: 코드를 실행하기 전에 MyPy를 사용하여 유형 관련 오류를 찾으세요. 이는 실수를 조기에 발견하고 코드 안정성을 높이는 데 도움이 됩니다.
코드를 더욱 명확하게: 유형 힌트를 추가하면 코드를 더 쉽게 이해할 수 있습니다. 어떤 유형의 값이 예상되는지 보여줌으로써 다른 사람(그리고 미래의 자신)이 코드를 더 잘 이해하는 데 도움이 됩니다.
이전 코드 업그레이드: 이전 코드를 업데이트할 때 MyPy는 유형 힌트를 추가하여 유형 문제를 찾는 데 도움을 주어 전환을 더 원활하게 만듭니다.
프로토타입 개선: 새로운 기능이나 프로토타입을 구축할 때 MyPy는 유형 규칙을 적용하여 새 코드가 기존 코드와 올바르게 작동하도록 돕습니다.
대규모 프로젝트 유지: 기여자가 많은 대규모 프로젝트에서 MyPy는 코드 일관성을 유지하고 유형 관련 버그를 방지하는 데 도움이 됩니다.
IDE 기능 강화: IDE를 사용하면 MyPy에서 코드 완성, 탐색 등의 기능이 향상되어 개발이 더 쉬워집니다.