python实例方法调用类方法_Python输入：给它实例方法声明可调用类型

这是一个PyCharm类型检测程序错误.

mypy typechecker接受您的示例,没有警告或错误：

$bin/mypy --verbose so_41869174.py

LOG: Mypy version 0.470

LOG: Parsing so_41869174.py (so_41869174)

LOG: Parsing lib/mypy/typeshed/stdlib/3/typing.pyi (typing)

LOG: Parsing lib/mypy/typeshed/stdlib/3/builtins.pyi (builtins)

LOG: Parsing lib/mypy/typeshed/stdlib/3/sys.pyi (sys)

LOG: Parsing lib/mypy/typeshed/stdlib/3/abc.pyi (abc)

LOG: Parsing lib/mypy/typeshed/stdlib/3/types.pyi (types)

LOG: Parsing lib/mypy/typeshed/third_party/2and3/mypy_extensions.pyi (mypy_extensions)

LOG: Parsing lib/mypy/typeshed/stdlib/3/_importlib_modulespec.pyi (_importlib_modulespec)

LOG: Loaded graph with 8 nodes

LOG: Found 2 SCCs; largest has 7 nodes

LOG: Processing SCC of size 7 (_importlib_modulespec mypy_extensions types abc typing sys builtins) as inherently stale

LOG: Processing SCC singleton (so_41869174) as inherently stale

LOG: No fresh SCCs left in queue

LOG: Build finished in 0.482 seconds with 8 modules, 1708 types, and 0 errors

因为F().b是一个绑定方法,所以它在没有self参数的情况下继承了底层函数的签名(因为它是绑定方法在绑定实例中传递的工作).

>>> typing.get_type_hints(f.b)

{'x': , 'y': , 'return': }