python - PyCharm 警告和预期类型 : When To Care?

Question

关于 PyCharm 和警告的帖子和问题太多了，但对于 PyCharm 何时真正告诉您一些有用的东西以及何时没有，尤其是关于“预期类型”警告，似乎几乎没有达成共识。我发现，发布到 IntelliJ/PyCharm 支持板通常不会提供太多路线图。

所以我让这个问题的标题有点笼统，但我将提供一个非常具体的示例，其中包含两个不同的警告，修复其中一个会导致执行错误。我希望对这类警告可能有一个通用的答案。也许答案只是 PyCharm 不太擅长这种检测。

上下文

因此请考虑以下代码:

def load_agent(pacman, no_graphics):
  python_path_string = os.path.expandvars("$PYTHONPATH")

  if python_path_string.find(';') == -1:
    python_path_dirs = python_path_string.split(':')
  else:
    python_path_dirs = python_path_string.split(';')

  python_path_dirs.append('.')

  for module_dir in python_path_dirs:
    if not os.path.isdir(module_dir):
        continue

    module_names = [f for f in os.listdir(module_dir) if f.startswith('agents_')]

我的 for block 中有更多代码，但与此处的问题无关。我还要说我的代码确实 有效。但我担心的是我是否应该忽略有关类型的警告。

问题

我将从最后一行开始。如果你试图对你在 Python REPL 中传递的 startswith() 做任何奇怪的事情，你会被告知:

startswith first arg must be str or a tuple of str, not bytes

有道理。那么，为什么 PyCharm 会针对这一行说以下内容(“agents_”参数，特别是:

Expected type 'Union[bytes, Tuple[bytes, ...]], got 'str' instead

此外，上面的第 9 行(python_path_dirs.append('.'))也提供了 PyCharm 警告(特别针对“.”):

Expected type 'bytes' (matched generic type '_T'), got 'str' instead

解决方案尝试

对于第9行的问题，我知道我可以在字符串前面放一个b。然而，这样做会导致其他问题。具体来说，它会在最后一行导致执行问题(我最初提到的那个)。

所以要清楚:上面的代码按原样工作正常。如果我假设 PyCharm 正确地警告我，我将第 9 行修正为如下所示:

python_path_dirs.append(b'.')

这是 IntelliJ/PyCharm 团队提供的建议，我在其他一些 StackOverflow 答案中也看到了这一点。

但是，这样做会导致我上面代码的最后一行失败并出现此错误:

TypeError: startswith first arg must be bytes or a tuple of bytes, not str

让我感到矛盾

所以我担心的是，这两条线似乎“相连”，因为它们都收到了警告。试图满足第一个警告会导致第二行出现执行错误。然而，这些警告显然是针对不同类型的。此外，最后一行的警告似乎与 Python 本身所说的作为 startswith() 参数的期望相矛盾。

我意识到答案可能是:“如果您的代码有效，问题是什么？”但部分问题是我想信任我用于开发的工具。如果我开始关闭警告或只是假设一切正常，与该工具相反，我还不如不使用该工具。

Answer 1

我不为 Jet Brains 工作，但我使用 Resharper 和 PyCharm 多年。这是我对该主题的一般经验/想法(特别是针对 Pycharm)。

直到最近，随着类型提示 3.5+ 的可用性，PyCharm 不得不做出一些非常聪明的推断来提供类型检查和自动完成等功能。考虑到它做得非常好——但通常它的最佳猜测根本不正确。最终，有时只有开发人员才能决定它是否只是猜错了。

如果您像我一样，看到那些告诉您代码味道的小 curl 线，您将无法忍受。幸运的是，PyCharm 使您能够关闭对行、函数甚至文件的警告(例如 #noinspection PyTypeChecker - 在您的情况下)。当我知道 PyCharm 给我错误的警告时，我会依赖它们。有时我完全不同意 PyCharm 并调整整个项目的检查。

现在，有了类型提示，这应该会好很多(前提是开发人员使用它)。 PyCharm 将拥有更可靠的信息来做出决定。好消息是您可以提供帮助。

1. 确保为所有个人项目使用类型提示
2. 鼓励与您共事的其他人也这样做
3. 善意并积极地鼓励包维护者也这样做
4. 通过添加类型提示为项目做出贡献

如果每个开发人员都执行上述操作，那么您的大部分错误警告都会消失。在那之前，没有针对所有人的 Elixir 。您只需根据具体情况处理警告。