class ch03 — Protocol と ABC

class ch03 — Protocol と ABC

「型の約束」を 2 種類使い分ける

ゴール

• typing.Protocol で「形が同じなら OK」（構造的部分型）を書ける
• abc.ABC + @abstractmethod で「継承を強制」する書き方が読める
• Protocol と ABC の使い分け基準を 1 行で言える

なぜ「型の約束」が要るのか

def send(notifier, message: str) -> None:
    notifier.notify(message)

• notifier は 何でも 渡せてしまう (動的型付け)
• 「notify(message) を持っている」と 保証 したい
• → Protocol / ABC の出番

Protocol: 「形が合えば仲間」

from typing import Protocol

class Notifier(Protocol):
    def notify(self, message: str) -> None: ...

class SlackNotifier:
    def notify(self, message: str) -> None:
        print(f"[Slack] {message}")

def send(n: Notifier, msg: str) -> None:
    n.notify(msg)

send(SlackNotifier(), "hi")   # OK: 継承していなくても notify があれば OK

SlackNotifier は Notifier を継承していない。それでも型チェックを通る。

ABC: 「継承して実装を強制」

from abc import ABC, abstractmethod

class Notifier(ABC):
    @abstractmethod
    def notify(self, message: str) -> None: ...

class SlackNotifier(Notifier):       # 継承が必須
    def notify(self, message: str) -> None:
        print(f"[Slack] {message}")

# Notifier()                    # ❌ TypeError: abstract メソッドあり
# 未実装で継承すると、インスタンス化時に落ちる

並べて見る

使い分け 1 行ルール

• 外部から渡ってくる「形」だけ縛りたい → Protocol
• 自分で抽象クラスを設計し共通実装を持たせたい → ABC

FastAPI の DI (Depends) や差し替え可能な実装は、ほぼ Protocol で足りる。

drill

drill/ — Notifier Protocol と Slack / Mail 2 種類の実装を完成させる

よくある詰まり

次に学ぶ領域