問題タブ [contract]

実行時にコード コントラクトの動作を変更する方法はありますか? 同様に、実行時に事前または事後条件が失敗すると、アプリケーションがクラッシュします。クラッシュする代わりに、MessageBox を表示する方法はありますか??

私のコードの下に見つけてください。Employee クラスは IEmployee インターフェイスを実装します。

表示されているように、上記のコードはコンパイルされますが、インターフェイス インスタンスを作成できないため機能しません。

次に、このクラスはインターフェイスだけでなくクラスにも依存します...ある晴れた日の従業員クラスが従業員2になると仮定すると、2つの場所でコードが変更されます.. 1)[ServiceKnownType(typeof(MiddleWare.Classes.Employee2))]

2)IEmployee TempObject = (IEmployee)Activator.CreateInstance(typeof(Employee2));

それは避けたい。IOperationBehavior の実装で何かを行うことはできますか、またはこれを達成する Ninject の方法はありますか、それとも不可能を達成しようとしていますか?

コンストラクターによって強制される、特定の契約に関して常に有効になるように構造体を強制したいと思います。しかし、契約はdefaultオペレーターによって違反されています。

たとえば、次のことを考慮してください。

回避策として、構造体をクラスに変更して、新しいインスタンスを初期化するときにコンストラクターが常に呼び出されるようにしました。しかし、構造体で同じ動作を得る方法は絶対にないのだろうか？

私はRacketで無料のキャリー付き乗算PRNGを作成しました。provideライブラリ内の特定の関数へのアクセスのみを制限し、それらにコントラクトを課すために使用したいと思います。ラケットのドキュメント（上記のリンク）を使用して、ファイルの先頭に次のコードを配置しました。

しかし、DrRacketでファイルを実行すると、次のエラーが発生します。

上記のコードを挿入せずにDrRacketで実行すると、コードはエラーをスローせず、それ以外の場合は機能します。

ソースファイル外の特定の機能へのアクセスのみを制限し、Racketでそれらのコントラクトを適用する適切な方法は何ですか？

コンパイラの答え:

"Vector3fインターフェイス メンバを実装していませんIVector<float>.Add(ref IVector<float>)"

どの証明が最も時間がかかるかを特定するにはどうすればよいAssertですか?

推測とチェックよりも優れた方法はありますか?

Collection (または場合によっては Iterable でさえも) がクラス コントラクトによって順序付けられることが保証されているかどうかを判断する方法を探しています。

私はすでに Guava メソッドを知っています :Ordering.natural().isOrdered(myCollection) しかし、このメソッドはコレクション内の値が順序付けられているかどうかをチェックするため、私のニーズには関係ありません。それは私が決定する必要があるものではありません。私が持ちたいのは、次のisSortedように動作するメソッドです:

等...

私が見ているのは、通常、コレクションのクラスをチェックし、それをコレクションのある種の参照テーブルと比較することによって実装されます。コレクションは、それらが順序付けられていることを契約し、これらのクラスに対してのみ true を返します。

このようなものがすでにいくつかのライブラリに存在するかどうか知っていますか?

重複の可能性:
比較メソッドが例外をスローするのはなぜですか — 比較メソッドが一般規約に違反しています!

私はこのコードを持っています:

時々、この例外がスローされました:

なんで ？

1) どうすれば回避できますか? 2) この例外をキャッチするにはどうすればよいですか?

前もって感謝します。

組み込みのJsonSerializerに何らかのカスタムコントラクトリゾルバーを提供することは可能ですか？

応答データは次のようにフォーマットされます。

設定したいプロパティは次のとおりです。名前

問題は、キャメルケースからパスカルケース表記にデシリアライズするにはどうすればよいですか？

あなたが私を助けてくれることを願っています！