Cơ chế Ownership và Borrowing trong Rust hoạt động theo những nguyên tắc nào, và làm thế nào để giải quyết lỗi biên dịch phổ biến khi cố gắng mượn một biến dưới dạng có thể thay đổi (mutable borrow) trong khi nó đang có các tham chiếu bất biến khác?

Question

Accepted Answer

Ownership và Borrowing là nền tảng cốt lõi giúp Rust đảm bảo an toàn bộ nhớ mà không cần đến Garbage Collector.
1. Ba quy tắc cốt lõi của Ownership

Mỗi giá trị trong Rust đều có một chủ sở hữu (Owner).
Tại một thời điểm, chỉ có duy nhất một chủ sở hữu cho mỗi giá trị.
Khi chủ sở hữu vượt khỏi phạm vi (out of scope), giá trị đó sẽ bị hủy và bộ nhớ sẽ được giải phóng.

2. Quy tắc Borrowing (Mượn dữ liệu)

Bạn có thể có bất kỳ số lượng tham chiếu bất biến nào (&T) tại một thời điểm.
Hoặc bạn chỉ được phép có duy nhất một tham chiếu khả biến (&mut T) tại một thời điểm.
Không được phép tồn tại đồng thời cả tham chiếu khả biến và tham chiếu bất biến cho cùng một dữ liệu trong cùng một phạm vi thời gian.

3. Giải quyết lỗi biên dịch phổ biến
Lỗi kinh điển mà Junior thường gặp là cố gắng đọc dữ liệu thông qua tham chiếu bất biến trong khi một tham chiếu khả biến đang tồn tại (hoặc ngược lại).
// Lỗi biên dịch:
// let mut s = String::from("hello");
// let r1 = &s;
// let r2 = &mut s;
// println!("{}, {}", r1, r2);
Cách giải quyết: Giới hạn phạm vi (Scope) của tham chiếu bất biến trước khi tạo tham chiếu khả biến.
let mut s = String::from("hello");
{
    let r1 = &s;
    println!("{}", r1);
} // r1 kết thúc phạm vi ở đây

let r2 = &mut s;
r2.push_str(" world");
println!("{}", r2);
4. Tiêu chuẩn Enterprise
Việc tuân thủ chặt chẽ các quy tắc này ngay từ tầng biên dịch giúp các hệ thống Enterprise viết bằng Rust loại bỏ hoàn toàn các lỗi Data Race, Null Pointer Dereference và Use-After-Free ngay trước khi đưa mã nguồn lên môi trường Production.

Làm Chủ Phỏng Vấn & Nâng Cao Trình Độ Chuyên Nghiệp

Tải Tuyển Tập 100+ Câu Hỏi Phỏng Vấn Chuyên Sâu (PDF)

Cần Mentor Phỏng Vấn Thử 1-1 & Tối Ưu CV?

Kiểm Tra CV Chuẩn ATS Miễn Phí

Câu hỏi rust liên quan cùng chủ đề