c# – Code Contracts如何知道ToString覆盖不应该返回null？

我在C#中使用Microsoft的Code Contracts扩展.当我编写一个具有重写的ToString实现的类,它返回null时,它正确地识别问题：

我认为这是因为Microsoft在内部使用了Code Contracts,并且他们添加了对Object.ToString的Contract.Ensures调用.但是,当我看到Object.ToString source code时,我没有看到任何合同(我确实看到了其他合同,但不是我正在寻找的合同). Code Contracts如何确定ToString不应该返回null？

解决方法

这是System.Object： (link)的Code Contracts内部定义.正如您所看到的,他们使用此约束定义了ToString()：

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

为了回答您的问题,代码合同因内部合同定义而知道它不为空.