Кратко — почему компилятор ругается
- В коде
let x = vec![1,2,3];
let y = x;
println!("{:?}", x);
переменная `x` перестаёт быть владельцем данных после `let y = x;` — происходит перемещение (move). Тип `Vec` не реализует `Copy`, поэтому присваивание переносит владение, и дальнейшее использование `x` недопустимо. Компилятор выдаст ошибку “use of moved value: `x`”.
Пояснения по концепциям
- Владение (ownership): каждому значению соответствует ровно один владелец (переменная).
- Перемещение (move): присваивание для типов без `Copy` перемещает владение; исходная переменная становится недоступной.
- Копирование (Copy): простые типы (например, целые числа) реализуют `Copy`, поэтому при присваивании создаётся побитовое копирование и оба имени годны.
Пример: для значения $...5...$ присваивание не приводит к ошибке.
- Заимствование (borrowing): с помощью `&` или `&mut` можно временно одалживать данные; правило заимствований — либо много неизменяемых ссылок, либо одна изменяемая.
- Клонирование (clone): метод `clone()` делает полноценную копию данных (обычно копирование кучи, O(n)).
- Разделяемое владение: обёртки `Rc` (однопоточно) и `Arc` (многопоточно) позволяют иметь несколько владельцев.
Как изменить код, чтобы обе переменные могли использовать данные
1) Клонировать (создаётся вторая копия)
let x = vec![1, 2, 3];
let y = x.clone();
println!("{:?}", x); // OK
println!("{:?}", y);
(затратно по памяти/времени: копируется содержимое вектора)
2) Заимствовать через ссылку (без копирования, ссылки не перемещают владение)
let x = vec![1, 2, 3];
let y = &x;
println!("{:?}", x); // OK
println!("{:?}", y); // OK
(оба читают данные; если нужна мутация, нужен &mut и соблюдение правил заимствования)
3) Разделяемое владение через Rc (если нужно владеть несколькими именами)
use std::rc::Rc;
let x = Rc::new(vec![1, 2, 3]);
let y = Rc::clone(&x); // или let y = x.clone();
println!("{:?}", x);
println!("{:?}", y);
(для многопоточных сценариев используйте Arc вместо Rc)
Примечание про числа в примерах: элементы вектора — это $...1,2,\mathrm{3...}$; простые целые, например $...5...$, реализуют `Copy`, поэтому присваивание копирует, а не перемещает.
Если нужно — могу показать полный компилируемый пример для каждого подхода.