此條目没有列出任何参考或来源。 (2019年3月7日)
維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。 |
在编程语言（尤其是函数式编程语言）和类型论中，可选类型（英語：Option Type）是一种表示可选值的多态类型，也称作可能类型（英語：Maybe Type）。例如，函数可以使用可选类型的返回值，表示执行该函数后可能返回有意义的值，也可能不返回。
可选类型的构造函数通常有两种形式：一种形式不包含任何参数，表示空（常记作 None 或者 Nothing）；另一种形式包含原始数据类型 A（常记作 Just A 或者 Some A）。
面向对象编程领域可空类型的概念（常记作 A?）与可选类型类似，但并不完全相同，两者之间的主要区别在于可选类型不支持嵌套（Maybe(Maybe A) ≠ Maybe A），而可空类型支持（String?? = String?）。
另见 编辑
参考资料 编辑
可选类型, 此條目没有列出任何参考或来源, 2019年3月7日, 維基百科所有的內容都應該可供查證, 请协助補充可靠来源以改善这篇条目, 无法查证的內容可能會因為異議提出而被移除, 在编程语言, 尤其是函数式编程语言, 和类型论中, 英語, option, type, 是一种表示可选值的多态类型, 也称作可能类型, 英語, maybe, type, 例如, 函数可以使用的返回值, 表示执行该函数后可能返回有意义的值, 也可能不返回, 的构造函数通常有两种形式, 一种形式不包含任何参数, 表示空, 常记作, none. 此條目没有列出任何参考或来源 2019年3月7日 維基百科所有的內容都應該可供查證 请协助補充可靠来源以改善这篇条目 无法查证的內容可能會因為異議提出而被移除 在编程语言 尤其是函数式编程语言 和类型论中 可选类型 英語 Option Type 是一种表示可选值的多态类型 也称作可能类型 英語 Maybe Type 例如 函数可以使用可选类型的返回值 表示执行该函数后可能返回有意义的值 也可能不返回 可选类型的构造函数通常有两种形式 一种形式不包含任何参数 表示空 常记作 None 或者 Nothing 另一种形式包含原始数据类型 A 常记作 Just A 或者 Some A 面向对象编程领域可空类型的概念 常记作 A 与可选类型类似 但并不完全相同 两者之间的主要区别在于可选类型不支持嵌套 Maybe Maybe A Maybe A 而可空类型支持 String String 另见 编辑单子 标签联合 可空类型 空对象模式 哨兵值 英语 Sentinel value 异常处理参考资料 编辑 nbsp 这是一篇與计算机相關的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 可选类型 amp oldid 70591227, 维基百科，wiki，书籍，书籍，图书馆，
文章
，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。