代码之家 › 专栏 › 技术社区 › terjetyl

不可为空的对象有什么问题?

spec# non-nullable design-by-contract

3

terjetyl · 技术社区 · 16 年前

我不认为在语言中内置这样的功能有什么问题。有谁能告诉我这件事吗?

1 回复 | 直到 14 年前

1

7

Jon Skeet 16 年前

你看到新的了吗 Contracts framework

链接:

public Stream! Foo(string! x)

同样,这表示Foo不能接收空引用,也不会返回空引用。有额外的语法只是我想那种合同会很方便的。