Python Academy · 강의

TypeVar, 제네릭 클래스 및 Protocol

재사용 가능한 제네릭 형식과 Protocol을 사용한 구조적 서브타이핑을 정의합니다.

TypeVar, 제네릭 클래스 및 Protocol은(는) CoddyKit의 무료 Python Academy 강의입니다. 이것은 4개 중 3번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 Python Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. Python Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

TypeVar란 무엇입니까?

TypeVar는 어떤 타입이든 될 수 있는 자리 표시자인 타입 변수를 선언하며, 필요한 경우 타입을 제한할 수 있습니다. 제네릭 함수와 클래스에서 사용합니다.

from typing import TypeVar

T = TypeVar("T")

def identity(value: T) -> T:
    return value

print(identity(42))      # int
print(identity("hello")) # str

제네릭 함수

매개변수 타입과 반환 타입에 모두 TypeVar를 사용하는 함수에서는 mypy가 인수 타입을 바탕으로 반환 타입을 추론할 수 있습니다.

from typing import TypeVar

T = TypeVar("T")

def first(items: list[T]) -> T:
    return items[0]

x: int = first([1, 2, 3])     # mypy knows x is int
s: str = first(["a","b","c"]) # mypy knows s is str

제한된 TypeVar

TypeVar에 타입 제약 조건을 전달하면 허용되는 타입을 제한할 수 있습니다.

from typing import TypeVar

Numeric = TypeVar("Numeric", int, float)

def double(n: Numeric) -> Numeric:
    return n * 2

print(double(5))    # 10
print(double(2.5))  # 5.0
# double("x")  # mypy error

제네릭 클래스

타입 변수로 매개변수화된 클래스를 만들려면 Generic[T]을 상속합니다.

from typing import Generic, TypeVar

T = TypeVar("T")

class Stack(Generic[T]):
    def __init__(self) -> None:
        self._items: list[T] = []

    def push(self, item: T) -> None:
        self._items.append(item)

    def pop(self) -> T:
        return self._items.pop()

stack: Stack[int] = Stack()
stack.push(1)
print(stack.pop())   # 1

여러 TypeVar 사용

여러 TypeVar를 사용하면 서로 독립적인 두 타입을 기준으로 클래스나 함수를 매개변수화할 수 있습니다.

from typing import Generic, TypeVar

K = TypeVar("K")
V = TypeVar("V")

class Pair(Generic[K, V]):
    def __init__(self, key: K, value: V) -> None:
        self.key = key
        self.value = value

p: Pair[str, int] = Pair("age", 30)
print(p.key, p.value)   # age 30

프로토콜 — 구조적 서브타이핑

Protocol은 클래스가 명시적으로 상속하지 않아도 갖춰야 하는 메서드와 속성을 기준으로 인터페이스를 정의합니다(“덕 타이핑, 타입 검사”).

from typing import Protocol

class Drawable(Protocol):
    def draw(self) -> None: ...

def render(obj: Drawable) -> None:
    obj.draw()

class Circle:
    def draw(self) -> None:
        print("Drawing circle")

render(Circle())   # works — Circle satisfies Drawable

runtime_checkable을 사용하는 프로토콜

런타임에 isinstance() 검사를 활성화하려면 프로토콜에 @runtime_checkable을 추가합니다.

from typing import Protocol, runtime_checkable

@runtime_checkable
class Closeable(Protocol):
    def close(self) -> None: ...

class File:
    def close(self) -> None: print("closed")

print(isinstance(File(), Closeable))   # True

프로토콜과 ABC 비교

ABC는 명시적인 상속이 필요합니다(class Dog(Animal)). 프로토콜은 구조적으로 일치하는지 확인하므로, 클래스가 올바른 메서드를 갖추고 있으면 상속 여부와 관계없이 프로토콜을 충족합니다.

from typing import Protocol
from abc import ABC, abstractmethod

# ABC: nominal typing
class Printable(ABC):
    @abstractmethod
    def display(self) -> None: ...

# Protocol: structural typing
class Displayable(Protocol):
    def display(self) -> None: ...

bound가 있는 TypeVar

TypeVar("T", bound=BaseClass)는 T를 BaseClass 또는 그 하위 클래스로 제한합니다.

from typing import TypeVar

class Animal:
    def speak(self) -> str: return "..."

A = TypeVar("A", bound=Animal)

def make_speak(animal: A) -> str:
    return animal.speak()

제네릭 별칭 — 파이썬 3.12

파이썬 3.12에서는 타입 별칭을 깔끔하게 정의하는 type 문과 TypeVar를 가져오지 않고 제네릭을 작성하는 class Foo[T] 구문을 도입했습니다.

# Python 3.12+
type Vector = list[float]
type Matrix = list[Vector]

class Stack[T]:
    def __init__(self) -> None: self._items: list[T] = []
    def push(self, item: T) -> None: self._items.append(item)
    def pop(self) -> T: return self._items.pop()

Self 타입

Self(3.11 이상에서 typing에서 가져옴)는 현재 클래스를 반환하는 메서드에 주석을 지정하며, 유창한 인터페이스와 하위 클래스에서 유용합니다.

from typing import Self

class Builder:
    def __init__(self) -> None:
        self.parts: list[str] = []

    def add(self, part: str) -> Self:
        self.parts.append(part)
        return self

b = Builder().add("a").add("b")
print(b.parts)   # ["a", "b"]

빠른 확인

파이썬 타입 지정에서 프로토콜과 ABC의 핵심적인 차이점은 무엇입니까?

복습

TypeVar는 제네릭 함수와 클래스에 사용할 타입 자리 표시자를 만듭니다. Generic[T]은 클래스를 매개변수화합니다. Protocol은 상속 없이 구조적 서브타이핑을 가능하게 합니다. 허용되는 타입을 제한하려면 TypeVar에 bound= 또는 타입 제약 조건을 사용합니다.

자주 묻는 질문

“TypeVar, 제네릭 클래스 및 Protocol” 강의는 무료인가요?

네 — “TypeVar, 제네릭 클래스 및 Protocol” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 Python Academy 강의 전체를 잠금 해제할 수 있습니다. Python Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

“TypeVar, 제네릭 클래스 및 Protocol”에서 뭘 배우나요?

재사용 가능한 제네릭 형식과 Protocol을 사용한 구조적 서브타이핑을 정의합니다. 브라우저에서 직접 실행하는 실습 코드로 Python Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

Python Academy을(를) 시작하는 데 경험이 필요한가요?

사전 경험은 필요하지 않습니다. CoddyKit의 Python Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 3번째 강의입니다.

“TypeVar, 제네릭 클래스 및 Protocol” 강의는 얼마나 걸리나요?

대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.

이 Python Academy 강의에서 코드를 작성하고 실행할 수 있나요?

네. 모든 Python Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.

이 강의의 모든 강의

← Python Academy(으)로 돌아가기