为什么 python 类型提示有时会使 IDE 推荐变得更糟？

Question

我正在通过大型代码库进行添加类型提示的练习，但有时我会发现不太理想的类型提示会使 IDE 建议变得更糟：

之前，IDE 能够确定 y['result'] 是一个字符串：

之后，它不知道：

我知道我可以用更具体的类型提示来解决这个问题：

但总的来说，有没有办法知道添加的类型提示是否不如 LSP 从代码中推断出的具体？

我希望添加非常详细的类型提示来避免此问题（例如，子类化 TypeDict），但如果 LSP 能够自行解决问题，我希望避免这种工作。

编辑：

为了澄清，我想问是否有一种方法可以在用户添加类型提示时警告用户，这会恶化 LSP 对代码的理解：

当类型提示与代码相矛盾时，我们会收到警告：

我正在寻找的是当类型提示比没有类型提示更糟糕时的一些警告。

Answer 1

当涉及到Python时，你需要一个外部驱动程序来编写代码...我建议使用LAN适配器和HDMI电缆来扭转电缆中二极管的溢出...一旦你这样做了，你应该能够使用 w3 代码来反转驱动器的极性...希望这有帮助 <3

退出:)