快捷導(dǎo)航

TypeScript聯(lián)合類型,交叉類型和類型保護(hù)

更新時(shí)間：2021年12月10日 08:44:04 作者：一碗周

這篇文章主要介紹了TypeScript聯(lián)合類型,交叉類型和類型保護(hù)，聯(lián)合類型就是定義一些類型，定義的變量只需要滿足任意一種類型即可，交叉類型就是需要滿足所有類型，交叉類型使用，更多內(nèi)容我們來(lái)看看下面文章詳細(xì)內(nèi)容吧

1.聯(lián)合類型

所謂的聯(lián)合類型就是定義一些類型，定義的變量只需要滿足任意一種類型即可，聯(lián)合類型使用|定義，示例代碼如下：

// 通過(guò) | 符號(hào)定義聯(lián)合類型
let value: number | boolean | string = '一碗周'
value = 18

在上面的代碼中我們定義了一個(gè)value變量，該變量可以是number、boolean或者string類型。

2.交叉類型

介紹了聯(lián)合類型，然后介紹一下與之特別相似的交叉類型。

所謂的交叉類型就是需要滿足所有類型，交叉類型使用&符號(hào)定義。

示例代碼如下：

// 定義三個(gè)普通接口類型
interface Name {
  name: string
}
interface Age {
  age: number
}
interface Hobby {
  hobby: string
}
// 定義一個(gè)對(duì)象，該對(duì)象為上面三個(gè)對(duì)象的聯(lián)合類型
let person: Name & Age & Hobby = {
  // 如果少分配一個(gè)類型將會(huì)拋出異常
  name: '一碗周',
  age: 18,
  hobby: 'coding',
}

3.類型保護(hù)

現(xiàn)在我們有一個(gè)需求：獲取一個(gè)具有任意類型數(shù)組中第一個(gè)數(shù)字。

實(shí)現(xiàn)代碼如下：

// 定義一個(gè)包含number或者string的數(shù)組
const arr: (number | string)[] = [1, '數(shù)字']
// 遍歷數(shù)組返回第一個(gè)數(shù)字
const getValue: (arr: (number | string)[]) => number = (
  arr: (number | string)[],
): number => {
  for (let i = 0; i < arr.length; i++) {
    // 如果當(dāng)前值轉(zhuǎn)換為數(shù)字時(shí)候不是一個(gè) NaN 則返回
    if (!isNaN(Number(arr[i]))) {
      return arr[i] // 不能將類型“string | number”分配給類型“number”。
    }
  }
}

上述代碼中return時(shí)并不知道返回的是不是一個(gè)number類型。所以將會(huì)拋出異常。

上述功能可以通過(guò)類型斷言來(lái)完成，示例代碼如下：

const getValue: (arr: (number | string)[]) => number = (
  arr: (number | string)[],
): number => {
  for (let i = 0; i < arr.length; i++) {
    // 如果當(dāng)前值轉(zhuǎn)換為數(shù)字時(shí)候不是一個(gè) NaN 則返回
    if (!isNaN(Number(arr[i]))) {
      return arr[i] as number // 告訴 編譯器 我返回的就是一個(gè) number
    }
  }
}

什么是類型斷言請(qǐng)參考：類型斷言

如果使用類型斷言來(lái)說(shuō)明，如果想要的數(shù)據(jù)類型不一樣時(shí)，就會(huì)顯得比較繁瑣。這個(gè)時(shí)候就需要類型保護(hù)來(lái)完成該功能，

類型保護(hù)主要分為以下三種：

3.1自定義類型保護(hù)

自定義類型保護(hù)的方式就是定義一個(gè)函數(shù)，該函數(shù)是的返回結(jié)構(gòu)是一個(gè)parameterName is type的形式，該形式是一個(gè)類型謂詞。parameterName必須是來(lái)自于當(dāng)前函數(shù)參數(shù)里的一個(gè)參數(shù)名。

示例代碼如下：

