Được xây dựng trong * cách an toàn * để di chuyển ra khỏi Vec <T>?

Question

Tôi đã xem qua tài liệu và cho đến nay tôi chưa thấy chức năng được tích hợp để di chuyển an toàn một mục ra khỏi Vec.

Vec::get tồn tại, nhưng điều đó chỉ mượn. Vec::remove tồn tại, và trong khi đó di chuyển ra khỏi vectơ, nó cũng hoảng loạn nếu chỉ mục nằm ngoài phạm vi. Vì vậy, tôi có hai câu hỏi:

1. Cách dự định/tốt để di chuyển một mục từ một véc tơ là gì?
2. remove(&mut self, index: usize) -> T panics nếu nằm ngoài phạm vi phủ sóng. Điều gì có thể là lý do để hoảng sợ? Tại sao nó không được triển khai như remove(&mut self, index: usize) -> Option<T>?

Answer 1

Nếu bạn nói safe trong bối cảnh Rust, chúng tôi nghĩ về an toàn bộ nhớ. .remove(i) chắc chắn là an toàn trong các điều khoản Rust thông thường, chỉ để làm rõ. Gọi số panic!() là an toàn.

Các lỗi hành vi của .remove(i) và .swap_remove(i) là tương tự như đối lập chỉ mục một vector với v[i] cú pháp: Nếu i là ngoài giới hạn, đó là một lỗi lập trình viên và các chức năng thư viện hoảng loạn. Điều này còn được gọi là điều khoản vi phạm hợp đồng trong hướng dẫn xử lý lỗi.

Vì vậy, suy nghĩ đằng sau thư viện là bạn chỉ sử dụng v[i] hoặc v.remove(i) nếu bạn biết rằng i là trong giới hạn, và bạn thực sự có thể kiểm tra xem nó đang sử dụng i < v.len() hoặc v.get(i) nếu bạn muốn.

Có một chức năng khác cho phép bạn di chuyển một phần tử ra khỏi vec-tơ mà không có khả năng hoảng sợ và đó là v.pop() loại bỏ mục cuối cùng trong vectơ, trả về Option<T> cho số Vec<T>.

Answer 2

Ngoài ra còn có vec::drain sẽ cung cấp cho bạn trình lặp trên một loạt các giá trị đã bị xóa. Bây giờ tôi nhìn vào nó mặc dù, phương pháp này cũng sẽ hoảng loạn trên out-of-bounds truy cập ...