我正在尝试对类的成员函数返回的值使用@postcondition装饰器，如下所示:defout_gt0(retval,inval):assertretval>0,"Returnvalue当我尝试调用成员函数“bar”时(因此激发@postcondition提供警告)我得到这个:>>>f=foo(2,3)>>>f.bar()Traceback(mostrecentcalllast):File"",line1,inf.bar()File"",line106,in__call__result=self._func(*args,**kwargs)TypeError:bar()takesexac

为什么当警告级别处于2级或更高级别时，我会立即收到此琐碎代码示例的以下警告？publicintFoo(inta){if(a>=0)thrownewArgumentException("ashouldbenegative","a");Contract.EndContractBlock();returna;}CodeContracts:Suggestedrequires:Thispreconditionisredundant:Considerremovingit.Areyoucomparingastructvaluetonull?很明显，整数可以是负数，因此前提条件几乎没有多余，那么为什么

为什么ReSharper会根据这段代码来评判我？privateControlGetCorrespondingInputControl(SupportedTypesupportedType,objectsettingValue){this.ValidateCorrespondingValueType(supportedType,settingValue);switch(supportedType){caseSupportedType.String:returnnewTextBox{Text=(string)settingValue};caseSupportedType.DateTime: