Contract.ForAll 不起作用？

Question

我正在尝试使用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“可能在空引用上调用方法”警告代码>.

我这样做对吗？它甚至应该起作用吗？或者我错过了什么？

Answer 1

来自代码合同用户手册< /a>，第 6.6.1 节检查器的当前限制和错误：

静态合约检查器尚未处理量词 ForAll 或 Exists。