「表明 (プログラミング)」の版間の差分

ここで、プログラマは <code>[[malloc]]</code> が <code>NULL</code> を返す場合があることに気づいている（メモリを確保できなかった場合）。オペレーティングシステムは <code>malloc</code> が常に成功することは保証していない。したがってプログラムはメモリ確保失敗に対処すべきである。この例では表明は最良の選択ではないだろう。というのも、malloc の失敗は論理的にありえないことではないからである。実際には滅多に発生しないが、設計上考慮すべき可能性である。しかし、このような表明にも利点がある。つまり、プログラマが自分の意思で malloc のエラーに対処するコードを書かない選択をしたことを他の人々に知らしめているのである。