TypeScript 中的並集和交集類型

介紹

TypeScript 是 JavaScript 的強(qiáng)型別超集，為 JavaScript 開發(fā)帶來了強(qiáng)大的型別檢查功能。這些功能可以幫助開發(fā)人員儘早發(fā)現(xiàn)錯誤並編寫更易於維護(hù)的程式碼。 TypeScript 的強(qiáng)大功能包括 聯(lián)合類型 和 交集類型。這些類型在定義複雜類型時提供了靈活性和精確性，這對於大規(guī)模應(yīng)用程式至關(guān)重要。

本文的目標(biāo)是解釋 TypeScript 中並集和交集類型的概念。我們將深入研究一個範(fàn)例來說明如何組合這些類型來創(chuàng)建更具表現(xiàn)力的類型定義。讀完本文後，您應(yīng)該對如何在 TypeScript 專案中有效使用這些類型有深入的了解。

好吧，事不宜遲，讓我們開始吧。

案例研究

我下面有這個表情包。

https://www.picturepunches.com/meme/317642

談話藝術(shù)中有一條不言而喻的規(guī)則：永遠(yuǎn)不要問女人的年齡和永遠(yuǎn)不要問男人的薪水。但讓我們加大賭注，讓這件事變得更有趣。想像第三條規(guī)則：永遠(yuǎn)不要詢問編碼員未完成的項目數(shù)量。有些秘密最好留在陰影中——因為無論是年齡、收入還是廢棄的副業(yè)項目，答案往往伴隨著你可能還沒準(zhǔn)備好聽的故事。

好的，讓我們專注於前兩項：男人和女人。

在 TypeScript 中我們可以建立這樣的型別：

type Person = {
    gender: 'man' | 'woman',
    dontAsk: 'salary' | 'relationship' | 'age' | 'weight'
};

如果我們基於 Person 類型建立對象，就會出現(xiàn)問題

const person1: Person = {
    gender: 'man',
    dontAsk: 'weight',
};

const person2: Person = {
    gender: 'woman',
    dontAsk: 'salary',
};

以上兩個物件都不會顯示任何類型錯誤。

Intersection 和 Union 類型來解決這個問題。

聯(lián)合類型

A?聯(lián)合型別?允許變數(shù)是多種型別之一。在我們的範(fàn)例中：

{
    gender: 'man',
    dontAsk: 'salary' | 'relationship'
} | {
    gender: 'woman',
    dontAsk: 'weight' | 'size'
}

這部分類型定義指出，Person 可以是以下兩種形狀之一：

1. 性別為「男人」且不要問為「薪水」或「關(guān)係」的對象。
2. 性別為「女性」的對象，不要問「體重」或「年齡」。

這種靈活性在處理多種形式的資料時非常有用。

交叉口類型

交叉點類型將多種類型組合為一種。交集類型的變數(shù)必須滿足所有組成類型。在我們的範(fàn)例中：

& {
    address?: string,
    fullName: string
}

這部分類型定義規(guī)定 Person 必須具有：

• 字串類型的可選位址屬性。
• 字串類型的必要 fullName 屬性。

組合並集和交集類型

完整的 Person 類型結(jié)合了並集和交集類型：

type Person = ({
    gender: 'man',
    dontAsk: 'salary' | 'relationship'
} | {
    gender: 'woman',
    dontAsk: 'weight' | 'age'
}) & {
    address?: string,
    fullName: string
};

Person 物件必須與聯(lián)合類型之一匹配，並且還必須包含交集類型中定義的屬性。以下是一些有效的 Person 物件：

const person1: Person = {
    gender: 'man',
    dontAsk: 'salary',
    fullName: 'John Doe'
};

const person2: Person = {
    gender: 'woman',
    dontAsk: 'weight',
    fullName: 'Jane Doe',
    address: '123 Main St'
};

如果定義 person1 不要求年齡，則會顯示錯誤。在內(nèi)建了 TypeScript 支援的 Visual Studio Code 中，當(dāng)我們將滑鼠停留在物件上時，它會顯示錯誤。

概括

在 TypeScript 中，聯(lián)合類型允許變數(shù)是多種類型之一，而交集類型將多種類型組合為一種。透過理解和使用這些類型，您可以編寫更靈活、更健壯的 TypeScript 程式碼。 Person 類型範(fàn)例說明如何組合這些概念來建立複雜且精確的類型定義。

有效使用 TypeScript 可以顯著提高程式碼的可維護(hù)性。當(dāng)新開發(fā)人員加入您的團(tuán)隊時，清晰的類型定義可以減少冗長解釋的需要。團(tuán)隊可以專注於討論專案的流程和目標(biāo)，從而提高生產(chǎn)力和協(xié)作，而不是破解程式碼。

以上是TypeScript 中的並集和交集類型的詳細(xì)內(nèi)容。更多資訊請關(guān)注PHP中文網(wǎng)其他相關(guān)文章！