Wrong translation for iterator into moved container

Đang mở
  • Có gì không ổn?
#578 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Maintainer thường phản hồi trong vòng 1 ngày

Chưa có ai nhận issue này.

Đánh giá

Độ khó
5/5
Thời gian dự kiến
Hơn một tuần
Mức phù hợp với người mới
15/100
Loại issue
Lỗi
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
cpp, rust
Lĩnh vực
compilers

Hướng nghiên cứu

The issue names no source files or tests, so start by locating how the translator maps C++ std::vector iterators to Rust, which the issue describes as a Value<Vec<T>> wrapper with Weak pointers. Reproduce the moved-container case with the snippet in the issue to confirm the mismatch. Settling the design (the costly Value<Value<Vec<T>>> option or a different invalidation rule) needs maintainer input before any patch.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

std::vector<int> src{1, 2, 3};
std::vector<int> dst;

auto it = src.begin();        // (1) iterator to src's first element
dst = std::move(src);         // (2) dst steals src's heap buffer; src is left empty
assert(&*it == &dst[0]);      // (3) C++: true, the element never moved, dst owns it now

let src: Value<Vec<i32>> = Rc::new(RefCell::new(vec![1, 2, 3]));   // Value<T> = Rc<RefCell<T>>
let dst: Value<Vec<i32>> = Rc::new(RefCell::new(Vec::new()));

let it = src.as_pointer().begin();   // (1) Ptr = (Weak to src's Rc, index 0)
dst.write(std::mem::take(&mut *src.borrow_mut()));
                                     // (2) the Vec moves into dst's Rc; src's Rc keeps an empty Vec;
                                     //     `it` still refers to src's Rc
assert!(it.deref() == dst[0]);       // (3) panics: index 0 out of bounds of the empty Vec in src

In C++ the iterator for vector (or other sequential container) stays valid after src is moved because it points into the same buffer. In Rust the iterator is a Weak reference into the src Value<Vec<T>>. It still points into src after the move.

I think the correct solution is to translate vector as Value<Value<Vec<T>> but this is too costly. Also I am not sure if the behavior in C++ is standard behavior or implementation behavior. I found no explicit sentence in the standard that enforces this.

Ngôn ngữ chính
Rust
Star
310
Fork
18
Merge trung bình
10 giờ 18 phút
Pull request đã merge (30 ngày)
125

Chuẩn bị môi trường

Dự án này không cung cấp dev container, Dockerfile hay hướng dẫn đóng góp, nên bạn cần tự thiết lập môi trường: hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của Cpp2Rust/cpp2rust

Tất cả issue của Cpp2Rust/cpp2rust

Issue tương tự

Thêm issue về Rust

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.