JetBrainsは、PyCharm 2026.2のリリース系列に263件の修正と改善が含まれ、その多くが開発環境によるPythonコードの理解方法に集中していると発表しました。変更内容には、より正確な型推論、誤検知の削減、より適切な自動補完、インポートとリファクタリングの改善が含まれます。
同社によると、これらの変更は、単独の主要機能を提供するというより、特に最新の型や一般的なフレームワークを使用する際に、日常の作業で現れる細かな問題を対象としています。
SQLAlchemy 2.0のより正確なサポート
このアップデートでは、SQLAlchemy 2.0に関連する複数の問題が修正されました。これらの問題は、以前は誤検知の原因となっていました。PyCharmは、Mapped[...]内のクラスへの文字列参照を正しく処理できるようになり、Session.get()が返す型を、クラス型そのものではなく、モデルオブジェクトまたはNoneの値として推論します。
また、エディターは@name.inplace.setterを使用したhybrid_propertyの最新の設定ツールを認識し、mixinsを通じて継承されたモデルクラスの属性を処理できるようになりました。これにより、オブジェクト作成時に予期しない引数があるという報告が減少します。
型推論と実行フロー分析の改善
JetBrainsは、分析がコードの一部を誤って到達不能と報告したり、ループ内を通過した後に型の絞り込みを失ったりするケースを修正しました。isinstanceを使用してint | floatのような数値のユニオンを検査する場合、else分岐が到達不能として扱われなくなり、whileループ内でも正しい型の絞り込みが維持されます。
修正には、アンパックやスター式の使用時に型情報を維持すること、/=などの拡張代入によって生成される型を修正すること、Selfと、__new__、__init__、またはmetaclass __call__を使用するコンストラクターの結果の処理を改善することも含まれます。
列挙型では、.valueと.nameの値が、strやintへ拡張されるのではなく、正確なLiteral型として推論されるようになりました。また、デコレーターによって課される制約から、デコレートされた関数のパラメーター型を推論できるようになり、一般的なAny型が割り当てられることがなくなりました。
より便利なインポートと自動補完
自動インポートは、すでにインポートされているモジュールを再利用するようになり、重複した2回目のインポートを提案しなくなりました。モジュールがすでに利用可能な場合、PyCharmは修飾名による参照を優先します。また、ネストしたクラスの自動インポートにも対応しました。
文字列形式のunittest.mock.patch()の対象では、モジュール、クラス、属性を含むパスの自動補完が利用できるようになりました。また、組み込み関数やdunder関数を再定義する際の補完では、注釈付きのシグネチャ全体が入力され、必要な型が自動的にインポートされるようになりました。
実際には何が変わるのか？
これらの改善により、開発者が誤った警告を確認したり、インポートや補完の提案を修正したりする時間が短縮されます。行内の型ヒントはクリックして型の定義に移動できるようになり、使用箇所で直接、ジェネリック型の結果を理解するのに役立ちます。
このアップデートでは、f-string内の書式指定の検証も追加され、サポートされていない指定や__format__を実装していない型が検出されます。リファクタリングでは、モジュール名を変更すると、関連する参照とインポート文も更新されるようになりました。また、Refactor | Fieldアクションの名称がAttributeに変更され、オブジェクトの属性に関するPythonの用語と一致するようになりました。