遞歸條件類型

假設您有一個 for in 循環，突然意識到您的變數類型是字串而不是字串文字聯合類型。因此，當您使用 tsc 編譯應用程式時，您會遇到這個醜陋的錯誤，並且令人煩惱的是您最喜歡的 IDE 很可能會在其衝刺的頂部尖叫：

[！注意]

只是為了向您展示它是如何完成的，我正在使用 os.cpus。在那裡我嘗試循環 cpu.times 這是一個物件。您可以在這裡找到更多資訊。

所以這是有問題的程式碼：

使固定

1. 我們需要提取邏輯CoreInfo.times 中的鍵並從中建立一個新類型。
2. 然後我們可以利用類型斷言來讓 TS 相信一切都很酷，我們知道這裡發生了什麼。

---

所以讓我們開始吧，第一部分我們需要為自己創建一個自訂實用程式類型，這是我們最終的實用程式類型的樣子：

讓我們來分解一下：

1. T 擴充物件 ? ...：never 告訴 TS 遞歸遍歷巢狀物件類型 T 並提取 T 內特定鍵的鍵（如果 T 是物件）。

2. [T 鍵中的 T 鍵]-？是一個“映射類型”，它在這裡特別有用，因為我們不知道傳遞給該實用程式類型的物件內的鍵的名稱。在這裡，您將邏輯核心訊息傳遞給它或任何其他對象，然後它迭代鍵以從中建立一個新類型。

   還有-？是否可以刪除可選性，以便我們擁有所有按鍵的字串文字聯合類型。換句話說， { keyName?: string } 將被視為 { keyName: string }.

3. (TKey extends K ? keyof T[TKey] : never) 檢查迭代中的當前鍵是否與傳遞的鍵(K) 匹配，如果是，則將其中的所有鍵提取為字符串文字聯合類型並歸還它。否則它什麼也不返回。

4. 然後，如果步驟 3 沒有結果，它將遞歸地在 T[Tkey] 上應用此實用程式類型，這樣我們的實用程式函數也適用於巢狀物件。這通常稱為“遞歸條件類型”。

5. 最後我們要求它取映射類型產生的所有類型的並集。簡而言之，我們正在展平嵌套結構。

現在是時候使用它了：

參考號

• 嵌套物件類型的 TypeScript keyof。

以上是遞歸條件類型的詳細內容。更多資訊請關注PHP中文網其他相關文章！