ReSharper的代码检查添置

是否有可能延长ReSharper的代码检查/注释来处理，你知道staticly是正确的情况下？ReSharper的代码检查添置

例如，我有实用功能，我知道满足一定的条件，如：

static public bool IsValid(double? d) 
    { 
     return d != null && IsValid(d.Value); 
    } 
    static public bool IsValid(double d) 
    { 
     return !Double.IsNaN(d) && !Double.IsInfinity(d); 
    }

因此，这确保了为空的具有价值，而且我喜欢“可能System.InvalidOperationException”检查不火类似：

if (Utils.IsValid(nullableValue)) 
    { 
     DoSomethingWith(nullableValue.Value); 
    }

相信我可以抑制检查的/ etc，但有可能延长静态类型表明，这实际上确保该值非空的？

（我想相关的，但过于笼统的问题是，我应该使用另一种静态类型检查，而不是ReSharper的可能处理它，但我不会问，生怕被过于宽泛！）

来源

2013-04-26 Gene

我没有用它自己，但你可以尝试使用【合同注释功能（http://blogs.jetbrains.com/dotnet/2012/08/contract-annotations-in-resharper-7/）。 – 2013-04-26 15:07:14

看起来很有希望！现在查看它，看看正确的注释可能是什么。非常感激！ – Gene 2013-04-26 15:24:28

这在一般情况下非常有用，我一定会使用这些，但我没有看到表达它检查传递给它的值的约束的方法。（也就是说，它会检查输入和输出约束，但我没有看到在给定的返回值下表达一个方法，传递给它的参数会是真实的。） – Gene 2013-04-26 16:03:07

每丹尼尔建议，resharper支持大量annotations协助检查。

具体来说，通过documentation我们在这里寻找的是这样的：

[ContractAnnotation("d:null => false")] 
    static public bool IsValid(double? d) 
    { 
     return d != null && IsValid(d.Value); 
    }

这完全是卓有成效的，静态检查精美的作品。

爱是ReSharper的！

来源

2013-04-26 18:32:59 Gene

ReSharper的代码检查添置

回答

相关问题