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

概述我在C#中使用Microsoft的Code Contracts扩展.当我编写一个具有重写的ToString实现的类,它返回null时,它正确地识别问题： 我认为这是因为Microsoft在内部使用了Code Contracts,并且他们添加了对Object.ToString的Contract.Ensures调用.但是,当我看到Object.ToString source code时,我没有看到任何 我在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);

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

总结

以上是内存溢出为你收集整理的c# – Code Contracts如何知道ToString覆盖不应该返回null？全部内容，希望文章能够帮你解决c# – Code Contracts如何知道ToString覆盖不应该返回null？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。