Quando e come utilizzare un vettore di riferimenti

Question

Questo codice viene compilato correttamente. Ha alcuni avvisi di codice inutilizzati, ma per ora va bene.

use std::collections::BTreeMap; 

enum Object<'a> { 
    Str(String), 
    Int(i32), 
    Float(f32), 
    Vector(Vec<&'a Object<'a>>), 
    Prim(fn(State) -> State) 
} 

struct State<'a> { 
    named: BTreeMap<String, &'a Object<'a>>, 
    stack: Vec<Object<'a>> 

} 

impl<'a> State<'a> { 
    fn push_int(&mut self, x: i32) { 
     self.stack.push(Object::Int(x)); 
    } 
} 


fn main() { 
    println!("Hello, world!"); 
    let obj = Object::Str("this is a test".to_string()); 
} 

La parte importante di questo codice è push_int e stack: Vec<Object<'a>>.

Sto cercando di creare una macchina virtuale basata su stack. Voglio passare lo stato alle funzioni, che possono togliere elementi dallo stack, manipolare il materiale e quindi rimettere alcuni elementi in pila; il campo con nome sta per contenere oggetti con nome.

Ho la sensazione che sarebbe preferibile avere lo stack rappresentato come Vec<&'a Object<'a>>. Nel modo in cui l'ho adesso, temo di commettere un errore di inefficienza. La mia impressione è corretta?

La seconda parte del problema è che non so come far funzionare il vettore della versione dei riferimenti. Creare un nuovo valore con le giuste vite per spingere in pila non funziona per me.

Sono un po 'vago in merito a questo problema, quindi se non sono chiaro, chiedimi domande per chiarire le cose.

Answer 1

Il motivo per cui non è stato possibile farlo funzionare è che le strutture non possono avere campi che si riferiscono ad altri campi. (Vedere sostenere link in fondo.)

Cosa si può fare, è mettere tutti i Object s nella vostra Vec, e hanno il HashMap contengono gli indici degli elementi di nome fa riferimento.

struct State { 
    named: BTreeMap<String, usize>, 
    stack: Vec<Object> 
} 

Mi piacerebbe anche rimuovere tutte le vite dal vostro esempio, come questo può essere fatto completamente con gli oggetti di proprietà.

enum Object { 
    Str(String), 
    Int(i32), 
    Float(f32), 
    Vector(Vec<Object>), 
    Prim(fn(State) -> State) 
} 

È possibile provare un'implementazione lavoro nei Playground

link di supporto:

• How to initialize struct fields which reference each other

• using self in new constructor

• How to design a struct when I need to reference to itself

• How to store HashMap and its Values iterator in the same struct?

• What lifetimes do I use to create Rust structs that reference each other cyclically?

• How to store a SqliteConnection and SqliteStatement objects in the same struct in Rust?

• Why can't I store a value and a reference to that value in the same struct?

• https://stackoverflow.com/questions/33123634/reference-inside-struct-to-object-it-owns