输入提示返回，返回无，或者根本不返回？

Question

这三个函数的返回类型提示有什么不同吗？

def my_func1():
    print("Hello World")
    return None

def my_func2():
    print("Hello World")
    return

def my_func3():
    print("Hello World")

他们都应该有< code>-

提问的动机是这个问题，这个很好的答案，以及我正在学习类型提示的事实。

Answer 1

如果您的函数的签名中没有任何类型提示，则默认情况下mypy根本不会检查它们。请考虑以下事项：

< code>$ cat foo.py

def foo():
    """this function has no type hint in its signature 
    it won't be checked and the error will be ignored."""
    "foo" + 1
    return None

def bar() -> None:
    """this has type hint in the signature
    it will be checked and error will be reported"""
    "bar" + 1
    return None

$ mypy ./foo.py
foo.py:6: error: Unsupported operand types for + ("str" and "int")
Found 1 error in 1 file (checked 1 source file)

Answer 2

他们都应该有-

请注意，对于实际上从不返回任何内容的函数，也存在typing.NoReturn类型。

from typing import NoReturn

def raise_err() -> NoReturn:
    raise AssertionError("oops an error")

其他类型的函数(由@chepner指出)实际上从不返回，因此应该使用< code >进行类型提示

或者< code>my_func2或< code>my_func3应该没有返回类型提示吗？

在我看来，它们应该总是有一个类型提示，因为正如@yedpodtrzitko在他们的回答中所说的，没有类型提示的函数在默认情况下根本不会被mypy进行类型检查，它们的返回值基本上被认为是< code>Any。这大大降低了类型检查的好处，这也是我总是对新项目使用mypy设置< code > disallow _ untyped _ defs = True 的原因之一。