咨询在mypy中实现函数返回类型引用或自动推断的方法

1. 显式标注返回类型 #

你想要的显式标注写法接近正确，但typeof并非Python typing体系中的合法语法。正确的实现方式是借助typing模块的ReturnType，结合type(b)来获取函数b的返回类型：

首先导入必要的类型工具：

from typing import ReturnType

然后修改函数a的类型标注：

def a() -> ReturnType[type(b)]:
    return b()

该写法在Python 3.8+版本配合mypy即可正常工作；若使用Python 3.10+，也可借助PEP 613引入的TypeAlias进一步简化，但上述写法已满足需求。

2. 让mypy自动推断返回类型 #

mypy默认支持自动推断此类简单场景的返回类型，只需满足两个条件：

• 函数b本身有明确的返回类型标注，或mypy可通过b的代码逻辑推断出其返回类型
• 未在mypy配置中禁用类型推断（默认开启）

举个例子，若b的定义如下：

def b() -> int:
    return 42

mypy会自动推断a的返回类型为int，无需手动添加标注。如果b没有显式标注，但返回逻辑明确（比如返回字面量），mypy在默认模式下也能推断出具体类型；若b的实现较为复杂，mypy可能会推断为Any，此时可开启--strict模式或--no-implicit-optional等严格选项，增强类型推断的精准度。

你可以通过reveal_type查看mypy的推断结果（仅在mypy检查时输出，不影响代码运行）：

reveal_type(a())  # mypy会输出类似「Revealed type is 'builtins.int'」的信息

内容的提问来源于stack exchange，提问作者cdaringe