Không thể di chuyển ra khỏi nội dung đã mượn

Question

Tôi không hiểu lỗi cannot move out of borrowed content. Tôi đã nhận được nó nhiều lần và tôi đã luôn luôn giải quyết nó, nhưng tôi chưa bao giờ hiểu tại sao.

Ví dụ:

for line in self.xslg_file.iter() { 
    self.buffer.clear(); 

    for current_char in line.into_bytes().iter() { 
     self.buffer.push(*current_char as char); 
    } 

    println!("{}", line); 
} 

tạo ra lỗi:

error[E0507]: cannot move out of borrowed content 
    --> src/main.rs:31:33 
    | 
31 |    for current_char in line.into_bytes().iter() { 
    |         ^^^^ cannot move out of borrowed content 

Tôi giải quyết nó bằng cách nhân bản line:

for current_char in line.clone().into_bytes().iter() { 

Tôi không hiểu các lỗi ngay cả sau khi đọc khác các bài đăng như:

• Can't borrow File from &mut self (error msg: cannot move out of borrowed content)
• Changing a node in a tree in Rust

nguồn gốc của loại hình báo lỗi là gì?

Answer 1

Hãy nhìn vào chữ ký cho into_bytes:

fn into_bytes(self) -> Vec<u8> 

này có self, không phải là một tài liệu tham khảo để tự (&self). Điều đó có nghĩa là self sẽ là được tiêu thụ và sẽ không khả dụng sau cuộc gọi. Ở vị trí của nó, bạn nhận được Vec<u8>. Tiền tố into_ là cách phổ biến để biểu thị các phương pháp như thế này.

Tôi không biết chính xác phương thức iter() của bạn trả về, nhưng tôi đoán đó là một trình lặp trên &String, nghĩa là nó trả về tham chiếu đến String nhưng không cung cấp cho bạn quyền sở hữu chúng. Điều đó có nghĩa là bạn không thể gọi phương thức tiêu thụ giá trị.

Như bạn đã tìm thấy, một giải pháp là sử dụng clone. Điều này tạo ra một đối tượng trùng lặp mà bạn tự làm và có thể gọi into_bytes vào. Như những người nhận xét khác đề cập đến, bạn cũng có thể sử dụng as_bytes mất &self, vì vậy nó sẽ hoạt động trên một giá trị được vay. Mà một trong những bạn nên sử dụng phụ thuộc vào mục tiêu cuối cùng của bạn cho những gì bạn làm với con trỏ.

Trong bức tranh lớn hơn, tất cả điều này phải làm với khái niệm về quyền sở hữu. Một số hoạt động phụ thuộc vào việc sở hữu mục và các hoạt động khác có thể lấy đi bằng cách mượn đối tượng (có lẽ là một cách rõ ràng). Một tài liệu tham khảo (&foo) không cấp quyền sở hữu, nó chỉ là một khoản vay.

Why is it interesting to use self instead of &self in a function's arguments?

Chuyển quyền sở hữu là một khái niệm hữu ích nói chung - khi tôi làm xong điều gì đó, người khác có thể có nó. Trong Rust, đó là một cách để có hiệu quả hơn. Tôi có thể tránh phân bổ một bản sao, cung cấp cho bạn một bản sao, sau đó vứt bỏ bản sao của tôi. Quyền sở hữu cũng là trạng thái dễ chấp nhận nhất; nếu tôi sở hữu một vật thể tôi có thể làm với nó như tôi muốn.

---

Dưới đây là đoạn code mà tôi tạo ra để thử nghiệm với:

struct IteratorOfStringReference<'a>(&'a String); 

impl<'a> Iterator for IteratorOfStringReference<'a> { 
    type Item = &'a String; 

    fn next(&mut self) -> Option<Self::Item> { 
     None 
    } 
} 

struct FileLikeThing { 
    string: String, 
} 

impl FileLikeThing { 
    fn iter(&self) -> IteratorOfStringReference { 
     IteratorOfStringReference(&self.string) 
    } 
} 

struct Dummy { 
    xslg_file: FileLikeThing, 
    buffer: String, 
} 

impl Dummy { 
    fn dummy(&mut self) { 
     for line in self.xslg_file.iter() { 
      self.buffer.clear(); 

      for current_char in line.into_bytes().iter() { 
       self.buffer.push(*current_char as char); 
      } 

      println!("{}", line); 
     } 
    } 
} 

fn main() {}