制御構造
最近の言語はGOTO文を使用せずに例外処理を行う構造化された制御構造を備えている。
任意の catch 節が上記の例では使用されている。D言語、Java、C#、Python では try 構造に finally 節を追加することができる。try 部分を離れる際にはどういう理由であっても必ず finally 節が実行されることが保証されている。これは処理を終了する際に何らかの高価な資源(オープン中のファイルやデータベース接続)を解放しなければならない場合に便利である。
この例は非常に一般的であり、C# ではこのための特別な構文がある。
上記の例の using ブロックを離れるとき、コンパイラが自動的に stm オブジェクトを解放する。Pythonの with 文やRubyの File.open へのブロック引数も同様の効果がある。
このような言語はいずれも標準の例外を定義し、それらがどのような状況で発生するかを定義している。ユーザーは独自の例外を発生させることもできる(実際、C++ と Python は任意の型の throw と catch が可能)。
特定の throw にマッチする catch がない場合、マッチする catch が見つかるまで入れ子構造を遡り、サブルーチン呼び出しを遡る。メインプログラムまで遡っても対応する catch がない場合、プログラムは適切なエラーメッセージを出力して停止する。
AppleScript スクリプト言語 は "try" ブロックにいくつかの情報を提供する。
1966年、Böhm と Jacopini は Communications of the ACM 誌で論文を発表し、goto を使って書かれたプログラムが選択 (IF THEN ELSE) とループ (WHILE condition DO xxx) のみを使って goto を使わずに書き換えられることを示した(コードの一部を複製したり、真理値フラグ変数を追加する必要がある)。後に彼らは選択もループ(と追加の真理値変数)で置き換え可能であることを示した(「構造化定理」)。
非常に良く誤解されているが、そのような書き換えが可能という事実は、単に「機械語で書けば何でも書ける」という事実と同程度の意味しかなく、それが望ましいということは全く意味しない。
一部のプログラミング言語(例えば、Ada、D言語、Smalltalk、PHP、Perl、Object Pascal、Java、C#、Visual Basic、Ruby、Python、JavaScript、Fortran 95 およびそれ以降)では、明示的に配列や集合やコレクションの全要素に対応してループを回すことができる。