c#-4.0 – Spec#足够稳定吗？

发布时间：2020-12-15 04:33:23 所属栏目：百科来源：网络整理

导读：这里有人经常使用Spec#吗？在我开始使用它之前,我想知道它是否足够稳定和强大. 看起来语法正在影响c#4.0,这有望在4.0发布后更容易升级.思考？解决方法我想这取决于你所说的“稳定”.有两种可能的解释： “没有崩溃” “不改变” 我不知道#1,但如果你的意思

这里有人经常使用Spec#吗？在我开始使用它之前,我想知道它是否足够稳定和强大.
看起来语法正在影响c#4.0,这有望在4.0发布后更容易升级.思考？

解决方法

我想这取决于你所说的“稳定”.有两种可能的解释：

>“没有崩溃”
>“不改变”

我不知道#1,但如果你的意思是#2,那么,好吧,Spec#已经被废弃并且不再被开发,所以这可能和你要的一样稳定.

Spec#中使用的技术和工具(称为Boogie的静态分析工具和定理证明器/约束求解器Z3)现在是名为Code Contracts for .NET的新库的一部分.作为库的结果是代码契约将适用于任何库. NET语言：C#,VB.NET,F#,Ruby,Python,JavaScript,Lisp,Smalltalk,Boo,你的名字.缺点是你没有语言集成,所以没有合适的语法.

.NET代码契约将成为.NET 4.0 / Visual Studio 2010的一部分,但不幸的是,任何Microsoft语言都不会支持DbC.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!