問題タブ [preconditions]

文字列を受け入れるメソッドがあり、それは文字列または通常の文字列として数値にすることができます。

clientIdここで、誰かが負の数値"-12345"またはゼロとして渡されているかどうかを確認してみましょう。"0"これを解釈してIllegalArgumentException、メッセージをスローする"clientid must not be negative or zero as a number"か、他の適切なメッセージである可能性があります。可能であれば、グアバの前提条件を使用してこれを行うにはどうすればよいですか?

提案に従って、私は以下のコードを使用しています:

それを行うより良い方法はありますか？

このSO postに続いて、関数の前提条件の値を出力したいと思います。ただし、次の場合は失敗します(おそらく破壊):

私はdir?ヘルパー関数を持っています（これをスキップしてください）：

それは問題なく動作し、isマクロを使用すると、テストと渡されたパラメーターの両方を確認できるいくつかの素晴らしいエラーメッセージが表示されます。

clojure.lang.PersistentList$EmptyList@1 (boot.user4515592986834245937.clj:86) で失敗: (dir? (io/file "resources/statice")) 実際: (not (dir? #object[java.io.ファイル 0x6730a420 "resources/statice"]))

ただし、前提条件で使用しようとすると:pre、醜いエラーが発生します。

clojure.lang.Compiler$CompilerException: java.lang.AssertionError: アサートに失敗しました: (is (dir? (io/file dir)))、コンパイル中:(boot.user4515592986834245937.clj:80:12) java.lang.AssertionError:アサートに失敗しました: (is (dir? (io/file dir)))

上記のようなエラーメッセージを関数で取得するにはどうすればよいですか?

念のため、Clojure 1.7 を使用しています。

String を受け入れるメソッドがあり、clientid以下の要件があります。

• clientidゼロより大きい正の数にすることができます。ただし、負の数またはゼロの場合はIllegalArgumentException、メッセージとともにスローします。
• clientidnullまたは空の文字列にすることはできません。しかし、そうであればIllegalArgumentException、メッセージを投げてください。
• clientid通常の文字列でもかまいません。たとえば、abcdefghまたはその他の文字列にすることができます。

このコードは正常に動作します。問題は、バージョン 11 以上の guava ライブラリを使用できないことです。使用すると、このライブラリを使用するお客様に問題が発生するため、要するに、final Long id = Longs.tryParse(clientid);グアバを使用せずにこの行の代替品を探しているか、使用できる可能性があります。古い guava バージョンLongs.tryParse11。Guava 14 以降でメソッドが追加されたため。

それを行う最善の方法は何ですか？Apache Commons から使用できるものはありますか?

私はプログラミングの方法を学んでいますが、頭を悩ませることができないのは、 preconditions とpostconditionsです。

関数を呼び出す前の if ステートメントは前提条件と見なされますか、それともほとんどの言語でこれを行う別のより効率的な方法はありますか?

また、プログラミングに関する現在の知識で理解できる前提条件の例を見つけるのに苦労しています。誰かが単純なものを証明できれば、本当に感謝します（どの言語でも問題ありません）

Liquibase 変更セットで問題が発生しました。変更セットはどういうわけかそのようなものです:

私はそれを絶対に知っており、table_a存在します...しかし、それでも常に実行され、リンクされたファイル内のSQLが有効かどうかを何度か確認しました。そのSQLを直接発行すると、文句なしに実行されます。table_btable_cview-definition-v1.sql

ファイル内のSQLview-definition-v1.sqlはやや似ています

ファイル内のSQLview-definition-v2.sqlはやや似ています

tableName="table_a"私はすでにまたはを試しtableName="TABLE_A"ましたが、それでもまったく機能していないようです。この問題を示さない他のいくつかの変更セットを取得しました。誰かが手がかりを持っていますか??

使用する Liquibase のバージョンは 3.4.2、データベースは Oracle 12cR1 StandardEdition1

ヒントをありがとう、そしてよろしく、B

私は Eigen の SparseLU と BicGSTAB メソッドを、3000*3000 から 16000*16000 の範囲の密行列のサイズの疎行列でテストしました。すべてのケースで、SparseLU が BicGSTAB メソッドよりも約 13% 高速であることを示しています。

BiCGSTAB に RowMajor スパース マトリックスをフィードしたり、プレコンディショナーを与えたりしませんでした。それが遅い理由かもしれません。

だから、両方の方法をうまくやれば、どちらが速いのでしょうか?

行列のサイズが数百万 * 数百万になるとどうなりますか?

どうもありがとう！

前提条件を持つ Swift メソッドのテストをどのように作成しますか? 以下に例を示します。

使用XCTAssertThrowsErrorしても機能しません:

これにより、テストの実行時にエラーが発生します。

スレッド 1:EXEC_BAD_INSTRUCTION (コード = EXCI386_INVOP、サブコード = 0x0)

Swift の前提条件をテストする方法はありますか?

テーブルに varchar 型の列があります。定義されたvarchar型のサイズを確認するには、どの SQL 選択を実行する必要がありますか?

ノート！

1. 問題は、varchar 列で最大値または最小値を選択することではありません。定義された型サイズを確認する必要があります。
2. はい、テーブル定義全体を表示するために使用できるDESCRIBEandステートメントがあります。EXPLAINしかし、この方法は私には適していません.liquibaseの前提条件を検出するには、列が更新されているかどうかを確認する必要があるだけなので、この方法は適していません。

次のインターフェースを検討してください。

entity、target、およびworldはすべて有効な入力であることを認めます。しかし、パスを見つけるために使用されるアルゴリズム (この場合は Astar) は、パスを見つけることができません。コンクリートの壁に囲まれたターゲットの位置。

事後条件がエンティティからターゲットへのパス(開始からゴール) または NoPathException (パスが見つからなかった場合) であると述べるのは有効ですか? -それとも、スタートからゴールまで有効な経路がなければならないという前提条件を述べるべきですか?

これは宿題ではなく、学期のプロジェクト レポートを改善するための質問です。フレームワークについて学ぶつもりはありません。これは純粋に、契約による設計に関する標準と形式の問題です。この件についてご説明いただきありがとうございます。

Doxygen で文書化されている、純粋仮想関数を呼び出す関数をFoo持つこの単純な基本クラスを検討してください。foofoo_

この抽象クラスについて文書化する前提条件はありません。

Barここで、正しく機能するための前提条件が存在する派生クラスを考えてみましょう。

foo_ここで、によって呼び出されるを呼び出すときに x に前提条件がありfooます。次に、foo最終的な型に応じて前提条件があります。

いくつかの質問 ：

1. Foo::foo最終的なタイプに関係なく、前提条件を追加する必要がありますか? ユーザーがクラスを使用するときに最終型をまったく知らない場合、それは論理的に見えます。ただし、ユーザーは前提条件なしで別のクラスをBaz派生させ、負の値で明示的に呼び出すこともできます。それは問題ではないはずです。FooBaz::foo(double)
2. 私のポリモーフィズムの概念では、クラスFooは自分の子供について何も知る必要がないため、前提条件は存在しません。しかし、親クラスのユーザーは、クラスを使用するために子クラスを知る必要はありません。この矛盾を解決するには？
3. この種のことを Doxygen で文書化する特定の（/最良の）方法はありますか？