PyCharm 2026.1.2 新增 Pyrefly 类型引擎支持，大幅提升代码分析效率

在 PyCharm 2026.1.2 中，您可以启用 Pyrefly 作为外部类型提供程序，从而大幅提升 IDE 代码洞察功能的运行速度。

什么是 Pyrefly LSP？

“LSP”代表语言服务器协议 (Language Server Protocol)，这是一种标准化协议，允许代码编辑器和 IDE 与语言服务器进行通信。LSP 使语言服务器能够提供代码智能功能，例如：

• 代码补全
• 悬停提示（例如快速文档）
• 转到定义及其他操作
• 错误检查和类型相关的诊断

LSP 的主要优势在于，它允许在多个工具中使用同一个语言服务器。这意味着无需在每个编辑器、IDE 或 CI 流水线中单独实现特定语言的智能功能。

Pyrefly 是 Meta 的下一代 Python 类型检查器，它使用 Rust 从零构建，旨在取代其前身 Pyre（使用 OCaml 编写）。通过转向 Rust，Pyrefly 实现了显著的性能提升和更好的跨平台可移植性。它不仅仅是一次重写，更旨在提供更强大、更稳健的功能，为维护大规模 Python 代码库提供高效的工具集，兼具高精度与低开销。

Pyrefly 具有以下优势：

• 更高的性能和效率 —— 得益于其基于 Rust 的架构，Pyrefly 实现了显著的提速，并改善了跨平台可移植性。
• 增强的代码智能 —— 作为外部类型提供程序，Pyrefly 为 IDE 中的关键代码洞察功能提供支持，包括类型推断、类型相关诊断、快速文档和嵌入式提示 (inlay hints)。
• 可扩展性 —— Pyrefly 专为处理大规模 Python 代码库而设计，具有高精度和低开销的特点。

对于优先考虑性能和稳健类型系统的、处理大型复杂 Python 代码库的项目和开发者来说，Pyrefly 非常有益。通过 LSP 集成 Pyrefly 是我们持续提升 PyCharm 代码洞察性能工作的一部分。

在 PyCharm 中使用 Pyrefly

启用后，Pyrefly 将驱动 PyCharm 中的所有代码洞察功能，包括类型推断、类型相关诊断、快速文档和嵌入式提示。将分析任务委托给这个更快的引擎，可以显著提升性能。

要开始在 PyCharm 项目中使用 Pyrefly，请前往窗口底部的类型 (Type) 小组件。默认情况下，IDE 使用内置类型引擎。点击该小组件并选择使用 Pyrefly 的选项。如果您尚未安装 Pyrefly，PyCharm 会自动为您安装。

[LOADING...]

切换到 Pyrefly 类型引擎后，您会在底部看到一个 Pyrefly 图标，将鼠标悬停在其上即可查看当前使用的版本。

[LOADING...]

请注意，该集成目前适用于本地解释器配置。对 Docker、Docker Compose、WSL、SSH 和多模块项目的支持计划在未来版本中提供。

Pyrefly 与内置类型引擎的对比

现在让我们看看 Pyrefly 和内置类型引擎在复杂 Python 项目中的表现。在这个 FastAPI 示例中，多个文件都进行了类型标注，但在当前文件中，变量 ref 的类型标注有误，导致了四个错误。使用内置类型引擎时，IDE 虽然能识别出问题，但会建议运行进一步分析来修复问题，这需要额外的步骤。

[LOADING...]

使用 Pyrefly 作为类型引擎时，IDE 会立即报告错误并高亮显示其来源。不过值得注意的是，在我们的示例中共有四个错误，但 Pyrefly 只识别出了其中的三个，它遗漏了 self._storage[ref] 中的那个错误。

[LOADING...]

下载最新版 PyCharm 并试用

准备好体验 Python 开发性能的飞跃了吗？PyCharm 2026.1.2 中的 Pyrefly 类型引擎带来了下一代类型检查技术。它采用 Rust 构建，速度无与伦比，解析文件的速度仅需 0.5 到 1 秒，显著快于内置引擎。如果您需要维护大型、复杂的 Python 代码库并注重稳健的类型系统，此功能至关重要，它能让您将分析任务委托给更快的引擎并获得即时的类型诊断。立即下载最新版 PyCharm (2026.1.2)，解锁更卓越的效率、可扩展性和代码洞察能力。