表明 (プログラミング)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/02/07 08:17 UTC 版)
表明(ひょうめい、英: assertion)とは、プログラミングにおける概念のひとつであり、そのプログラムの前提条件を示すのに使われる。アサーションとも呼ばれる。表明は、プログラムのその箇所で必ず真であるべき式の形式をとる。多くの言語ではそのような前提条件のチェックに表明を使用するが、設計上の判断を文書化するのに使う場合もある。表明が偽となった場合、プログラムにバグが潜在していることを示している。これを「表明違反; assertion failure」と呼ぶ。表明を言語構文や標準ライブラリとしてサポートするプログラミング言語も存在する。
- ^ C.A.R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, 1969.
- ^ assert - cppreference.com (C)
- ^ assert - cppreference.com (C++)
- ^ assert - cpprefjp C++日本語リファレンス
- ^ Conditional Compilation - D Programming Language, §Static Assert
- ^ Jon Jagger, Compile Time Assertions in C, 1999.[リンク切れ]
- ^ GCC 4.3 Release Series — Changes, New Features, and Fixes - GNU Project
- ^ Predefined Macros | Microsoft Docs (Visual C++ 2008)
- ^ Predefined Macros | Microsoft Docs (Visual C++ 6.0)
- ^ コンパイル時アサート - boostjp
- ^ Alan Turing, Checking a Large Routine, 1949
- ^ quoted in C.A.R Hoare, "The Emperor's Old Clothes", 1980 Turing Award lecture.
- 1 表明 (プログラミング)とは
- 2 表明 (プログラミング)の概要
- 3 エラー処理との比較
- 4 歴史
「表明 (プログラミング)」の例文・使い方・用例・文例
- 出馬表明した立候補者
- 反対を表明する
- その計画への反対を表明した
- 感謝の表明
- 首相は贈賄事件に遺憾の意を表明した
- 委員たちは不信を表明した
- 彼が決意を表明した
- Xに参加者が懸念を表明しました
- 彼がXを内外に表明した
- その大学は日本で初めて「ゲイフレンドリー」という方針を表明した。
- 彼は政府の計画に不信感を表明した。
- その党は国のイスラム化政策をストップすべきだと表明した。
- 私はEDINETで意見表明報告書を読んだ。
- 表明保証は英米の契約形式に由来している。
- 私たちは決意表明をした。
- 私たちはその意向を表明する。
- 私は既に彼の参加表明を取り付けています。
- その選手は今季で引退すると表明した。
- 彼は次の総裁選に立候補することを表明した。
- 彼らは彼を受け入れることを表明している。
- 表明 (プログラミング)のページへのリンク