int IList<T>.IndexOf(T value)
{
Contract.Ensures(Contract.Result<int>() >= -1);
Contract.Ensures(Contract.Result<int>() < ((ICollection<T>)this).Count);
return default(int);
}
我只知道Contract.Ensures();是验证后置条件.
Contract.Result<int>() ;但这句看不懂,MSDN 上说:“表示一个方法或属性的返回值。 ”在这里具体返回什么?或者麻烦高手再举更详细简单点的例子解释下,谢谢了。
{
Contract.Ensures(Contract.Result<int>() >= -1);
Contract.Ensures(Contract.Result<int>() < ((ICollection<T>)this).Count);
return default(int);
}
我只知道Contract.Ensures();是验证后置条件.
Contract.Result<int>() ;但这句看不懂,MSDN 上说:“表示一个方法或属性的返回值。 ”在这里具体返回什么?或者麻烦高手再举更详细简单点的例子解释下,谢谢了。
解决方案 »
- 关于UrlRewriter网址重写问题
- 求 winform 插件开发思想~~~给个思路
- 从网上收集EMail C#源码
- 索引器,能作为数据源,绑定到datagrid等吗?????请教谢谢!
- xml与窗体控件问题,简单的
- 怎样让一个窗体总在另一个窗体之前,而对于其他窗体,还是普通窗体
- 怎么让主进程挂起2秒?
- C# javascript 交互 互通
- C#的WinForm中的全局变量是否实现问题?
- 各位VS正式版下载完了,如何安装?
- 状态工作流Workflows Foundation出错,高手进来帮帮忙。
- 在ASP.NET中怎么用<%=content_time%>输出yyyy年mm月dd的日期格式?
static double DoSomething(double divisor, double dividend)
{
//要求函数返回值必须大于0
Contract.Ensures(Contract.Result<double>() > 0);
return divisor / dividend;
}