borrow checker là gì - Nghĩa của từ borrow checker

borrow checker có nghĩa là

Sự khác biệt giữa gọn gàng và chính xác. Trong lập trình, trình kiểm tra mượn xác minh rằng con trỏ không được sử dụng theo những cách nguy hiểm trong thời gian biên dịch để đảm bảo rằng bộ nhớ được quản lý an toàn mà không cần bộ thu gom rác. Các đảm bảo mà nó cung cấp đảm bảo chương trình là chính xác trong việc sử dụng bộ nhớ và không có quyền truy cập bộ nhớ bất hợp pháp (không có hai lần, lỗi phân đoạn ...) là có thể (ngay cả trong tình huống đa ren). Bởi vì trong trường hợp rỉ sét, nó cho phép viết một mã dễ đọc hơn luôn được chứng minh là không có vấn đề về trí nhớ và thường dẫn đến hiệu suất tốt hơn so với tương đương C / C ++ của họ, người ta tin rằng cộng đồng rỉ sét rằng nó sẽ trở thành mộtTính năng phổ biến cho các ngôn ngữ trong tương lai trong ngành phát triển phần mềm.

Thí dụ

- Bạn có biết khoảng 60% sự cố nội bộ của Windows là do truy cập bộ nhớ bất hợp pháp không?
- Có, đó là bởi vì C ++ không có trình kiểm tra mượn để Windows mã nguồn không thể được chứng minh là an toàn.