optimization - ¿Puedo devolver eficientemente un objeto por valor en Rust?

return-value-optimization

Question

Me gustaría inicializar un objeto grande con una función. Actualmente tengo:

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

Prefiero tener:

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

Escuché que C ++ a menudo implementa la optimización del valor de retorno (RVO), si tienes suerte y tienes un buen compilador. ¿Podemos desactivar la copia aquí y que sea devuelta por un puntero oculto que se pasa a la función? ¿RVO es parte del lenguaje o una optimización opcional?

Answer 1

Sí, por supuesto, deberías escribir

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

(Por cierto, un Vec no es tan grande, solo tiene 3 enteros del tamaño de un puntero)

Rust tiene RVO, y esto se anuncia en guías . Puede verlo usted mismo con este código:

#[inline(never)]
fn initialize() -> Vec<i32> {
Vec::new()
}
fn main() {
let v = initialize();
}

Si compila este programa en modo de lanzamiento en el patio de juegos , generando ensamblaje, entre todo lo demás verá esto:

playground::initialize:
movq $4, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 8(%rdi)
retq

Vec::new() estaba en línea, pero puede ver la idea: la dirección de la nueva instancia de Vec se pasa a la función en %rdi , y la función almacena los campos Vec directamente en esta memoria, evitando copias innecesarias a través de la pila. Así es como se llama:

playground::main:
subq $24, %rsp
movq %rsp, %rdi
callq playground::initialize

Puede ver que eventualmente la instancia de Vec se colocará directamente en la memoria de la pila.