我最近一直在研究DbC和Spec#,它们似乎支持非空对象。不幸的是,Spec#似乎被抛弃了。
我看不出像这样的特性在语言中有什么问题。有人能告诉我这个问题吗?
发布于 2009-01-28 01:52:37
你看过新的合同框架将成为.NET 4.0的一部分吗?
使它成为一个库而不是语言特性的好处是,它可以立即在所有语言中使用,而不需要语言团队的工作。显然也有缺点..。
链接:
说了这些之后,我想写:
public Stream! Foo(string! x)
同时,指示Foo不能接收空引用,也不返回空引用。我认为,为这种类型的契约提供额外的语法是很方便的。
https://stackoverflow.com/questions/487046
复制