如何表达库中的方法是纯粹的？

Question

鉴于您需要调用无法在Contract.Requires中修改的库的方法（vg，方法Regex.Matches），有一种方法可以指示此方法是纯？

 Contract.Requires<ArgumentException>(Regex.Matches(password, "\d").Count > 1)

警告：在方法合同中检测到方法'System.Text.RegularExpressions.Regex.Matches（System.String，System.String）'没有[Pure]的调用

Answer 1

实际上这是不可能的。微软将装饰这样的方法的签名，以提供与代码契约的更好集成。