Аннотация типа возвращаемого значения void в Python

Question 1

В python 3.x обычно используется аннотация типа возвращаемого значения функции, например:

def foo() -> str:
    return "bar"

Какая аннотация подходит для типа "void"?

Рассматриваю 3 варианта:

def foo() -> None:
- не логично ИМО, потому что Noneэто не тип,
def foo() -> type(None):
- используя лучший синтаксис, который я знаю для получения NoneType,
def foo():
- опускать явную информацию о типе возврата.

Вариант 2 кажется мне наиболее логичным, но я уже видел несколько примеров 1.

Question 2

Это прямо из документации PEP 484 - Type Hints :

При использовании в подсказке типа выражение Noneсчитается эквивалентным type(None).

И, как вы можете видеть, в большинстве примеров используется Noneтип возвращаемого значения.

Question 3

TL; DR: идиоматический эквивалент voidаннотации возвращаемого типа - -> None.

def foo() -> None:
    ...

Это соответствует тому, что функция без returnили просто returnоценивает None.

def void_func():  # unannotated void function
    pass

print(void())  # None

Отсутствие возвращаемого типа не означает, что возвращаемого значения нет. Согласно PEP 484 :

Для проверенной функции аннотация по умолчанию для аргументов и для типа возвращаемого значения - Any.

Это означает, что значение считается динамически типизированным и статически поддерживает любую операцию . Это практически противоположное значение void.

Подсказка типов в Python не требует строго фактических типов. Например, аннотации могут использовать строки имен типа: Union[str, int], Union[str, 'int'], 'Union[str, int]'а также различные варианты эквивалентны.

Точно так же аннотация типа Noneсчитается означающей «имеет NoneType». Это можно использовать не только для возвращаемых типов, хотя чаще всего вы увидите это там:

bar : None

def foo(baz: None) -> None:
    return None

Это также относится к универсальным типам. Например, вы можете использовать Nonein, Generator[int, None, None]чтобы указать, что генератор не принимает и не возвращает значения.

Несмотря на то, что PEP 484 предполагает, что это Noneозначает type(None), вы не должны использовать последнюю форму явно. Спецификация подсказки типов не включает никаких форм type(...). Технически это выражение времени выполнения, и его поддержка полностью зависит от средства проверки типов. mypyПроект рассматривает возможность удалить поддержку для type(None)и удалить его из 484 , а также.

Или, может быть, нам следует обновить PEP 484, чтобы не предполагать, что type(None)это действительный тип и Noneявляется единственно правильным написанием? Должен быть один - и желательно только один - очевидный способ сделать это и т. Д.

--- JukkaL, 18 мая 2018 г.