Posso restituire in modo efficiente l'oggetto in base al valore in Rust?

Question

Vorrei che un oggetto di grandi dimensioni dicesse Vec<Vec<MyStruct> da inizializzare con una funzione. Attualmente ho

fn initialize(mydata : &mut Vec<Vec<MyStruct>>) { ... } 

quando vorrei

fn initialize() -> Vec<Vec<MyStruct>> { ... } 

In C++ spesso così ho sentito, implementa l'ottimizzazione valore di ritorno, se si è fortunati e hanno un buon compilatore. Possiamo disabilitare la copia qui e averla restituita fondamentalmente da un puntatore nascosto che viene passato alla funzione? Ed è RVO parte della lingua o un'ottimizzazione opzionale?

Answer 1

Sì, con tutti i mezzi, si dovrebbe scrivere

fn initialize() -> Vec<Vec<MyStruct>> { ... } 

(BTW, Vec non è grande - è a soli 3 interi puntatore di dimensioni, ma ancora)

Rust ha RVO, e questo è pubblicizzato nelle guide, ad esempio here. Puoi vederlo da solo.

#[inline(never)] 
fn initialize() -> Vec<i32> { Vec::new() } 

fn main() { 
    let v = initialize(); 
} 

Se si esegue questo programma on playpen con il tasto "asm", tra tutto il resto si poteva vedere questo:

_ZN10initialize20h5d5903a85c1850a8eaaE: 
    .cfi_startproc 
    movq $1, (%rdi) 
    movq $0, 16(%rdi) 
    movq $0, 8(%rdi) 
    movq %rdi, %rax 
    retq 

Vec::new() stato inline, ma comunque si può vedere l'idea - l'indirizzo per la nuova istanza Vec viene passata alla funzione in %rdi e la funzione memorizza i campi Vec direttamente in questa memoria, evitando inutili copie attraverso lo stack. Ed è così che si chiama:

leaq (%rsp), %rdi 
    callq _ZN10initialize20h5d5903a85c1850a8eaaE 

Si può vedere che alla fine l'istanza Vec sarà messo direttamente nella memoria dello stack.