TypeScript 泛型中的 K、T 和 V 是什么？

在TypeScript中，泛型是一種強大的工具，它使我們能夠編寫更靈活和可重用的代碼。泛型允許我們在定義函數(shù)、類或接口時使用類型參數(shù)來表示未知的類型。在泛型中，常見的類型參數(shù)命名約定包括T、K和V。

當你第一次看到 TypeScript 泛型中的? T ?時，是不是覺得很奇怪？

圖中的? T ?稱為泛型類型參數(shù)，它是我們希望傳遞給恒等函數(shù)的類型占位符。

就像傳遞參數(shù)一樣，我們獲取用戶指定的實際類型，并將其鏈接到參數(shù)類型和返回值類型。

那么? T ?是什么意思呢？圖中的泛型類型參數(shù)?T?代表Type，實際上，? T ?可以替換為任何有效的名稱。除了 之外T，常見的泛型變量還有 ?K?、?V?、?E? 等。

• K(Key)：表示對象中key的類型
• V(Value)：表示對象中值的類型
• E(Element)：表示元素類型

當然，您不必只定義一個類型參數(shù)，您可以引入任意數(shù)量的類型參數(shù)。這里我們引入了一個新的類型參數(shù)U，它擴展了我們定義的恒等函數(shù)。

在調(diào)用恒等?函數(shù)時，我們可以顯式指定泛型參數(shù)的實際類型。當然，你也可以不指定泛型參數(shù)的類型，讓TypeScript自動幫我們完成類型推斷。

看完上面的動畫，你是否已經(jīng)了解泛型類型參數(shù)了呢？