Spostare i dati nei thread
Usi correttamente le closure move.
Spostare i dati nei thread è una lezione Learn Rust Coding gratuita su CoddyKit. Questa è la lezione 2 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento Learn Rust Coding, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso Learn Rust Coding include 4 lezioni in totale.
Le closure catturano l'ambiente
Una closure passata a thread::spawn può usare variabili dell'ambito circostante. Per impostazione predefinita, Rust le prende in prestito.
Un thread creato, però, potrebbe durare più a lungo della funzione che lo ha creato, quindi un semplice prestito non è sicuro. Rust lo rifiuta in fase di compilazione.
Il problema dei prestiti
Se un thread prende in prestito una variabile locale, il compilatore non può dimostrare che la variabile rimarrà valida abbastanza a lungo. Il thread potrebbe continuare a essere eseguito dopo che la variabile è stata eliminata.
Il codice seguente non viene compilato perché la closure prende in prestito solo data.
use std::thread;
fn main() {
let data = vec![1, 2, 3];
// ERROR: closure may outlive `data`
let h = thread::spawn(|| {
println!("{:?}", data);
});
h.join().unwrap();
}La parola chiave move
Aggiungere move prima della closure la obbliga a prendere la proprietà delle variabili catturate. Queste vengono spostate nel thread.
Ora il thread possiede i dati, quindi è garantito che rimangano validi per tutta la durata del thread.
use std::thread;
fn main() {
let data = vec![1, 2, 3];
let h = thread::spawn(move || {
println!("{:?}", data);
});
h.join().unwrap();
}La proprietà viene trasferita
Una volta spostato un valore in un thread, l'ambito originale non può più utilizzarlo. La proprietà è stata trasferita.
Tentare di usare data in main dopo lo spostamento causerebbe un errore di compilazione. Il thread è ora l'unico proprietario.
use std::thread;
fn main() {
let data = vec![1, 2, 3];
let h = thread::spawn(move || println!("{:?}", data));
// println!("{:?}", data); // ERROR: value moved
h.join().unwrap();
}Spostare tipi Copy
I tipi che implementano Copy, come gli interi, vengono copiati anziché spostati. La closure riceve una propria copia.
Perciò, dopo che una closure move ha catturato un numero, è ancora possibile usare l'originale in main.
use std::thread;
fn main() {
let n = 42;
let h = thread::spawn(move || {
println!("thread sees {}", n);
});
println!("main still sees {}", n);
h.join().unwrap();
}Send: trasferimento sicuro
Un tipo può essere spostato in un altro thread solo se implementa il trait Send. Send indica che è sicuro trasferirne la proprietà tra thread.
La maggior parte dei tipi è automaticamente Send. Alcuni, come Rc, non lo sono e il compilatore rifiuta di spostarli.
Rc non è Send
Rc è un contatore di riferimenti per un singolo thread. Il suo contatore non è protetto dagli aggiornamenti concorrenti, quindi non è Send.
Tentare di spostare un Rc in un thread non viene compilato. Nella prossima lezione userà invece Arc.
use std::rc::Rc;
use std::thread;
fn main() {
let r = Rc::new(5);
// ERROR: `Rc<i32>` cannot be sent between threads safely
let h = thread::spawn(move || println!("{}", r));
h.join().unwrap();
}Spostare più valori
Una singola closure move può catturare contemporaneamente diverse variabili. Tutte vengono spostate nel thread.
È utile quando un worker ha bisogno sia di alcuni dati di input sia di un'etichetta.
use std::thread;
fn main() {
let label = String::from("sum");
let nums = vec![1, 2, 3, 4];
let h = thread::spawn(move || {
let total: i32 = nums.iter().sum();
println!("{} = {}", label, total);
});
h.join().unwrap();
}Clonare prima di spostare
Se sia il thread sia la funzione principale hanno bisogno di un valore, lo cloni prima. Dai una copia al thread e conservi l'altra.
La clonazione copia i dati, quindi ogni parte possiede un valore indipendente.
use std::thread;
fn main() {
let original = String::from("hello");
let for_thread = original.clone();
let h = thread::spawn(move || println!("thread: {}", for_thread));
println!("main: {}", original);
h.join().unwrap();
}Restituire i dati spostati
Un thread che possiede dati spostati può restituirli, trasferendo nuovamente la proprietà al thread padre tramite join.
Questo schema sposta i dati all'interno del thread, li elabora e poi sposta il risultato all'esterno.
use std::thread;
fn main() {
let mut v = vec![3, 1, 2];
let h = thread::spawn(move || {
v.sort();
v
});
let sorted = h.join().unwrap();
println!("{:?}", sorted);
}Perché è necessario move
Senza move, il borrow checker presume che la closure prenda i dati in prestito. Poiché i thread creati non hanno una durata fissa legata al chiamante, i prestiti non sono sicuri.
La parola chiave move trasforma i prestiti in trasferimenti di proprietà, soddisfacendo il requisito 'static di spawn.
Verifica rapida
Verifichi la Sua comprensione dello spostamento dei dati nei thread.
Riepilogo
Ha imparato che le closure dei thread devono possedere i dati che usano; ciò si ottiene con la parola chiave move.
Lo spostamento trasferisce la proprietà, mentre i tipi Copy vengono copiati. Il trait Send indica ciò che è sicuro trasferire e Rc non è Send.
Ora condividerà i dati tra thread usando Arc e Mutex.
Domande Frequenti
La lezione «Spostare i dati nei thread» è gratuita?
Sì — il testo completo di «Spostare i dati nei thread» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso Learn Rust Coding, passa a CoddyKit PRO. Il corso Learn Rust Coding include 4 lezioni in totale.
Cosa imparerò in «Spostare i dati nei thread»?
Usi correttamente le closure move. Eserciti Learn Rust Coding con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.
Ho bisogno di esperienza per iniziare Learn Rust Coding?
Non è richiesta alcuna esperienza precedente. Learn Rust Coding su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 2 di 4.
Quanto tempo richiede la lezione «Spostare i dati nei thread»?
La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.
Posso scrivere ed eseguire codice in questa lezione Learn Rust Coding?
Sì. Ogni lezione Learn Rust Coding include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.
Tutte le lezioni di questo corso
- Creare thread
- Spostare i dati nei thread
- Condividere con Arc e Mutex
- Unire i thread e raccogliere i risultati