ガード (プログラミング)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/04/07 06:06 UTC 版)
ガード (Guard) とは、コンピュータ・プログラミング言語において、条件式ないし条件分岐のような意味を持つもので、ある分岐で処理を続けるために真 (true) と評価されなければならない[1]式である。偽の場合は残りの処理のほうに進む。パターンマッチングのある言語の、パターンマッチングの能力をより強化したものと見ることもできる。すなわち、パターンマッチングとして構造がマッチしていても、その構造の中身の値を評価した結果によってはスキップさせることが可能なパターンのようなもの、である。
- ^ ないし、真 (true) として扱われる値(言語により異なる)でなければならない
- ^ Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18 (1975), 8: 453–457.
- ^ 初出は1972年となっているが、何度か更新している。
- 1 ガード (プログラミング)とは
- 2 ガード (プログラミング)の概要
- 3 歴史
- 4 参考文献
Weblioに収録されているすべての辞書からガード (プログラミング)を検索する場合は、下記のリンクをクリックしてください。
全ての辞書からガード (プログラミング) を検索
- ガード (プログラミング)のページへのリンク