代码之家 › 专栏 › 技术社区 › Fyodor Soikin

合同。所有的都不行?

code-contracts c#

2

Fyodor Soikin · 技术社区 · 14 年前

我想用 Contract.ForAll 我好像在这里找不到什么东西。

考虑这个小例子:

        var l = new List<string>();
        Contract.Assume( Contract.ForAll( l, s => s != null ) );

        foreach ( var s in l ) Console.WriteLine( s.Length );

尽管 Contract.Assume 打电话,我确实得到一个“ 可能对空引用调用方法 “警告” s.Length .

我做得对吗?它还能用吗?还是我错过了什么?

1 回复 | 直到 14 年前

1

Jeff Ogata 14 年前

从 Code Contracts User Manual 第6.6.1节:检查程序和错误的当前限制:

静态合同检查器尚未处理所有或存在的量词。

推荐文章

Åafak Gür · 通用接口的嵌套约定

11 年前

JSP · 接口上的CodeContracts不能在一个解决方案中跨不同的项目工作

11 年前

julealgon · 为什么接口合同不适用于程序集之外?

12 年前

Jamie Dixon · 代码契约和接口实现-1-1关系的一些原因是什么

12 年前