可選類型 - 維基百科，自由的百科全書

此條目沒有列出任何參考或來源。 (2019年3月7日)
維基百科所有的內容都應該可供查證。請協助補充可靠來源以改善這篇條目。無法查證的內容可能會因為異議提出而被移除。

在編程語言（尤其是函數式編程語言）和類型論中，可選類型（英語：Option Type）是一種表示可選值的多態類型，也稱作可能類型（英語：Maybe Type）。例如，函數可以使用可選類型的返回值，表示執行該函數後可能返回有意義的值，也可能不返回。

可選類型的構造函數通常有兩種形式：一種形式不包含任何參數，表示空（常記作 None 或者 Nothing）；另一種形式包含原始數據類型 A（常記作 Just A 或者 Some A）。

面向對象編程領域可空類型的概念（常記作 A?）與可選類型類似，但並不完全相同，兩者之間的主要區別在於可選類型不支持嵌套（Maybe(Maybe A) ≠ Maybe A），而可空類型支持（String?? = String?）。

另見[編輯]

閱論編數據類型

無解釋的	位元字節三進制位三進制字節字

數值	整數符號性有符號數無符號數定點數浮點數雙精度擴展精度（英語：Extended precision）半精度迷你浮點數（英語：Minifloat）八倍精度（英語：Octuple-precision floating-point format）四倍精度（英語：Quadruple-precision floating-point format）單精度有理數（英語：Rational data type）複數（英語：Complex data type）任意精度算術區間（英語：interval arithmetic）

文本	字符字符串

指針	記憶體位址物理地址虛擬地址參照

組合	代數數據類型廣義（英語：generalized algebraic data type）數組關聯數組類串列對象元對象可選類型積類型（英語：Product type）記錄集合聯合體標籤

其他	布爾型底層類別（英語：Bottom type）容器枚舉類型異常頭等函數不透明數據類型（英語：Opaque data type）遞歸數據類型信號標字串流頂類型（英語：Top type）類型類類型系統單位類型（英語：Unit type） Void 不定型別

相關議題	抽象資料型別數據結構介面種類（英語：Kind (type theory)）元類對象類型（英語：Boxing (computer science)）原始型別與複合型別協議子類型 C++模板型別構造器參數多態

這是一篇與電腦相關的小作品。你可以透過編輯或修訂擴充其內容。