制御構造
(control flow から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/21 13:57 UTC 版)
制御構造(せいぎょこうぞう)は、コンピュータ・プログラミング言語、特に手続き型プログラミング[1]や命令型プログラミング[2]において、ループや飛び越しなどといった、手続き(プロシージャ)中の実行順を順次実行から変化させたり、サブルーチン呼出しやその戻り、などといった制御を行う「文 」などの構造(言語の構成要素)である[3]。
- ^
while (true)
は構文としては無限ループ専用の構文ではないので、ここでは無限ループに含めていない。一方、for (式;;式)
は無限ループ専用とみなしている - ^ a b c d e f g h C言語の
for (init; test; increment)
は汎用であり、カウント制御専用ではないが、カウント制御として使われることが多い。 - ^ a b c d e f C、C++、C# での深い入れ子からの脱出は、ラベルとgoto文を使用する。
- ^ C++11標準で、範囲に基づくforループが導入された。STLには
std::for_each
というテンプレート関数があり、STLのコンテナに対して各要素に単項関数を適用できる[9]。同様の機能はマクロを使っても実現可能[10]。 - ^ a b カウント制御ループは整数 interval によるイテレーションで実現される。早期脱出は exit に条件を追加することでなされる。
- ^ Eiffelには
retry
という予約語があるが、これはループ制御用ではなく例外処理用である。 - ^ ループ変化条件は整数でなければならず、超限的変化条件はサポートしていない[1]
- ^ a b c d e f g h i 深いブレイクを実現するには、例外処理を活用する必要がある。
- ^ a b Java Modeling Language (JML) が必要
- ^ a b c カウントループは例えばPythonの
range()
を使って incrementing list や generator でシミュレートされる。 - ^ オブジェクト群のイテレーションは PHP 5 で追加された。
- ^
while
関数を使用する(関数ではないが、関数だと誤解している者が多い)。 - ^ ユーザーが汎用ループ関数を定義できる。
- ^ ただし、標準ライブラリに無限ループを実現するloopメソッドが存在する。
- ^ procedural programming
- ^ imperative programming
- ^ bit 編集部『bit 単語帳』共立出版、1990年8月15日、122頁。ISBN 4-320-02526-1。
- ^ https://gcc.gnu.org/onlinedocs/gcc/Labels-as-Values.html
- ^ Böhm, Jacopini. "Flow diagrams, turing machines and languages with only two formation rules" Comm. ACM, 9(5):366-371, May 1966.
- ^ Meyer, Bertrand (1991). Eiffel: The Language. Prentice Hall. pp. 129â131
- ^ Predicates and Specification Expressions in "JML Reference Manual"
- ^ “Common Lisp LOOP macro”. 2012年9月8日閲覧。
- ^ for_each. Sgi.com. Retrieved on 2010-11-09.
- ^ Chapter 1. Boost.Foreach. Boost-sandbox.sourceforge.net (2009-12-19). Retrieved on 2010-11-09.
- ^ Knuth, Donald E. "Structured Programming with go to Statements" =ACM Computing Surveys 6(4):261-301, December 1974.
- ^ Dahl & Dijkstra & Hoare, "Structured Programming" Academic Press, 1972.
- ^ Zahn, C. T. "A control statement for natural top-down structured programming" presented at Symposium on Programming Languages, Paris, 1974.
- ^ We don't know where to GOTO if we don't know where we've COME FROM. This (spoof) linguistic innovation lives up to all expectations. By R. Lawrence Clark* From DATAMATION, December, 1973
- ^ http://catb.org/jargon/html/C/COME-FROM.html
- ^ http://www.nurs.or.jp/~sug/soft/super/longjmp.htm#sec36
- control flowのページへのリンク