【要約】Python の StrEnum と assert_never で文字列ドメイン値の typo と分岐漏れを防ぐ [Zenn_Python] | Summary by TechDistill
> Source: Zenn_Python
Execute Primary Source
// Problem
開発者が、記事メタデータ等のドメイン値を生の文字列として扱う際、バグを静かに見逃す問題に直面する。文字列は柔軟であるが、型による制約が弱いため、以下の問題が発生する。
- ・typoにより比較結果が常にFalseになり、バグが実行時エラーにならずに通過する。
- ・新しい値を追加した際、既存のif/elif分岐の更新を忘れる（分岐漏れ）。
- ・Enum定義において、意図せず同じ値を複数のメンバに割り当ててしまう。
// Approach
開発者が、型チェックと実行時検証の責務を分離することで、ミスを早期に検出する手法を採用する。具体的には、以下の3つの道具を使い分ける。
- ・StrEnumを用いて、アプリケーション上の意味を持つ値の集合を1箇所に集約する。
- ・@enum.verify(enum.UNIQUE)を使い、定義時の値の重複をインポート時に検出する。
- ・assert_neverをelse句に配置し、型チェッカーに分岐の網羅性を強制する。
- ・Literalを用いて、少数の文字列候補に対する比較ミスを型チェックで捕捉する。
// Result
開発者が、型チェッカー（Pyright等）を通じて、実行前に論理的な不備を特定できるようになる。これにより、以下の改善が実現する。
- ・値の追加に伴う分岐漏れを、実行前にエラーとして検知できる。
- ・比較対象のtypoを、型エラーとして報告させることができる。
- ・Enum定義の重複を、アプリケーションの起動前に発見できる。
Senior Engineer Insight
> 実戦的な設計思想である。型チェックと実行時検証の境界を明確にしている点が極めて高く評価できる。大規模開発では、型によるガードが開発速度と品質を両立させる鍵となる。ただし、Literalを使用する場合、型定義と実行時集合（set等）の同期コストが発生する。この二重管理を避けるために、実行時集合をStrEnumから動的に生成する設計を推奨する。また、型チェッカーのstrictモード設定をセットで運用することが、この手法の価値を最大化する条件である。