真實(shí)案例說明 TypeScript 類型體操的意義

TypeScript 類型系統(tǒng)支持類型編程 ，也就是對類型參數(shù)做一系列運(yùn)算產(chǎn)生新的類型。比如這樣 ：

type isTwo= T extends 2 ? true: false;

這種類型編程邏輯可以寫的很復(fù)雜 ，所以被戲稱為“類型體操”。

它是 TS 中最強(qiáng)大也是最復(fù)雜的部分了 ，屬于深水區(qū)的內(nèi)容 。

很多同學(xué)不知道類型編程學(xué)了有什么用
，好像做業(yè)務(wù)也用不到這個(gè)
。那今天我們就來看一個(gè)具體的例子