Подсказка типа генератору: send_type Any или None?

У меня есть генератор, который не использует значения send(). Должен ли я ввести его send_value как Any или None?

import typing as t

def pi_generator() -> t.Generator[int, ???, None]:
    pi = "3141592"
    for digit in pi:
        yield int(digit)

pi_gen = pi_generator()
next(pi_gen)  # 3
pi_gen.send('foo')  # 1
pi_gen.send(pi_gen)  # 4

Причины, которые я вижу для Any:

  • Генератор отлично работает с send() для любого типа, поэтому, если у кого-то была причина использовать .send(1) с этим генератором, это совершенно нормально.
  • Типы аргументов методов должны быть общими, причем .send(x: Any) является более общим, чем .send(x: None).

Причины, которые я вижу для None:

  • Типы возвращаемых значений должны быть конкретными, а «Генератор, который никогда не использует отправку» — более конкретный тип, чем «Генератор любого типа».
  • Если кто-то использует .send() для этого генератора, скорее всего, он неправильно понимает, что он делает, и подсказка типа должна проинформировать его об этом.
Почему в Python есть оператор "pass"?
Почему в Python есть оператор "pass"?
Оператор pass в Python - это простая концепция, которую могут быстро освоить даже новички без опыта программирования.
Некоторые методы, о которых вы не знали, что они существуют в Python
Некоторые методы, о которых вы не знали, что они существуют в Python
Python - самый известный и самый простой в изучении язык в наши дни. Имея широкий спектр применения в области машинного обучения, Data Science,...
Основы Python Часть I
Основы Python Часть I
Вы когда-нибудь задумывались, почему в программах на Python вы видите приведенный ниже код?
LeetCode - 1579. Удаление максимального числа ребер для сохранения полной проходимости графа
LeetCode - 1579. Удаление максимального числа ребер для сохранения полной проходимости графа
Алиса и Боб имеют неориентированный граф из n узлов и трех типов ребер:
Оптимизация кода с помощью тернарного оператора Python
Оптимизация кода с помощью тернарного оператора Python
И последнее, что мы хотели бы показать вам, прежде чем двигаться дальше, это
Советы по эффективной веб-разработке с помощью Python
Советы по эффективной веб-разработке с помощью Python
Как веб-разработчик, Python может стать мощным инструментом для создания эффективных и масштабируемых веб-приложений.
4
0
51
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Цитирование документации для typing.Generator:

Если ваш генератор будет выдавать только значения, установите SendType и ReturnType на None:

def infinite_stream(start: int) -> Generator[int, None, None]:
   while True:
       yield start
       start += 1

Установка SendType на None — это рекомендуемый способ сообщить, что генератор не ожидает от вызываемых абонентов значений send().

У вас есть подсказки, почему бы и нет typing.Never? Я бы сказал, что запретить вручную .send(None) лучше, чем разрешить, но в документации даже не предлагается такой альтернативы.

STerliakov 30.08.2024 20:16

На самом деле этот фрагмент документации старше версии 3.11, где был введен Never (а NoReturn изначально не предполагалось, что он будет иметь значение вне функций с недостижимым концом, поэтому здесь не рассматривался), это может быть просто упущением. Сегодня вечером я открою заявку на документацию, чтобы получить дополнительную информацию.

STerliakov 30.08.2024 21:28
github.com/python/cpython/issues/123521
STerliakov 31.08.2024 01:15

Другие вопросы по теме