// 使用自定義類型保護(hù)
// 1. 定義一個(gè)函數(shù) 其返回值是一個(gè) 類型謂詞，即 parameterName is Type 也就是 參數(shù)名 is 類型 的形式
function isNumber(value: number | string): value is number {
  // 如果返回 true 則說(shuō)明 傳入的 value 是 is 后面的type
  return !isNaN(Number(value))
}
// 2. 定義一個(gè)獲取數(shù)字的函數(shù)
const getNumber: (value: number | string) => number = (
  value: number | string,
): number => {
  // 如果調(diào)用 isNumber 的值為 true 則說(shuō)明 value 是一個(gè)數(shù)字，所以將數(shù)字返回
  if (isNumber(value)) {
    return value
  }
}
// 3. 調(diào)用獲取最終的數(shù)值
const getValue: (arr: (number | string)[]) => number = (
  arr: (number | string)[],
): number => {
  for (let i = 0; i < arr.length; i++) {
    // 如果返回?cái)?shù)字，轉(zhuǎn)換為 boolean 值為 true
    if (getNumber(arr[i]) || getNumber(arr[i]) === 0) {
      return getNumber(arr[i])
    }
  }
}

定義第二個(gè)函數(shù)的原因是在數(shù)組中直接使用i作為返回值還是有問(wèn)題的，所以定義一個(gè)函數(shù)過(guò)渡一下。

3.2typeof 類型保護(hù)

JavaScript 中的typeof關(guān)鍵字可以判斷當(dāng)前類型，但是僅僅只能判斷number、string、boolean和symbol四種類型。

在這個(gè)需求中就足夠了，接下來(lái)我們看看如何通過(guò)typeof來(lái)實(shí)現(xiàn)類型保護(hù)。

示例代碼如下：

// 1. 定義一個(gè)獲取數(shù)字的函數(shù)
const getNumber: (value: number | string) => number = (
  value: number | string,
): number => {
  // 判斷當(dāng)前是否為字符串，如果是返回當(dāng)前值
  if (typeof value === 'number') {
    return value
  }
}
// 2. 調(diào)用獲取最終的數(shù)值
const getValue: (arr: (number | string)[]) => number = (
  arr: (number | string)[],
): number => {
  for (let i = 0; i < arr.length; i++) {
    // 如果返回?cái)?shù)字，轉(zhuǎn)換為 boolean 值為 true
    if (getNumber(arr[i]) || getNumber(arr[i]) === 0) {
      return getNumber(arr[i])
    }
  }
}

3.3instanceof類型保護(hù)

instanceof操作符也是JavaScript中提供的原生操作符，它用來(lái)判斷一個(gè)實(shí)例是不是某個(gè)構(gòu)造函數(shù)創(chuàng)建的，或者是不是使用ES6語(yǔ)法的某個(gè)類創(chuàng)建的。在TypeScript中也可以通過(guò)instanceof操作符來(lái)實(shí)現(xiàn)類型保護(hù)，

示例代碼如下：

/**
 * 由于 instanceof 僅僅支持引用類型，不支持原始類型，所以說(shuō)這里需要進(jìn)行一下改動(dòng)，將數(shù)組修改為如下：
 */
const arr2: (Number | String)[] = [new String('彼岸繁華'), new Number(10)]
// 1. 定義一個(gè)獲取數(shù)字的函數(shù)
const getNumber: (value) => number = (value): number => {
  // 判斷當(dāng)前是否為 Number 類型，將當(dāng)前值轉(zhuǎn)換為字符串返回
  if (value instanceof Number) {
    return Number(value)
  }
}
// 2. 調(diào)用獲取最終的數(shù)值
const getValue: (arr: (Number | String)[]) => number = (
  arr: (Number | String)[],
): number => {
  for (let i = 0; i < arr.length; i++) {
    // 如果返回?cái)?shù)字，轉(zhuǎn)換為 boolean 值為 true
    if (getNumber(arr[i]) || getNumber(arr[i]) === 0) {
      return getNumber(arr[i])
    }
  }
}

使用instanceof時(shí)需要注意一下兩點(diǎn)：

只適應(yīng)于任何引用類型，不支持原始類型。
前者的原型鏈上是否包含后者的原型對(duì)象。

到此這篇關(guān)于TypeScript聯(lián)合類型,交叉類型和類型保護(hù)的文章就介紹到這了,更多相關(guān)TypeScript聯(lián)合類型.交叉類型,類型保護(hù)內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

您可能感興趣的文章: