問題タブ [preconditions]

作成された例を使用するために、 form.submit() メソッドがあり、送信前にフォームを検証したいとします。呼び出し元のコードで、検証をメソッドの内側に行うべきですか、それともメソッドの外側に行うべきですか?

バリデーションをメソッド内に置くと、常にチェックされていることが保証され、条件が満たされないまま誰かがメソッドを呼び出すことを心配する必要がなくなります。ただし、呼び出しコードを読んでいる人にとっては、検証が行われていることが明らかではない可能性があり、呼び出しコードに独自のチェックを追加して、検証を 2 回チェックすることになります。呼び出しコードで form.submit() しか表示されない場合、検証を行っていることに気付かない可能性があり、メソッド呼び出しを囲む if 条件を追加して、呼び出しコードでそれを複製する可能性があります。

これを処理する適切な方法は何ですか？

また

疑似コードで前提条件を表現する方法を誰かが知っているかどうか疑問に思っていました。周りを見回しても、この件について何も見つかりませんでした。

ありがとうございました

デフォルトのプロパティを想像してみてください。

前提条件を追加したいと思いsetます。値は正の値のみであるということです。メンバー変数ボイラープレートを追加せずにそれを行うことは可能ですか？

Guava Preconditionsを使用すると、Java のメソッド パラメーターを簡単に確認できます。

これらのチェック メソッドは、条件が満たされない場合に例外を発生させます。

Go には例外はありませんが、戻り値でエラーを示します。ですから、上記のコードの慣用的な Go バージョンはどのようになるのだろうかと思います。

これは私が取っているJavaクラス用です。この本は事前条件と事後条件について言及していますが、それらをコーディングする方法の例は示していません。アサートについての話が続きますが、私はそれをダウンしていますが、私が行っている課題では、前提条件を挿入し、アサートで前提条件をテストすることを具体的に述べています。

どんな助けでも素晴らしいでしょう。

両者の区別がつかなくて困っています。通常は重複しない場合、どのように違うのですか? 前提条件であるが不変条件ではないものの例は何ですか?

私は一日中ウェブで検索してきましたが、何も見つかりませんでした。私のweb.configでは、次のように設定しました：

と

これにより、MyModule (この例では PostAuthenticateRequest にフックされている) が画像、css、js などの静的リソースで起動されなくなります。ただし、モジュールはページ内の .axd ファイルによって引き続き起動されます。特に、WebResource.axd から起動されます。

以下に、gcd メソッドの前後の条件を示します。

ただし、投稿条件をたどるのに問題があります...私にとっては、基本的に、両方で割り切れる整数を見つけると言っています。どのようにして最大除数を取得しますか、実際に条件は何を言っていますか?

コレクション「col」の最大値を見つけるために、前後の条件を記述しようとしています。再帰的にそれを行う方法がよくわからないので、誰かが助けてくれるかどうか疑問に思っていました!

Andrzejのmoveコンストラクターの記事へのコメントで、moved fromオブジェクトは、前提条件を持たない任意のメンバー関数を呼び出すことができると投稿しました。ベクトルが空でないという前提条件があるためstd::vector::front、moved-fromでは呼び出せない関数として例を示しました。std::vector、、およびを移動元で呼び出すことができる（ただし呼び出すべきではない）関数として、前提条件がないため、例を示しましたstd::vector::empty。std::vector::push_backstd::vector::reservestd::vector

しかし、それは私に考えさせられました。std::vector::push_backホストシステムで利用可能な十分な連続メモリがある必要があります。これは、std::vectorオブジェクトが実行されているシステムに関するものであるため、オブジェクトに対する要件ではありませんが、それでも私には前提条件のようです。

オブジェクトを有効であるが指定されていない状態のままにする移動コンストラクターのコンテキストは何ですか？それは、メモリ不足の可能性のある状況に適用されstd::vector::push_backますか？特に、std::vector::push_back移動前に機能していたとしたら、移動後に機能することが保証されていますか（他のプロセスがメモリを使い果たすなどの問題を無視して）？

参考：§17.6.3.1