In che modo i Contratti di codice sanno che le sostituzioni di ToString non devono restituire nulla?

Question

Sto utilizzando l'estensione Microsoft Code Contracts con C#. Quando scrivo una classe con un'implementazione ToString override che restituisce null, si identifica correttamente il problema:

Ho assunto questo era perché Microsoft utilizza contratti di codice interno, e hanno aggiunto una chiamata Contract.Ensures-Object.ToString. Tuttavia, quando guardo il Object.ToString source code non vedo alcun contratto (vedo altri contratti, ma non quello che sto cercando). In che modo i Contratti di codice determinano che ToString non deve restituire nulla?

Answer 1

Questa è la definizione interna Contratti di codice di System.Object: (link). Come si può vedere, che hanno definito ToString() con questo vincolo:

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

Per rispondere alla tua domanda, Code Contracts sa che non è nulla a causa di una definizione di contratto di interno.