Nền tảng tư duy về cấu trúc dữ liệu liên kết

Trong quy trình phát triển phần mềm, việc lựa chọn loại bộ chứa dữ liệu phù hợp là yếu tố then chốt ảnh hưởng đến hiệu năng. Các cấu trúc dữ liệu cơ bản như Mảng (Array) và Danh sách động (Slice) đều mang lại lợi ích rõ rệt trong một số tình huống cụ thể.

• Đồng nhất kiểu dữ liệu: Cho phép gom nhóm các biến cùng kiểu, ví dụ: []string.
• Tốc độ truy cập theo vị trí: Việc đọc ghi dữ liệu qua chỉ số nguyên rất nhanh, chẳng hạn truy cập s[5] gần như tức thì.

Tuy nhiên, khi thiếu đi sự hỗ trợ về chỉ số hoặc cần kiểm tra sự hiện diện của một mục cụ thể mà không biết vị trí của nó, việc duyệt tuần tự sẽ làm giảm đáng kể hiệu suất xử lý. Đây chính là lý do xuất hiện Map.

Tổng quan về Map

Map (Bản đồ) trong Go là một tập hợp các cặp Khóa-Giá Trị (Key-Value Pair). Khác với Mảng hay Slice, nơi chỉ số đóng vai trò định danh bắt buộc và có thứ tự, Map sử dụng các khóa để tham chiếu tới giá trị tương ứng, giúp tăng tốc độ tìm kiếm lên mức tối ưu.

Khai báo và Khởi tạo

Cú pháp khai báo Map tuân theo quy tắc xác định kiểu dữ liệu cho cả khóa và giá trị.

package main

import "fmt"

func main() {
	// Cú pháp: map[LoạiKhóa]GiáTrị
	// Lưu ý: Map là tham chiếu đối tượng nên cần khởi tạo bằng hàm make()
	// Tham số capacity (tùy chọn) dự kiến kích thước ban đầu để tối ưu hóa
	users := make(map[string]int, 50)
	
	fmt.Printf("Type of users: %T\n", users)
}

Đặc điểm quan trọng cần lưu ý:

• Tính duy nhất của Key: Mỗi khóa chỉ được xuất hiện một lần trong Map.
• Thứ tự ngẫu nhiên: Không giống như Array, việc lặp qua Map không đảm bảo giá trị trả về giữ nguyên thứ tự gốc mỗi lần thực thi.

Thao tác Thêm và Cập nhật

Việc gán giá trị cho một khóa mới hoặc sửa đổi giá trị của khóa cũ đều sử dụng cú pháp gán đơn giản. Nếu khóa chưa tồn tại, nó sẽ được tự động thêm vào.

products := map[string]float64{
	"laptop": 1500.99,
	"mouse": 19.50,
}

// Thêm sản phẩm mới
products["keyboard"] = 45.00

// Cập nhật giá trị có sẵn
products["mouse"] = 25.99

fmt.Printf("Danh sách sản phẩm: %v\n", products)

Xác minh sự tồn tại của khóa

Để kiểm tra chắc chắn một phần tử đã tồn tại mà không lo gây lỗi panic, ta khai báo hai giá trị trả về. Biến thứ hai sẽ nhận giá trị boolean (true/false).

orderID := "ORD-9988"
status, exist := cart[orderID]

if exist {
	fmt.Printf("Đơn hàng đang ở trạng thái: %v\n", status)
} else {
	fmt.Println("Không tìm thấy mã đơn hàng.")
}

Gỡ bỏ Phần tử

Hàm built-in delete() được dùng để loại bỏ một cặp Khóa-Giá Trị. Nếu khóa cần xóa không tồn tại, chương trình sẽ không xảy ra lỗi.

users := map[string]string{"admin": "active"}

// Xóa người dùng 'admin'
delete(users, "admin")
// Nếu xóa khóa không tồn tại cũng không có tác động gì
delete(users, "guest") 

fmt.Printf("Danh sách còn lại: %v\n", users)

Lưu trữ Cấu trúc Dữ liệu Phức tạp

Go hỗ trợ mạnh mẽ việc lồng ghép các cấu trúc dữ liệu, cho phép xây dựng mô hình dữ liệu phong phú.

• Mảng chứa Map: Tập hợp nhiều bản ghi dạng map.
• Map chứa Mảng: Phân loại danh mục với nhiều mục con.
• Map chứa Map: Thiết lập phân cấp thông tin sâu hơn.

Dưới đây là ví dụ minh họa sự kết hợp này:

// Mảng chứa danh sách Map
employeeList := []map[string]interface{}{
	{"name": "An", "role": "Dev"},
	{"name": "Binh", "role": "Manager"},
}

// Map chứa danh sách các thành viên thuộc khu vực
cityDistricts := map[string][]string{
	"Hanoi": {"Dong Da", "Ba Dinh"},
	"Ha Noi": ["Thanh Xuan"],
}

// Map lồng Map
userInfo := map[string]map[string]string{
	"user_01": {
		"id": "1001",
		"level": "Premium",
	},
}

fmt.Printf("%v\n", employeeList)

Cơ chế Tự động Mở rộng (Resizing)

Bên dưới bề mặt API thuận tiện, Go sử dụng cơ chế bảng băm (Hash Table) phức tạp để quản lý bộ nhớ. Quá trình mở rộng diễn ra dựa trên các yếu tố kỹ thuật sau:

• Bộ đếm (Count): Số lượng phần tử hiện tại trong bảng.
• Bit Bucket (B): Số lượng Bucket thực tế là lũy thừa của 2, trường B lưu trữ logarit của số lượng bucket (len(buckets) = 2^B).
• Yếu tố tải (Load Factor): Khi tỷ lệ số phần tử / số bucket vượt quá ngưỡng 6.5, hệ thống sẽ thực hiện nhân đôi dung lượng.
• Bộ nhớ tạm (Old Buckets): Trong lúc sao chép, dữ liệu cũ được lưu tạm thời vào oldbuckets có dung lượng bằng một nửa bucket hiện tại.
• Overflow Handling: Nếu số lượng bucket nhỏ (≤ 15) nhưng bucket tràn (overflow) đạt 2^B, hoặc số bucket lớn (> 15) mà overflow đạt 2¹⁵, hệ thống sẽ tăng trưởng theo cách khác để tránh nghẽn cổ chai.