コードコントラクトはToStringオーバーライドがnullを返さないことをどのように知っていますか？

Question

私はC＃でMicrosoftのコード契約拡張を使用しています。私はnullを返しますオーバーライドされたToStringメソッドの実装を持つクラスを書くとき、それは正確に問題を識別します。

私は、Microsoftが内部でコードコントラクトを使用しているため、このだったと仮定し、彼らはObject.ToStringにContract.Ensuresコールを追加しました。しかし、私がObject.ToString source codeを見ると、私は契約を見ません（私は他の契約を見ていますが、私が探しているものはありません）。 ToStringがnullを返すべきではないとCode Contractsが判断する方法は？

Answer 1

これはコード契約の内部定義System.Object：(link)です。あなたが見ることができるように、彼らはこの制約を持つToString()を定義した：

Contract.Ensures(Contract.Result<string>() != null); 

あなたの質問に答えるために、コードの契約は、それが原因で内部契約の定義のヌルではありません知っています。