reflect mạnh nhưng có giá. Đo thật: đọc field qua reflect chỉ chậm ~2x và 0 cấp phát (chấp nhận được cho json), nhưng reflect.Call chậm ~85x và cấp phát 2 lần vì phải đóng hộp tham số. Cách giảm chi phí bằng cache Value và codegen. Go 1.23.
Viết một decoder biến map[string]any thành struct theo struct tag, ~30 dòng reflect. Đo thật: gán đúng string/int/bool, ép float64 (json number) sang int, dùng default khi thiếu key, bỏ qua field tag dấu gạch. Đây chính là cách mapstructure/viper hoạt động. Go 1.23.
Constraint của generics không phải interface bình thường: nó là một type set. Đo thật trong Go 1.23: ~int cho phép mọi kiểu tự định nghĩa, vi phạm constraint là lỗi BIÊN DỊCH chứ không panic lúc chạy, và generics nhanh hơn interface any khoảng 25%.
Go suy luận kiểu ở ba tầng: từ đối số, qua tham số hàm func(T)U, và constraint type inference (từ S ~[]E suy ra E). Đo thật trong Go 1.23 cả trường hợp suy được lẫn khi compiler báo cannot infer T — và tại sao nó không bao giờ đoán mò.
Generics của Go dùng GC shape stenciling: kiểu giá trị sinh mã riêng, mọi con trỏ chung một stencil và phân biệt bằng dictionary lúc chạy. Đo thật trong Go 1.23 bằng benchmark bốn đường thực thi và soi bảng ký hiệu — 4 kiểu chỉ sinh 3 bản mã, generic method nhanh gần gấp đôi interface.
Từ Go 1.23, for range chạy được trên hàm func(yield func(T) bool). Đo thật cơ chế yield, cách compiler khử đường break/continue/return, và cái giá thật: chậm hơn vòng thường khoảng 1,6 lần nhưng 0 cấp phát khi dùng trực tiếp.