Generics (thêm vào trong Go 1.18) cho phép bạn viết các hàm và kiểu hoạt động với nhiều kiểu thông qua type parameter, trong khi vẫn giữ an toàn kiểu tại thời điểm biên dịch. Chúng loại bỏ sự đánh đổi cũ giữa việc hoặc trùng lặp code cho từng kiểu, hoặc mất an toàn với interface{}.
{ ... }
{ ... }
{} { ... }
// T là một type parameter bị ràng buộc phải "ordered" (so sánh được bằng < >)
func Max[T constraints.Ordered](a, b T) T {
if a > b {
return a
}
return b
}
Max(3, 5) // T được suy luận là int → 5
Max(2.5, 1.1) // T được suy luận là float64 → 2.5
Max("a", "b") // T được suy luận là string → "b"
[T constraints.Ordered] khai báo một type parameter T với một constraint (những kiểu nào được cho phép). Trình biên dịch suy luận T từ các tham số — một hiện thực hoạt động cho nhiều kiểu, hoàn toàn an toàn kiểu.
// một constraint là một interface liệt kê các kiểu được phép hoặc các method yêu cầu
type Number interface {
~int | ~int64 | ~float64 // hợp (union) | nghĩa là "bất kỳ kiểu nào trong số này"
}
func Sum[T Number](nums []T) T {
var total T
for _, n := range nums {
total += n // an toàn — T bị ràng buộc với các kiểu số
}
return total
}
Sum([]int{1, 2, 3}) // 6
Sum([]float64{1.5, 2.5}) // 4.0
// các constraint tích hợp sẵn:
any // bất kỳ kiểu nào (bí danh cho interface{})
comparable // các kiểu dùng được với == (cho key của map, v.v.)
// golang.org/x/exp/constraints: Ordered, Integer, Float, v.v.
Constraint định nghĩa những thao tác nào hợp lệ trên type parameter (dấu ~ nghĩa là "bất kỳ kiểu nào có underlying type là kiểu này").
// một stack generic hoạt động cho bất kỳ kiểu nào
type Stack[T any] struct {
items []T
}
func (s *Stack[T]) Push(item T) { s.items = append(s.items, item) }
func (s *Stack[T]) Pop() T {
item := s.items[len(s.items)-1]
s.items = s.items[:len(s.items)-1]
return item
}
intStack := Stack[int]{} // một stack các int
strStack := Stack[string]{} // một stack các string — cùng code
✓ Cấu trúc dữ liệu generic (stack, tree, set), các hàm tiện ích trên collection
(Map, Filter, Reduce), container an toàn kiểu
✗ Đừng lạm dụng — nếu interface hoặc một kiểu cụ thể giải quyết đơn giản, hãy ưu tiên chúng.
Triết lý Go vẫn ưa sự đơn giản; generics là một công cụ, không phải mặc định.
Generics là một bổ sung lớn, được mong đợi từ lâu cho Go (1.18) giải quyết một điểm đau thực sự: trước chúng, viết code tái sử dụng cho nhiều kiểu buộc bạn phải hoặc trùng lặp nó cho từng kiểu (dài dòng, khó bảo trì) hoặc dùng interface{} (mất an toàn kiểu tại thời điểm biên dịch và cần các assertion runtime).
Generics cho phép bạn viết các hàm và cấu trúc dữ liệu an toàn kiểu, tái sử dụng (container, tiện ích collection như Map/Filter/Reduce) một lần, với trình biên dịch thực thi tính đúng đắn và suy luận kiểu.
Hiểu type parameter, constraint (bao gồm any, comparable, và cú pháp union/~), và các kiểu generic ngày càng quan trọng khi hệ sinh thái áp dụng chúng.
Quan trọng không kém là tư duy Go rằng generics là một công cụ cho việc tái sử dụng thực sự, không phải mặc định — lạm dụng chúng đi ngược lại triết lý đơn giản của Go.
Đây là một chủ đề hiện tại, được thảo luận thường xuyên, phản ánh sự thông thạo với Go hiện đại.