运行时代码合同是否与ASP.Net兼容？

Question

我正在尝试在ASP.NET应用程序（MVC 3）中使用代码契约，这很简单：

public class MyController : Controller
{
    private readonly MyEntities _db;
    public MyController(MyEntities db)
    {
        Contract.Requires<ArgumentNullException>(db != null);
        _db = db;
    }

与项目设置一样：

• 运行时检查：完整
• 标准合同要求

但是在运行时，db equall为null，我没有得到异常。奇怪，因为在控制台中的相同测试确实提供了运行时错误。

是否存在禁用运行时合同的ASP.Net，MVC或IIS Express的某些部分？

Answer 1

MVC2无法重现。

我按照预期获得参数异常，使用VS和Cassini运行。