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

前端之家收集整理的这篇文章主要介绍了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);

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

原文链接:https://www.f2er.com/csharp/100359.html

猜你在找的C#相关文章