聯(lián)合類型（A | B）允許值是幾種類型之一，從而可以靈活地處理多個輸入可能性。 2。相交類型（A＆B）將多種類型組合為必須滿足所有成員的類型，可用於創(chuàng)建複雜的對象形狀。 3。永無止境的狀態(tài)代表無法訪問的狀態(tài)，通常用於永無返回的詳盡檢查和功能。這些高級打字稿功能通過使無效狀態(tài)無法說明來實現(xiàn)更健壯，自我記錄和類型安全代碼。

使用打字稿時，基本類型註釋僅僅是開始。要編寫更強(qiáng)大，表達(dá)和可維護(hù)的代碼，您需要超越string ， number或boolean或佈局，並利用高級類型的提示，例如聯(lián)合類型，交叉點類型和特殊的never類型。這些工具可以使您對價值和功能在復(fù)雜方案中的行為方式進(jìn)行精細(xì)的控制。

讓我們用實際的例子和用例分解這些概念。

工會類型：處理多種可能性

聯(lián)合類型允許值是幾種類型之一。您可以使用垂直條（ | ）定義它。

讓用戶ID：字符串|數(shù)字;
UserId =“ ABC123”; //?
USERID = 123; //?

當(dāng)處理不保證類型的API，用戶輸入或舊數(shù)據(jù)時，這一點特別有用。

實際示例：狀態(tài)處理

函數(shù)getStatus（狀態(tài)：“加載” |“成功” |“錯誤”）{
  // ...
}
getStatus（“加載”）; //?
getStatus（“待處理”）; //?參數(shù)無法分配

您也可以使用具有復(fù)雜類型的工會：

鍵入user = {name：string;年齡：數(shù)字};
類型管理= {name：string;權(quán)限：字符串[]};

功能printinfo（實體：用戶| admin）{
  console.log（entity.name）; //兩者都存在
  // console.log（entity.age）; //?錯誤：“年齡'不在管理上
}

？提示：使用類型防護(hù)措施在運行時縮小聯(lián)合類型的縮小。

如果（實體中的“年齡”）{
  console.log（entity.age）; //現(xiàn)在安全
}

交叉類型：組合類型

交叉類型將多種類型組合成一種。它使用&運算符，表示“此值必須滿足所有類型?！?/p>

鍵入user = {name：string;電子郵件：字符串};
類型Timestamp = {createat：date;更新：日期};

鍵入userWithTimestamp =用戶＆timestamp;

const用戶：userWithTimestamp = {
  名稱：“愛麗絲”，
  電子郵件：“ alice@example.com”，
  創(chuàng)建：new Date（），
  更新：new Date（），
};

現(xiàn)實世界用例：混合物或配置對象

withID = {id：numbers};
withname = {name：string};
鍵入Active = {isActive：boolean};

鍵入帳戶= withId＆withname＆active;

const帳戶：帳戶= {
  ID：1，
  名稱：“專業(yè)用戶”，
  ISACTIVE：是的，
};

??對具有衝突字段的對象交叉點要小心：

鍵入a = {data：string};
類型b = {data：number};
C = A＆B;

const示例：C = {
  數(shù)據(jù)： ？ ？ ？ //這可能是什麼？必須是字符串和數(shù)字→不可能→`從不
};

這導(dǎo)致我們……

never類型：代表無法達(dá)到的狀態(tài)

never類型代表永遠(yuǎn)不會發(fā)生的值。它在兩種主要情況下使用：

1. 永不返回的功能
2. 由於類型變窄而無法存在的值

1。永不返回的功能

函數(shù)throwerror（消息：字符串）：從不{
  投擲新錯誤（消息）；
}

此函數(shù)不僅返回void ，而且永遠(yuǎn)不會返回。 Typescript使用never對此進(jìn)行建模。

2。在工會中進(jìn)行詳盡的檢查

never的經(jīng)典使用是確保在聯(lián)盟中處理所有案件：

類型模式=“ Dark” | “光” | “汽車”;

函數(shù)getTheme（模式：模式）{
  開關(guān)（模式）{
    案例“黑暗”：
      返回“黑色”；
    案例“輕”：
      返回“白色”；
    案例“自動”：
      返回窗口。 prefersdark？ “黑”：“白色”；
    預(yù)設(shè):
      //如果涵蓋了所有情況，``模式''將``從不
      const _exhaustivecheck：never = mode;
      返回_EXHAUSTIVECHECK;
  }
}

如果您以後為Mode添加新值，但忘記處理它，則此行會丟棄類型錯誤，從而幫助您捕獲不完整的邏輯。

如何在類型系統(tǒng)中never使用

• never是底部類型 - 它可以分配給任何類型。
• 但是，任何類型都不能分配為never （除非never除外）。
• 當(dāng)可能性耗盡時，它會在類型縮小期間出現(xiàn)。

函數(shù)handlevalue（x：string | number）{
  if（typeof x ===“字符串”）{
    // x是字符串
  } else if（typeof x ===“ number”）{
    // x是號碼
  } 別的 {
    // x是``永不'' - 沒有其他可能性
    const出現(xiàn)：永不= x;
    提出新的錯誤（`意外值：$ {意外}`）;
  }
}

將所有這些放在一起

想像一下建立表單驗證系統(tǒng)：

鍵入成功= {成功：true;數(shù)據(jù)：字符串};
類型失敗= {成功：false;錯誤：字符串};
類型結(jié)果=成功與失??； //等等 - 什麼？

//這沒有意義。反而：
鍵入驗證=成功|失敗;

函數(shù)iSvalid（輸入：字符串）：驗證result {
  if（input.length> 0）{
    返回{成功：true，數(shù)據(jù)：輸入};
  } 別的 {
    返回{成功：false，錯誤：“空輸入”};
  }
}

//然後，安全處理結(jié)果：
函數(shù)processResult（res：validationResult）{
  如果（res.success）{
    console.log（“ data：”，res.data）; //?類型是成功
  } 別的 {
    console.log（“錯誤：”，res.error）; //?類型是失敗
  }
}

在這裡，聯(lián)合類型啟用有條件的鍵入，打字稿根據(jù)success字段縮小了類型。

概括

• 聯(lián)合類型（ A | B ） ：值是A或B-非常適合靈活輸入。
• 相交類型（ A & B ） ：值必須既是A and B） - 可用於組合特徵。
• never ：代表不可能或無法達(dá)到的狀態(tài) - 對於詳盡的檢查和錯誤功能所必需的。

這些高級類型功能通過使無效狀態(tài)無法說明來幫助您編寫更安全的代碼。一旦您對它們感到滿意，您的打字稿不僅會鍵入 - 它會變得自我記錄和自我保護(hù)。

基本上，這就是您從基本註釋到真正強(qiáng)大的類型建模的升級方式。

以上是高級類型提示：聯(lián)合類型，交叉類型和'從不”的詳細(xì)內(nèi)容。更多資訊請關(guān)注PHP中文網(wǎng)其他相關(guān)文章！