Ссылка на элемент поля

Question

Я пытаюсь создать заданный набор потоков и каждый из них выполняет длительную операцию. Я бы передал структуру каждому рабочему потоку в качестве внутреннего состояния данного потока. Сбор указанных структур хранится в векторе, являющемся частью структуры Master.

компилятор отвергает меня передавая внутренний член структуры в Arc::new():

use std::thread; 
use std::sync::Arc; 

struct Worker { 
    name: String, 
} 

struct Master { 
    workers: Vec<Worker>, 
} 

impl Worker { 
    fn start(&self) { 
     println!("My name is {} and I'm working!", self.name); 
     thread::sleep_ms(100_000); 
    } 
} 

impl Master { 
    pub fn run_test(&mut self) { 
     for i in 0..10 { 
      self.workers.push(Worker { 
       name: String::new() + "Worker" + &i.to_string() 
      }); 
     } 
     let mut data = Arc::new(self.workers); 

     for i in 0..10 { 
      let local_data = data.clone(); 
      thread::spawn(move || { 
       local_data[i].start(); 
      }); 
     } 

     thread::sleep_ms(100_000); 
    } 
} 


fn main() { 
    let mut master = Master { workers: vec![] }; 
} 

Сообщение об ошибке:

error[E0507]: cannot move out of borrowed content 
    --> <anon>:26:33 
    | 
26 |   let mut data = Arc::new(self.workers); 
    |         ^^^^ cannot move out of borrowed content 

Что я делаю неправильно? Это идиоматическая ржавчина?

Answer 1

Добро пожаловать в собственность.

В ржавчине любой отдельный фрагмент данных имеет один и ровно один владелец. Не обманывайтесь Rc и Arc: они представляют собой общий интерфейс поверх одного (невидимого) владельца.

Самый простой способ выражения собственности является значением:

struct Master { 
    workers: Vec<Worker> 
} 

Здесь Master владеет Vec<Worker> который сам владеет мультипликатор Worker.

Аналогично, функции, которые принимают свой аргумент по значению (например, fn new(t: T) -> Arc<T>), получают право собственности на свой аргумент.

И это где проблема лежит:

Arc::new(self.workers) 

означает, что вы, в то же время:

• утверждающей, что Master является владельцем workers
• утверждают, что Arc является владелец workers

Учитывая правило один и ровно один владелец, это явно трудноизвлекаемо.

---

Итак, как вы обманываете и имеете нескольких совладельцев для одного фрагмента данных?

Хорошо ... используйте Rc или Arc!

struct Master { 
    workers: Arc<Vec<Worker>> 
} 

И теперь создание data так просто, как:

let data = self.workers.clone(); 

, который создает новый Arc (который только врезается счетчик ссылок).

---

Это еще не все.Основным принципом системы заимствований является: Смещение XOR Mutability.

С Arc касается сглаживания, он предотвращает изменчивость. Вы не можете вставлять работников в self.workers больше!

Есть несколько решений, таких как отложив инициализацию self.workers, пока вектор не будет построен, однако наиболее распространенным является использование клеток или мьютексы, то есть Rc<RefCell<T>> или Arc<Mutex<T>> (или Arc<RwLock<T>>).

RefCell и Mutex - это обертки, которые перемещают проверку заимствования из времени компиляции во время выполнения. Это дает немного большую гибкость, но может привести к панике во время выполнения вместо ошибок времени компиляции, поэтому лучше всего использовать в качестве последнего средства.