ABC — номинальная типизация: класс должен явно наследовать абстрактный класс, а нереализованные @abstractmethod не дадут создать экземпляр. Protocol (3.8) — структурная: подходит любой класс с нужными методами без наследования, проверку делает mypy или pyright — это утиная типизация в аннотациях.
А ещё collections.abc (Iterable, Mapping) — готовые ABC с __subclasshook__
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
ABC — номинальная типизация. Тип определяется явным родством: class S3Storage(Storage). Если подкласс не реализовал все @abstractmethod, S3Storage() бросит TypeError. ABC может содержать общий код и шаблонные методы.
Protocol — структурная типизация. Тип определяется набором методов. Функция dump(out: Writable) примет файл, io.BytesIO, сокет-обёртку — всё, у чего есть write(bytes) -> int, без наследования. Проверку делает статический анализатор. @runtime_checkable позволяет isinstance, но проверяет только наличие методов, не сигнатуры.
Когда что:
collections.abc — готовые ABC (Iterable, Sequence, Mapping), часть из них распознаёт классы по методам через __subclasshook__: класс с __iter__ — уже Iterable для isinstance.
sottofrom abc import ABC, abstractmethod
from typing import Protocol
class Storage(ABC):
@abstractmethod
def save(self, data: bytes) -> None: ...
class Writable(Protocol):
def write(self, data: bytes) -> int: ...
def dump(out: Writable) -> None: # подойдёт и файл, и BytesIO, и свой класс
out.write(b"...")sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.