vscode 中的 Python linter 類型檢查不完整（預期......得到......）

Question

我使用 vscode，我發現 Python linter(s) 沒有檢測到 python function 何時使用與其簽名定義不同類型的參數被調用。

在這種情況下， function 需要一個typing.Type[Exception]而不是Exception ：

Pycharm檢測到這種情況：

我認為mypy沒有檢測到這個，因為它使用了typing模塊（ mypy檢測到內置類型中的類型不匹配）。

• 有沒有辦法配置 mypy 來檢測這樣的情況？
• pycharm 使用哪種 linter？ 它存在於vscode中嗎？
• 是否有其他 linter 可以完成這項工作？

注意：我遵循了這個 SO 帖子（ --check-untyped-defs ）中的標志建議，但它沒有用。

Answer 1

在遵循評論部分中的建議后，我能夠通過以下方式在 vscode 中執行此操作：

1. 安裝Pylance 插件和
2. 在用戶設置上設置以下參數：

    "python.languageServer": "Pylance",
    "python.analysis.typeCheckingMode": "strict",