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

发布时间：2020-12-15 08:01:35 所属栏目：百科来源：网络整理

导读：我在C#中使用Microsoft的Code Contracts扩展.当我编写一个具有重写的ToString实现的类,它返回null时,它正确地识别问题：我认为这是因为Microsoft在内部使用了Code Contracts,并且他们添加了对Object.ToString的Contract.Ensures调用.但是,当我看到 Object.T

我在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);

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!