ザーンの構想

コンピュータサイエンスにおけるザーンの構成要素は、「状況ケース文」としても知られ、1974年にチャールズ・T・ザーンによって初めて記述された、コンピュータプログラミング言語における構造化制御フローの提案構造である^{。[1]この構成要素は主に、}ループを終了する複数の手段を認識するためのループ構成要素の拡張として記述されている。たとえば、検索ループはターゲットが見つかった時点で早期に終了する場合もあれば、検索が失敗して完了した後に終了する場合もある。ザーンの構成要素は、どのケースに遭遇したかを判断する際に文を回避するために使用できる。ザーンは、ループを囲むCASEのような構成要素に状況インジケーターと呼ばれる新しい種類の変数を導入することでこれを実現している。 GO TO

ドナルド・クヌースは、論文「Go To文による構造化プログラミング」^[2]で、ザーンの構成の2つの形式を次のように説明しています。

<状況 1> または ... または <状況 n> になるまでループします。
  <ステートメントリスト 0>
繰り返す;
then <状況 1> => <ステートメント リスト 1>;
 ...
     <状況 n> => <ステートメントリスト n>;
フィ

そして：

<状況 1> または ... または <状況 n> まで開始します。
  <ステートメントリスト 0>;
終わり;
then <状況 1> => <ステートメント リスト 1>;
 ...
     <状況 n> => <ステートメントリスト n>;
フィ

特定の状況インジケーターを設定し、構造の本体を終了するステートメントも必要です。

次の簡単な例では、2 次元テーブルで特定の項目を検索します。

見つかった場合または見つからない
    場合は終了します。I := 1 ～ Nの場合、 J := 1 ～ Mの場合、 table[I,J] = targetの場合、見つかった場合は終了します。
        
            
    ない;
終了
    見つかりました: print ("アイテムはテーブル内にあります");
    欠落: print ("アイテムがテーブル内にありません");
終了;

現代のプログラミング言語で例外処理に使用されているtry-catch ブロックは、Zahn の構文の大幅な拡張です。大きな違いは、Zahn の提案の範囲がプログラム内の個々のループに限定されていたのに対し、例外処理機能では、コール スタックの奥深くから例外を「スロー」し、スタックの上位のポイントで「キャッチ」できることが多いことです。Zahn の構文はルーチンにローカルであるため、コール スタックを「アンワインド」する必要もなく、非常に効率的に実装できます。

Zahn は、状況ケース ステートメントを SKOL 言語で実装しました。SKOL は、 MORTRAN Fortran プリプロセッサのマクロ セットとして実装されました。

• Zahn, CT プログラミング言語における構造化制御SLAC Pub-1530、1975 年 1 月
• Schemeを使用して定義された制御構造。Zahnの構造はリストの最後のものです。
• Forthの GOTO を使用して定義された Zahn の構造
• SKOLプログラミング言語リファレンスマニュアル