問題タブ [contracts]

私の会社は、すべての開発者のために、任意のアプリストアでの任意のアプリケーション（無料でも）の配布を禁止するポリシーを通過させようとしています。

彼らの推論は、「外部の作業活動は利益の対立を生み出す」というものです。彼らは、「暇な時間を使ってアプリの作業をし、それが終わったら仕事を辞める」ことを望んでいません（開発責任者の言葉を引用）。

数人の開発者（私自身を含む）は、それが虐待的で無意味であり、ほとんどすべての逆効果的なポリシーであるとすでに述べています（開発者は実際にそのような管理下でここで働き、プロジェクトを配布する自由を拒否されるようになります）。

個人的には、副次的なプロジェクトを推進することは、実際には会社の利益になると思います（競合がなければ商業活動も）。

私も興味があります、それは一般的な習慣ですか？

通常の開発者が契約書をローカルで作成し、それを提出してグローバルに分析することに集中するためですか？

それとも、この経験に匹敵するものを手に入れる方法はありますか？たぶん別のダウンロードとして？

また、ライブラリにコントラクトがある場合、使用されているVSのバージョンに関係なく、インテリセンスツールチップにコントラクトが含まれますか？

私の質問は非常に簡単です。コード コントラクトが有効になっていると、ビルド時間が長くなることはありますか?

みんな。私は契約、ペックス、クイックグラフの間で困惑する相互作用を持っており、より知識のある人からのアドバイスに非常に感謝しています。1つの契約をコメントアウトするとフォールスネガティブがなくなるという再現ケースに要約しましたが、サブジェクトコード（クイックグラフ）のプロパティに副作用があるため、許可された時間内にデバッガーで診断できませんでした- gettersは、プロパティの値を表示するときにデバッガーが副作用を実行し、実際の実行順序を妨げることを意味します。

最初に少し背景を説明し、次に詳細を説明し、次にダウンロードして試してみるプロジェクトへのポインタを紹介します。

Pex＆Molesをインストールしました

http://research.microsoft.com/en-us/projects/pex/downloads.aspx

およびCodeContractsfor.NET 4.0

http://research.microsoft.com/en-us/projects/contracts/

nugetを介して、すべて.NET3.5用に構築された最新バージョンのQuickGraphをダウンロードしました。私はそれを必要最小限に剪定し、すべてのプロジェクトプロパティに移動し、それらすべてを.NET3.5クライアントプロファイルから.NET4.0に更新し、1つのソースを壊す変更を修正しました（これは些細なことであり、私の接続がほとんどない可能性があります）問題）。次に、すべてのプロジェクトページの[コードコントラクト]タブに移動し、すべての静的および動的オプションを有効にしました。

http://quickgraph.codeplex.com/releases/view/55262

プロジェクトには192の単体テストがあり、その多くはPexで生成されています（非常に素晴らしいです！）。テストを実行するには、プロジェクトのzipファイルを次の場所から取得します。

http://dl.dropbox.com/u/1997638/QuickGraph.zip

上記のリンクからPex＆MolesとContractsがあることを確認してください。ソリューションを開き、すべてを再構築してから、ソリューションレベルで、「ソリューションですべてのテストを実行」（control-R、A）を実行します。すべて合格します。次に、IImplicitUndirectedGraphContracts.csの49行目に移動し、大きなコメント（私が挿入）の下でコントラクトのコメントを解除します。1つのテスト、Prim12240WithDelegateは失敗します。

このテストでは、EdgesとEdgeCountのプロパティゲッターでユーザー指定のデリゲートを呼び出すことにより、オンザフライでエッジを構築するグラフコンストラクターを実行します。かわいい。しかし、IImplicitUndirecteGraphContracts.csの49行目のコントラクトに問題があります。

この契約をコメントアウトすると、テストに合格するため、これはフォールスネガティブです。デバッガーでこれを追跡しようとすると、プロパティゲッターでのエッジの作成のタイミングと関係があります。私はこれを解きほぐすことができませんでしたが、デバッガーがこれらのゲッターを呼び出し、サブジェクトコードがそれらを呼び出し、コントラクトコードがそれらを呼び出すため、おそらく静的に、おそらく動的に、私はそれに従うことを試みて迷子になり、私は思った契約執行の詳細を私よりよく理解している人に質問を投げかけます。

