代码协定(三)——假定和断言
断言是一种非常常用的契约式编程的手段,自.Net 1.0起就内置了对断言的支持,使用方式如下: Debug.Assert(offset == 10); 在Code Contract中,也提供了对断言的支持,不过将其进一步细化了为假定和断言两种API: Contract.Assert(offset == 10); Contract.Assume(offset == 10...