Come si trasforma & str in ~ str in Rust?

Question

Questo è per lo 0,6 attuale tronco di ruggine, non è sicuro del commit esatto.

Diciamo che voglio per ciascuna più stringhe, e la mia chiusura prende un argomento puntatore a stringa preso in prestito (& str). Voglio che la mia chiusura aggiunga il suo argomento a un vettore di proprietà di stringhe di proprietà ~ [~ str] da restituire. La mia comprensione di Rust è debole, ma penso che le stringhe siano un caso speciale in cui non puoi dereferenziarle con * giusto? Come faccio a ottenere le stringhe da & str nel metodo push del vettore che accetta un ~ str?

Ecco alcuni codice che non viene compilato

fn read_all_lines() -> ~[~str] { 
    let mut result = ~[]; 
    let reader = io::stdin(); 
    let util = @reader as @io::ReaderUtil; 
    for util.each_line |line| { 
     result.push(line); 
    } 
    result 
} 

Esso non viene compilato perché è inferire il tipo di risultato di essere [& str] dato che è quello che sto spingendo su di esso. Per non parlare della sua vita sarà sbagliata dal momento che aggiungo una variabile a vita breve ad esso.

Mi rendo conto che potrei usare il metodo read_line() di ReaderUtil che restituisce un ~ str. Ma questo è solo un esempio.

Quindi, come posso ottenere una stringa di proprietà da una stringa in prestito? O sono totalmente frainteso.

Answer 1

si dovrebbe chiamare il metodo del tratto StrSlice, to_owned, come in:

fn read_all_lines() -> ~[~str] { 
    let mut result = ~[]; 
    let reader = io::stdin(); 
    let util = @reader as @io::ReaderUtil; 
    for util.each_line |line| { 
     result.push(line.to_owned()); 
    } 
    result 
} 

StrSlice docs tratto sono qui:

http://static.rust-lang.org/doc/core/str.html#trait-strslice

Answer 2

Non è possibile.

Per uno, non funziona semanticamente: un ~str promette che solo una cosa lo possiede alla volta. Ma viene preso in prestito un &str, quindi cosa succede al luogo da cui hai preso in prestito? Non ha modo di sapere che stai cercando di sottrarre il suo unico riferimento, e sarebbe piuttosto scortese eliminare anche i dati del chiamante.

Per altro, non funziona logicamente: ~ -pointers e @ -pointers sono allocati completamente diversi cumuli, e una & non sa che mucchio, quindi non può essere convertita in ~ e garantire comunque che i dati sottostanti vadano nel posto giusto.

Quindi è possibile utilizzare read_line o fare una copia, che sono ... non del tutto sicuro di come fare :)

mi chiedo il motivo per cui l'API è come questo, quando & è il più limitato dei puntatori. ~ dovrebbe funzionare altrettanto bene qui; non è come se le stringhe iterate esistessero già da qualche altra parte e necessiti di da prendere in prestito.

Answer 3

All'inizio ho pensato che fosse possibile utilizzare copy line per creare il puntatore proprietario dal puntatore preso in prestito alla stringa ma questo apparentemente copia il puntatore scavato.

Quindi ho trovato str::from_slice(s: &str) -> ~str. Questo è probabilmente ciò di cui hai bisogno.