Java SE 17のswitchは文としてだけでなく値を返す式として利用でき、矢印ラベルやyieldによって分岐ごとの結果を明示できます。

曜日から種別を返す処理では、各caseを矢印で記述すると意図しないフォールスルーを避けられます。従来のswitch文との構文差と網羅性が要点です。

この用語は単独で暗記せず、目的、入力、処理、結果、適用できない境界の順に説明できるようにします。実務では前提条件と評価基準を明記し、期待した結果と実測結果を区別します。