.NET 4.0中代码契约的实际用法是什么？

In order to fully understand and take advantage of the new features and enhancements provided with the coming of the new .NET Framework 4.0, I would like to get an example of In order to fully understand and take advantage