Diagnostics.Contract,契约，有用过的朋友麻烦进来下

[mmbf001]

问题有3个
1：不管是我下了08的contract补丁还是10 beta2自带的contract，为什么我的Contract.Requires("");总是无效的
代码如下

        public static int YearSince1980(int daysSince1980, out int dayInYear)
        {
            //Requires
            Contract.Requires(daysSince1980 >= 1);    //这里即使我的参数小于1，程序也照样跑下去，如此契约又有什么用呢？
            。。。
        }

2：其实是第一个问题的延伸，.Net提供的契约实施原理是什么？不符合Requires的参数来调用照样接收，照样运行？这样的话我添加契约不是根本和不添毫无区别？
3：给个简单的契约实际运用例子

[liffe]

帮顶了，是wcf的吗？

[mmbf001]

参照： http://blog.csdn.net/ATField/archive/2009/08/20/4465227.aspx

[zhongjiekangping]

到只是用过 WCF

[风之影子]

https://blogs.msdn.com/yizhang/archive/2009/08/20/net-4-0-design-by-contracts.aspx

[优途科技]

帮顶下。