Chú thích //go: là công tắc điều khiển compiler và linker. Đo thật: go:embed nhúng file vào binary lúc build, go:linkname gọi được hàm runtime riêng (runtime.nanotime), và một khoảng trắng thừa sau // khiến directive bị bỏ qua âm thầm. Cái nào an toàn, cái nào phá an toàn bộ nhớ. 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ò.
Hàm sinh đầu ra lớn (báo cáo, HTML, JSON, mã sinh) khó viết assertion bằng tay. Golden file lưu đầu ra kỳ vọng vào một tệp, test so từng byte; đổi có chủ đích thì chạy -update ghi lại. Đo thật trong Go: sinh golden, so pass, đổi code thì test bắt khác biệt kèm diff, và -update chấp nhận thay đổi.
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.