機能説明

Question

している場合はf.n.c.ようになります:

void fnc(const SomeType&){/**/}  

やってリストの前提条件とpostconditionsこf.n.c.ると思い場前提条件の形式:
SomeTypeが必要であり正しいタイプ なダムですよね。思いこが僕のユニトして欲しいリストのようなことがた場合には、argないよう正確にコードなコンパイルがとにかくうしていること自体が間違っていて前提とすることを承諾します。であるにも関わらず、この日も、自分のしてください。

Answer 1

ない状態にあります。

と言いますと、コードの明確なコンパイルの場合の型と一致しません。

前提条件のように機能しています。

Answer 2

ご先生方をお願コメントを追加でこの種のはあるんじゃないでしょうかは、簡単な場合には、そのコメントはだのダムによって実証され、コンパイラですよね。

場合により、正式なタイプ定義されたアルゴリズムにより制限の実施において使用する種類のものC++.この場合のようなコメントがあります。

別置する場合はautogenerated文書に基づき、クラウドコンピューティング、文書化システムで抽出する情報から機能を試作品です。

Answer 3

い状態でこのように:

最初の引数はタイプ SomeType, やキャスタブルです。

るかどうかコンパイラでチェックしています。の場合 一部の 前提条件で工夫することから署名の機能のこえてくるということではないことになる。の前提条件のユーザでも可能であることをプログラムを書くというのが正しいとめるようにしました。

Answer 4

コメントにおいてあったか-その通りだと思う。のコメントをつかの有用な情報です。

リストの前提条件のかを伝えるべきかが満たされるようにするための機能です。リストのpostconditions教えるべきであるかを満足することで、関数の終了します。チェックでき、その条件を

• 実行時の主張を使用cマクロ assert()きの条件を満たすための機能です。その工程は終了します。
• 静主張（std::static_assertご利用の場合はc++0x、BOOST_STATIC_ASSERT).これは通常行われません、このチェックは行われコンパイル時に
• エラーメカニズム(例外をスロー又はエラーコード)

を追加することもでき一覧のテンプレートの引数の関数のコメントの作成に失敗した場合にマッチしない条件です。