说合约静态检查器扩展方法不允许为空？

Question

 Contract.Requires(completeURL.IsUri()); // Error: Contract.Requires(completeURL != null)

我可以在没有 Contract.Assume() 的情况下执行此操作吗？
我的意思是这样的：

    [Pure]
    [DefinitelyNotANullStringAfterThatMethod]
    public static bool IsUri(this string str)
    {
        return Uri.IsWellFormedUriString(str, UriKind.Absolute);
    }

Answer 1

    [Pure]
    public static bool IsUri(this string str)
    {
        Contract.Ensures(!Contract.Result<bool>() || str != null); // by Dan Bryant
        return Uri.IsWellFormedUriString(str, UriKind.Absolute);
    }

或许？

Answer 2

根据我的经验，拥有这样需要验证方法的合同会让你自己变得非常困难。

如果您更改方法的签名，使其采用 Uri 而不是字符串，您可以让生活变得更简单 - 因为它必须是一个有效的Uri。

Answer 3

    [Pure]
    public static bool IsUri(this string str)
    {
        Contract.Ensures(!Contract.Result<bool>() || str != null); // by Dan Bryant
        var result = Uri.IsWellFormedUriString(str, UriKind.Absolute);
        Contract.Assume(!result || str != null); 
        return result;
    }