可选类型
外观
![本页使用了标题或全文手工转换](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
此条目没有列出任何参考或来源。 (2019年3月7日) |
在编程语言(尤其是函数式编程语言)和类型论中,可选类型(英语:Option Type)是一种表示可选值的多态类型,也称作可能类型(英语:Maybe Type)。例如,函数可以使用可选类型的返回值,表示执行该函数后可能返回有意义的值,也可能不返回。
可选类型的构造函数通常有两种形式:一种形式不包含任何参数,表示空(常记作 None
或者 Nothing
);另一种形式包含原始数据类型 A
(常记作 Just A
或者 Some A
)。
面向对象编程领域可空类型的概念(常记作 A?
)与可选类型类似,但并不完全相同,两者之间的主要区别在于可选类型不支持嵌套(Maybe(Maybe A)
≠ Maybe A
),而可空类型支持(String??
= String?
)。
另见
[编辑]参考资料
[编辑]
|
![]() | 这是一篇与计算机相关的小作品。您可以通过编辑或修订扩充其内容。 |