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

此條目沒有列出任何參考或來源。 (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++模板型別構造器參數多型

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