これが問題のある契約です。コメントアウトすると、単体テストが成功します。

[DataContract()] 属性でマークされていなくても、アセンブリ内のすべてのデータ型のメタデータを生成する Svcutil と /dconly オプションで問題が発生したことはありますか? また、XmlDictionaryReaderQuotas など、コードでのみ参照される型のメタデータを生成しているようにも見えますが、これらはメタデータを生成した物理アセンブリの一部ではありません。

いくつかの情報: SvcUtil の .NET 4.0 バージョンを使用します。クラスが空かどうかは関係ありません。SvcUtil のコマンド ラインで参照が指定されていません。

コマンドライン：

"C:\In Progress Work (Prospective)\Prospective Server\Prospective Server\Management\Prospective.Server.Server.NET40.Debug.AnyCPU.dll" /nologo /t:metadata /d:"C:\In Progress Work ( Prospective)\Prospective Server\Prospective Server\Management" /donly

メッセージ コントラクトを定義した WCF サービスがあります。IsWrapped を false に設定しました。サービスに xml を送信するときに、soap 本体のルート ノードで tempuri 名前空間を指定する必要があります。そうしないと、着信メッセージが null になります。XMLで名前空間を渡す必要がないように使用できる設定はあるのでしょうか? ところで、私は XmlSerializerFormat を使用しています。MessageBodyMember に名前空間を設定しようとしましたが、機能しません。

私はコードコントラクトを使い始めましたが、メソッドの「根性」をすぐに見つけるのが難しいことがわかりました。

この（非常に単純な）例を見てください：

今、私は契約を地域に置いて、それらを隠すことができるようにしたいと思っていますが、それから私はメソッドを一瞥してそれが何を期待するかを見ることができるという素晴らしい利点を失っているのではないかと心配しています。

契約を「整頓」するために何をしますか？それとも私はあまりにもうるさいですか？

.NET 4.0 にコントラクトが導入されて以来、Microsoft がこれを BCL のようにすべてのクラスに広めたのではないかと考えています。

そうでない場合、なぜですか？この種の機能は、標準ライブラリでデフォルトでサポートされている場合にのみ意味がありますよね?

私はJavaでのコントラクトの意味についてもっと知りたいと思っています。

Javaでの2つのコントラクトの例を次に示します。

そして2番目のもの：

ミッションは、これらの前提条件を使用して特定の配列を変更し、4が出現した後に5になるようにすることです。例：

fix45（{5,4,9,4,9,5}）-> {9,4,5,4,5,9}

fix45（{1,4,1,5}）-> {1,4,5,1}

これは私が書いたものです（それは動作します）：

私の質問：1。2つの契約の違いは何ですか？2.実際に前提条件を変更する必要がありますか？3.この「And」はどういう意味ですか？4. 2番目の契約に従ってコードをどのように変更する必要がありますか？

君たちありがとう。

WCFの達人に新しい質問があります。

したがって、Userデータベース操作に使用するDBの「User」表現に近いクラスがあります。ここで、このクラスをデータコントラクトとして使用する2つの異なるサービスコントラクトが必要ですが、それぞれ独自の方法で...つまり、

したがって、各サービスは、のサブセットである異なる種類のユーザーを取得するという考え方です'User'。DB操作にはそのまま使用したいのですが'User'、これを実現するための選択肢は何でしょうか。本当に別のデータコントラクトを作成する必要がありますか、それとも別のよりスマートな方法がありますか？

最善の方法は、解決策を提供するだけでなく、いくつかのベストプラクティスと代替案を説明することです。

前もって感謝します。

編集1：概要をわかりやすくするために、ここにダミーのDBLayerクラスを追加しました。この場合、継承が適切でない可能性がある理由を説明します。

解決策は、最後に''から/にマップするデータコントラクトとして別の' UserForService1'と' 'を使用することですが、他の観点が必要でした。UserForService2User

EDIT2：この場合私を助けた非常に良い記事：http：//bloggingabout.net/blogs/vagif/archive/2009/03/29/iextensibledataobject-is-not-only-for-backward-compatibility.aspx