Python 2.7带存根的子类的类型暗示

如果不向函数添加类型注释,则表示不希望PEP-484兼容类型检查器检查该函数。

这意味着您需要执行方法2:显式添加类型提示,以便Pycharm(和mypy)知道您希望对该函数进行类型检查。

请注意,您的变通方法1实际上不起作用:如果您添加*。pyi文件,您告诉typechecker完全忽略对应的*。py文件。这可能不是你想在这里发生的事情。

更广泛地说,Pycharm(或mypy)推断 timestamp 始终为类型 float :子类型实际 拓宽 参数类型。例如,可能的情况是 B 的时间戳方法接受浮点或STR:

class B(A):
    def timestamp(self, timestamp):
        # type: (Union[float, str]) -> None
        print(timestamp)

或者可以扩大范围以接受 任何 类型:

class B(A):
    def timestamp(self, timestamp):
        # type: (object) -> None
        print(timestamp)

这两个定义都是A的有效子类型:它们都匹配A.timestamp的签名,而不违反 Liskov substitution principle 。

因此,由于我们不能很容易地自动推断子类型的签名应该是什么,所以Pycharm(和mypy)不要尝试。