可选类型 - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for 可选类型.

可选类型

维基百科,自由的百科全书

此条目没有列出任何参考或来源。 (2019年3月7日)维基百科所有的内容都应该可供查证。请协助添加来自可靠来源的引用以改善这篇条目。无法查证的内容可能被提出异议而移除。

编程语言(尤其是函数式编程语言)和类型论中,可选类型(英语:Option Type)是一种表示可选值的多态类型,也称作可能类型(英语:Maybe Type)。例如,函数可以使用可选类型的返回值,表示执行该函数后可能返回有意义的值,也可能不返回。

可选类型的构造函数通常有两种形式:一种形式不包含任何参数,表示空(常记作 None 或者 Nothing);另一种形式包含原始数据类型 A(常记作 Just A 或者 Some A)。

面向对象编程领域可空类型英语Nullable type的概念(常记作 A?)与可选类型类似,但并不完全相同,两者之间的主要区别在于可选类型不支持嵌套(Maybe(Maybe A)Maybe A),而可空类型支持(String?? = String?)。

另见

参考资料

{{bottomLinkPreText}} {{bottomLinkText}}
可选类型
Listen to this article