Code Contracts, will you use them?

2019-06-16 05:15发布

Microsoft just released Code Contracts, a tool that integrates with Visual Studio and allows you to define contracts for your .Net code and get runtime and compile time checking.

Watch the video on Channel 9 that shows how it being used.

For now it's an add-on but it will be part of the Base Class Library in .Net 4.0

Is this something you see yourself using?

I wonder if this means the death of Spec#?

Update

What I mean by the death of Spec# is that we now have 2 different projects for writing contracts:
Spec# is an evolution of C# and it introduces new keywords and behaviours; on the other hand, what Microsoft just released is a library that can be used with any .Net language.
Since the latter looks like it's going to become the de-facto standard, I wonder where that leaves Spec#

3条回答
劫难
2楼-- · 2019-06-16 05:32

What do you mean, the death of Spec#? It's the next evolution of Spec#.

And, yes, I plan to use them.

查看更多
可以哭但决不认输i
3楼-- · 2019-06-16 05:37

To be honest, I had no idea what they were until I saw your question. I don't see the applicability to my organization, so we probably will not use them.

查看更多
我欲成王,谁敢阻挡
4楼-- · 2019-06-16 05:38

I think the majority of developers using c# 4.0 will use them myself included especially when creating a library that you plan to expose to anyone. It may make your code more verbose in areas but the advantages it has should outweigh the lines of code and time spent.

查看更多
登录 后发表回答