Perché non posso restituire un valore & str generato da una stringa?

Question

Sto riscontrando dei problemi nel tentativo di comprendere perché non è possibile restituire un valore &str generato da un String (qualità, quando sarà pronto il as_str?) E sto facendo qualcosa di sbagliato. Ho questa idea perché nulla di ciò che faccio fa vivere il valore abbastanza a lungo da poterlo utilizzare.

Sto cercando di implementare error::Error per una struct personalizzato:

impl error::Error for LexicalError { 
    fn description(&self) -> &str { 
     let s = format!("{}", self); 

     // s doesn't live long enough to do this, I've tried 
     // cloning s and using that, but still the clone doesn't 
     // live long enough. 
     s.trim() 
    } 

    fn cause(&self) -> Option<&error::Error> { 
     None 
    } 
} 

(per il frammento di completo, qui è la playpen)

Non riesco a capire come restituire un & str da description, vorrei riutilizzare la logica Display, a meno che, ovviamente, non stia completamente fraintendendo cosa dovrebbe restituire description (forse la breve descrizione del problema). O ottengo lo stesso problema con il ritorno di format!(...) che è una variabile che non riesco a vivere abbastanza a lungo da essere utile a me.

Answer 1

In primo luogo, diamo un'occhiata a ciò che la vita è effettivamente prevista. C'è una vita implicita nella firma del description:

fn description(&self) -> &str 
// Can be rewritten as 
fn description<'a>(&'a self) -> &'a str 

Il puntatore restituito deve essere valido per almeno finché self. Considerare ora s. Conterrà un String, una stringa di proprietà e uscirà dall'ambito alla fine della funzione. Non sarebbe valido restituire &s, perché s non c'è più quando la funzione ritorna. trim restituisce una sezione stringa che prende in prestito s, ma la sezione è di nuovo valida solo finché lo è s.

È necessario restituire una sezione di stringa che sopravvive alla chiamata al metodo, in modo da escludere qualsiasi elemento presente nello stack. Se sei libero di scegliere il tipo di reso, una soluzione sarebbe spostare la stringa fuori dalla funzione. Per quello sarebbe richiesta una stringa di proprietà, e quindi il tipo restituito sarebbe String, non &str. Sfortunatamente, non sei libero di scegliere il tipo di reso qui.

Per tornare una fetta stringa che sopravvive della chiamata al metodo, vedo due opzioni:

1. utilizzare una fetta &'static stringa. Questo sicuramente sopravviverà alla chiamata, ma richiede che la stringa sia nota al momento della compilazione. I valori letterali stringa hanno tipo &'static str. Questa è un'opzione adatta se la descrizione non contiene dati dinamici.

2. Conservare una stringa di proprietà in LexicalError stesso. Ciò garantisce che sia possibile restituire un puntatore ad esso valido per l'intera durata di self. È possibile aggiungere un campo desc: String a LexicalError ed eseguire la formattazione quando si crea l'errore. Quindi il metodo verrebbe implementato come

   fn description(&self) -> &str { 
       &self.desc 
   } 
   

   per il riutilizzo, è possibile effettuare Display scrivere la stessa stringa.

Secondo la documentation of Error, Display può essere utilizzato per fornire ulteriori dettagli.Se desideri includere dati dinamici nell'errore, allora Display è un ottimo posto per formattarlo, ma puoi ometterlo per description. Ciò consentirebbe di utilizzare il primo approccio.