2026-04-24

JavaのSealedクラスと網羅的なパターンマッチングの仕組み

Java 17では、ベースクラスを継承または実装できる型を制限するためのsealedクラスとインターフェースが導入されました。この機能により、switch式において網羅的なパターンマッチングが可能になり、default句を必要とせずにすべての可能なケースが処理されていることをコンパイラが検証できるようになります。