実装プロセスの場合:
-
上から下への順序およびバイケース項目比較に応じて、case式、一度だけ評価され、コードを計算します
-
デフォルトの分岐がある場合は比較プロセスは、その後、我々は無視されます
-
アイテムマッチングと表現を持っている場合は、文はこの項目の下に実行されます。
-
マッチが失敗した場合、デフォルトのブランチ、デフォルトの分岐が実行されますが、
-
マッチが失敗した場合、デフォルトのブランチは終了していません
この理由は、プロセスを比較するために、プライオリティエンコーダにつながる可能性があることです