本篇文章深入探討了Go語言的泛型特性，從其基礎概念到高階用法，並透過實戰示例展示了其在實際專案中的應用。
關注【TechLeadCloud】，分享網際網路架構、雲服務技術的全維度知識。作者擁有10+年網際網路服務架構、AI產品研發經驗、團隊管理經驗，同濟本復旦碩，復旦機器人智慧實驗室成員，阿里雲認證的資深架構師，專案管理專業人士，上億營收AI產品研發負責人。
一、概述
泛型程式設計是電腦科學中一個相當重要的概念，廣泛應用於各種程式語言和框架中。在Go語言中，泛型的討論和實現也走了一段相對漫長的路。這一路上既有激烈的討論，也有種種的嘗試和迭代。本節將對泛型的基礎概念進行深入分析，並探究其在Go中的歷史與現狀。
什麼是泛型
泛型，又稱為"引數多型"，是一種允許你編寫出可以處理不同資料型別（而非單一資料型別）的程式碼的程式設計正規化。泛型有助於提高程式碼複用性，增加型別安全性，以及有時還能最佳化效能。
例如，在其他支援泛型的語言如Java、C#中，我們可以很方便地定義一個可以處理任何資料型別的列表：
List<T> list = new ArrayList<T>();
在Go語言中，藉助於泛型，我們也可以實現類似的功能：
type List[T any] struct {
// ...
}
這裡的T就是一個型別引數，any是一個型別約束，表示T可以是任何型別。
泛型在Go中的歷史與進展
泛型在Go語言的歷史中一直是一個備受關注的話題。Go語言最初的設計哲學是追求簡單和高效，因此在最初版本中並沒有加入泛型。然而隨著社群和企業對更靈活、更強大功能的追求，泛型逐漸顯露出其不可或缺的重要性。
-
Go1.x時代：在Go 1.x的版本中，泛型並沒有被納入。開發者通常使用
interface{}和型別斷言來模擬泛型，但這種方式有其侷限性，如型別安全性不足、效能開銷等。 -
Go 2的設計草案：在Go 2的設計階段，泛型成為了社群最關注的一項特性。經過多次設計與反饋迴圈，最終泛型被列為Go 2的核心改進之一。
-
實驗和反饋：在多次的實驗和社群反饋後，Go團隊逐漸明確了泛型的設計目標和具體語法。例如，型別引數、型別約束等成為了泛型實現的關鍵元素。
-
正式釋出：經過多年的討論和改進，泛型最終在Go的某個版本（例如Go 1.18）中正式釋出。
二、為什麼需要泛型
泛型程式設計作為一種程式設計正規化，不僅僅存在於Go語言中。從C++的模板到Java的泛型，從Python的型別提示到Rust的泛型，這一概念在軟體工程和程式語言設計中有著廣泛的應用和深遠的影響。那麼，為什麼我們需要泛型呢？本節將從三個主要方面進行詳細解釋：型別安全、程式碼複用和效能最佳化。
型別安全
弱型別的弊端
在沒有泛型的情況下，Go語言中的interface{}經常被用作通用型別，這樣可以接受任何型別的引數。然而，這樣做會失去型別檢查的好處。
func Add(a, b interface{}) interface{} {
return a.(int) + b.(int) // 需要型別斷言，且不安全
}
上面的程式碼示例中，a和b的型別在執行時才會被檢查，這就增加了出錯的可能性。
強型別的優勢
泛型透過在編譯期進行型別檢查，來解決這個問題。
func Add[T Addable](a, b T) T {
return a + b // 型別安全
}
這裡，Addable是一個型別約束，只允許那些滿足某些條件的型別（比如，可以進行加法操作的型別）作為泛型引數。
程式碼複用
無泛型的侷限性
在沒有泛型的情況下，如果我們想為不同型別實現相同的邏輯，通常需要寫多個幾乎相同的函式。
func AddInts(a, b int) int {
return a + b
}
func AddFloats(a, b float64) float64 {
return a + b
}
泛型的通用性
有了泛型，我們可以寫出更加通用的函式，而無需犧牲型別安全性。
func Add[T Addable](a, b T) T {
return a + b
}
效能最佳化
一般而言，泛型程式碼由於其高度抽象，可能會讓人擔心效能損失。但事實上，在Go語言中，泛型的實現方式是在編譯期間生成特定型別的程式碼，因此，效能損失通常是可控的。
編譯期最佳化
由於Go編譯器在編譯期會為每個泛型引數生成具體的實現，因此，執行時不需要進行額外的型別檢查或轉換，這有助於最佳化效能。
// 編譯期生成以下程式碼
func Add_int(a, b int) int {
return a + b
}
func Add_float64(a, b float64) float64 {
return a + b
}
三、Go泛型的基礎
Go語言在版本1.18之後正式引入了泛型，這是一個讓許多Go開發者期待已久的功能。本節將深入講解Go泛型的基礎，包括型別引數、型別約束，以及泛型在函式和資料結構中的應用。
型別引數
基礎語法
在Go中，泛型的型別引數通常使用方括號進行宣告，緊隨函式或結構體名稱之後。
func Add[T any](a, b T) T {
return a + b
}
這裡，T 是一個型別引數，並且使用了 any 約束，意味著它可以是任何型別。
多型別引數
Go泛型不僅支援單一的型別引數，你還可以定義多個型別引數。
func Pair[T, U any](a T, b U) (T, U) {
return a, b
}
在這個例子中，Pair 函式接受兩個不同型別的引數 a 和 b，並返回這兩個引數。
型別約束
內建約束
Go內建了幾種型別約束，如 any，表示任何型別都可以作為引數。
func PrintSlice[T any](s []T) {
for _, v := range s {
fmt.Println(v)
}
}
自定義約束
除了內建約束，Go還允許你定義自己的約束。這通常是透過介面來實現的。
type Addable interface {
int | float64
}
func Add[T Addable](a, b T) T {
return a + b
}
這裡，Addable 是一個自定義的型別約束，只允許 int 或 float64 型別。
泛型函式與泛型結構體
泛型函式
我們已經看到了幾個泛型函式的例子，它們允許你在多種型別上執行相同的邏輯。
func Max[T comparable](a, b T) T {
if a > b {
return a
}
return b
}
泛型結構體
除了函式，Go也支援泛型結構體。
type Box[T any] struct {
Content T
}
這裡，Box 是一個泛型結構體，它有一個 Content 欄位，型別為 T。
泛型方法
在泛型結構體中，你還可以定義泛型方法。
func (b Box[T]) Empty() bool {
return b.Content == nil
}
四、Go泛型高階特性
在前一節中，我們探討了Go泛型的基礎，包括型別引數、型別約束以及泛型函式和泛型結構體。本節將聚焦於Go泛型的高階特性，涵蓋型別列表、泛型與介面的互動，以及在現實世界中的應用場景。
型別列表
型別組合
Go泛型允許使用型別組合，在一個約束中指定多種允許的型別。
type Numeric interface {
int | float64
}
func Sum[T Numeric](s []T) T {
var total T
for _, v := range s {
total += v
}
return total
}
在這個例子中，Numeric 約束允許 int 和 float64 型別，使得 Sum 函式能在這兩種型別的切片上進行操作。
多約束
Go也支援多約束的概念，即一個型別需要滿足多個介面。
type Serializable interface {
json.Marshaler | xml.Marshaler
}
泛型與介面的互動
泛型作為介面的方法
你可以在介面中定義包含泛型的方法。
type Container[T any] interface {
Add(element T)
Get(index int) T
}
使用介面約束泛型
與泛型約束相似，介面也可以用於約束泛型型別。
func PrintIfHuman[T HumanLike](entity T) {
if entity.IsHuman() {
fmt.Println(entity)
}
}
這裡，HumanLike 是一個介面，IsHuman 是它的一個方法。
泛型在實際應用中的場景
泛型資料結構
在實際應用中，泛型通常用於實現通用的資料結構，比如連結串列、佇列和堆疊。
type Stack[T any] struct {
elements []T
}
func (s *Stack[T]) Push(element T) {
s.elements = append(s.elements, element)
}
func (s *Stack[T]) Pop() T {
element := s.elements[len(s.elements)-1]
s.elements = s.elements[:len(s.elements)-1]
return element
}
用於演算法實現
泛型也在演算法實現中有廣泛應用，特別是那些不依賴於具體型別的演算法。
func Sort[T Ordered](arr []T) []T {
// 排序演算法實現
}
五、Go泛型實戰舉例
在前幾節中，我們已經深入探討了Go泛型的基礎和高階特性。現在，我們將透過一系列具體的實戰示例來演示如何在實際專案中使用Go泛型。
泛型實現一個簡單的陣列列表
定義
一個泛型陣列列表需要能夠進行新增、刪除和讀取元素。我們可以使用泛型來定義這樣一個資料結構。
type ArrayList[T any] struct {
items []T
}
例項
下面，我們實現了新增元素和讀取元素的方法。
func (al *ArrayList[T]) Add(item T) {
al.items = append(al.items, item)
}
func (al *ArrayList[T]) Get(index int) (T, error) {
if index < 0 || index >= len(al.items) {
return zero(T), errors.New("Index out of bounds")
}
return al.items[index], nil
}
輸入和輸出
假設我們有一個 ArrayList[int]，我們新增數字 1 和 2，然後嘗試獲取索引為 1 的元素。
al := &ArrayList[int]{}
al.Add(1)
al.Add(2)
element, err := al.Get(1) // 輸出：element=2, err=nil
使用泛型構建快取系統
定義
快取系統通常需要儲存任意型別的資料並能夠在給定的時間內檢索它們。我們可以使用泛型和Go的內建 map 型別來實現這一點。
type Cache[T any] struct {
store map[string]T
}
例項
我們實現了一個簡單的 Set 和 Get 方法來操作快取。
func (c *Cache[T]) Set(key string, value T) {
c.store[key] = value
}
func (c *Cache[T]) Get(key string) (T, bool) {
value, exists := c.store[key]
return value, exists
}
輸入和輸出
考慮一個場景，我們需要快取字串。
c := &Cache[string]{store: make(map[string]string)}
c.Set("name", "John")
value, exists := c.Get("name") // 輸出：value="John", exists=true
泛型實現快速排序
定義
快速排序是一種高效的排序演算法。由於它不依賴於具體的資料型別，因此很適合使用泛型來實現。
例項
以下是一個使用泛型的快速排序演算法實現。
func QuickSort[T comparable](arr []T) {
if len(arr) < 2 {
return
}
pivot := arr[len(arr)/2]
var less, greater []T
for _, x := range arr {
if x < pivot {
less = append(less, x)
} else if x > pivot {
greater = append(greater, x)
}
}
QuickSort(less)
QuickSort(greater)
// 合併結果
// ...
}
輸入和輸出
如果我們有一個整數切片 [3, 1, 4, 1, 5, 9, 2, 6, 5]，使用 QuickSort 後，我們應得到 [1, 1, 2, 3, 4, 5, 5, 6, 9]。
六、總結
Go泛型是一個極其強大和靈活的程式設計工具，不僅解決了型別安全的問題，還提供了程式碼重用和維護的強大能力。透過本篇文章，我們深入探討了從泛型的基礎概念到高階特性，再到具體的實戰應用。
泛型不僅僅是一種程式語言的功能或者一個語法糖，它更是一種程式設計正規化的體現。適當而精妙地應用泛型可以極大地提升程式碼質量，減少錯誤，並加速開發過程。特別是在構建大型、複雜的系統時，泛型能夠幫助我們更好地組織程式碼結構，降低模組之間的耦合度，提高系統的可維護性和可擴充套件性。
儘管泛型在很多程式語言中都不是新穎的概念，Go的泛型實現卻有其獨特之處。首先，Go泛型是在經過多年的社群討論和反覆實驗之後才被引入的，這意味著它是非常貼近實際應用需求的。其次，Go泛型強調簡潔和明確性，避免了許多其他語言泛型系統中的複雜性和冗餘。
最重要的一點，Go的泛型實現充分體現了其設計哲學：做更少，但更有效。Go泛型沒有引入過多複雜的規則和特性，而是集中解決最廣泛和最實際的問題。這也是為什麼在大多數場景下，Go泛型都能提供清晰、直觀和高效的解決方案。
透過深入理解和應用Go的泛型特性，我們不僅能成為更高效的Go開發者，也能更好地理解泛型程式設計這一通用的程式設計正規化，從而在更廣泛的程式設計任務和問題解決中受益。
關注【TechLeadCloud】，分享網際網路架構、雲服務技術的全維度知識。作者擁有10+年網際網路服務架構、AI產品研發經驗、團隊管理經驗，同濟本復旦碩，復旦機器人智慧實驗室成員，阿里雲認證的資深架構師，專案管理專業人士，上億營收AI產品研發負責人。
如有幫助，請多關注
TeahLead KrisChang，10+年的網際網路和人工智慧從業經驗，10年+技術和業務團隊管理經驗，同濟軟體工程本科，復旦工程管理碩士，阿里雲認證雲服務資深架構師，上億營收AI產品業務負責人。