可選類型
外觀
![本頁使用了標題或全文手工轉換](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?
)。
另見
[編輯]參考資料
[編輯]
|
![]() | 這是一篇與電腦相關的小作品。您可以透過編輯或修訂擴充其內容。 |