Как в аннотациях типов указать, что tuple содержит произвольное количество элементов одного типа (Tuple[str, ...])?

Аннотация кортежа с переменным числом элементов

В Python для аннотации типов кортежей, содержащих произвольное количество элементов одного типа, используется конструкция Tuple[тип, ...] из модуля typing. Многоточие (...) указывает, что кортеж может иметь любую длину, но все элементы должны соответствовать указанному типу.

Пример использования

from typing import Tuple

def process_items(items: Tuple[str, ...]) -> None:
    for item in items:
        print(item)

# Корректные вызовы:
process_items(("a", "b"))
process_items(("x",))
process_items(())

# Ошибка типизации:
process_items((1, 2))  # int не соответствует str

Где применяется

• Функции, принимающие переменное количество однотипных аргументов, упакованных в кортеж.
• API, где кортеж используется как неизменяемая последовательность фиксированного типа, но с неизвестной длиной.
• Совместимость с существующим кодом, где кортежи используются вместо списков для иммутабельности.

Вывод

Используйте Tuple[тип, ...] когда нужно аннотировать кортеж с произвольным числом элементов одного типа. Это улучшает читаемость кода и помогает статическим анализаторам (mypy, Pyright) выявлять ошибки типов.