Eclipse + PyDev：使用文档字符串进行类型检查（如 PyCharm）

Question

我对 PyCharm 通过检查文档字符串中的类型提示来检测代码中的错误的能力印象深刻：

def f(a):
    """Some docs here

    :type a: int
    :rtype: str
    """
    ...

我正在尝试在 PyDev 中复制它。

如docs 中所述，PyDev 可以使用 docstring 来推断参数和返回类型：

所以，我可以根据变量类型向 PyDev 询问允许的方法（Ctrl + Space），但我不能将它用于代码检查，以确保我不会滥用变量。

是否可以在 PyDev 中的代码分析期间包含此检查？

Answer 1

PyDev 并没有真正对实例/参数进行类型检查（即使在这种情况下它知道代码完成的类型）......现在它只抱怨在跟随导入时找不到令牌。

所以，在这一点上，这将是 PyDev 的一个功能请求......到目前为止我还没有实现这个，因为知道类型可能很棘手，但我认为当它 100% 确定类型时（来自类型提示），它确实可以进行这种分析——它也应该相当简单地实现，所以，主要问题是我有时间去做——或者有人贡献它；）