安全寶箱

不透明型別

簡介

不透明型別是 Elm 的一種封裝技巧。 有些人也稱之為資訊隱藏，或隱藏實作細節。 它們也常用來強制驗證，使用的是 Parse, dont validate 模式。 例如，你可以有一個EmailAddress不透明型別，它只能包含有效的電子郵件地址（相對於String，後者可以包含任何東西）。

建立不透明型別

Custom types 有一個或多個變體，編譯器會自動產生一個函式來建立每個變體，用的就是變體的名稱。 這是建立自訂型別的唯一方式。 編譯器也允許對這些變體進行解構。

type Maybe a
    = Nothing --> Variant implies a 'Nothing' function, with type 'Maybe a', and destructuring of 'Nothing'
    | Just a  --> Variant implies a 'Just' function, with type 'a -> Maybe a', and destructuring of 'Just _'

預設情況下，這些全都只屬於檔案／模組內部，我們用exposing關鍵字來選擇要匯出什麼。 要建立不透明型別，你只要選擇不匯出變體就行了。

這麼做的時候，你幾乎總是需要提供另一種建立與取得變體的方式，也就是把自訂函式公開出來。 這些自訂函式讓你在建立與取得變體時能套用一些邏輯。 這會隱藏模組內部的實作細節，也代表只要公開的函式維持不變，你想怎麼改實作細節都可以。

Parse, don't validate

不透明型別最常見的用途，大概就是用 Parse, dont validate 模式來強制驗證。 在這個模式中，你會公開一個函式，讓它接收結構或型別安全程度比你想要的還低的輸入，例如String，然後把它解析成結構更完整的型別，例如EmailAddress，結果不是回傳該型別，就是回傳一個錯誤（通常是Maybe或Result）。

例如，在下面的程式碼中，外部模組只能透過parseEmailAddress函式建立EmailAddress型別，所以當你在處理EmailAddress型別時，就能確定它是有效的。

module EmailAddress exposing ( EmailAddress, parseEmailAddress, getEmailAddress )

-- The `EmailAddress` custom type has one variant, also called `EmailAddress`
-- When a custom type has one variant, it is idiomatic to use the same name for both.
type EmailAddress = 
  EmailAddress String

-- create an EmailAddress variant
parseEmailAddress: String -> Maybe EmailAddress
parseEmailAddress candidateEmailAddress =   
  if isValidEmailAddress candidateEmailAddress then
    Just (EmailAddress candidateEmailAddress)
  else
    Nothing

-- get an EmailAddress variant
getEmailAddress: EmailAddress -> String
getEmailAddress ( EmailAddress  emailAdress ) =
  emailAdress

isValidEmailAddress: String -> bool
-- ...