真實案例說明 TypeScript 類型體操的意義

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

type isTwo= T extends 2 ? true: false;

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

它是 TS 中最強大也是最復雜的部分了  ，屬于深水區(qū)的內容。

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

我們想實現(xiàn)這樣一個 JS 方法
：

function parseQueryString(queryStr) {

if (!queryStr || !queryStr.length) {

return { };

}

const queryObj = { };

const items = queryStr.split('&');

items.forEach(item =>{

const [key, value] = item.split('=');

if (queryObj[key]) {

if(Array.isArray(queryObj[key])) {

queryObj[key].push(value);

} else {

queryObj[key] = [queryObj[key], value]

}

} else {

queryObj[key] = value;

}

});

return queryObj;

}

這段代碼很容易看出來就是做 query string 的 parse 的，會把 'a=1&b=2&c=3' 的字符串 parse 成 { a: 1, b: 2, c: 3 } 返回。如果有同名的 key 的話，就合并到一個數(shù)組里 。

JS 的邏輯大家寫的比較多，這部分很容易理解
：

圖片

那如果要給這個函數(shù)加上類型