String vs str en Rust: principales diferencias con ejemplos

String vs str en Rust: por qué los principiantes se confunden y cómo entenderlo de una vez por todas

Si recién está comenzando a aprender Rust, seguramente ya se ha encontrado con esta situación: el compilador se queja, intenta pasar un String donde se espera un &str, o viceversa. ¿Le suena familiar? Esta es una de las preguntas más populares en Stack Overflow (¡miles de visitas!), y no es para menos: el tema es realmente fundamental para entender el manejo de memoria en Rust.

En este artículo, analizaremos en qué se diferencian String y &str, cuándo usar cada tipo y cómo evitar errores típicos. ¡Allá vamos!

Respuesta corta para los que tienen prisa

Si necesita saberlo ahora mismo, recuerde lo principal:

\n
• String es un tipo de datos propietario, mutable y dinámico que se almacena en el montón (heap).
\n
• &str es un slice de cadena inmutable que hace referencia a datos que pertenecen a otra persona. La mayoría de las veces aparece como &str.
\n

Ahora profundicemos.

¿Qué es String en Rust?

String es un tipo que posee sus datos. Cuando crea un String, la memoria se asigna en el montón y la cadena puede crecer, reducirse o modificarse.

let mut s = String::from("Hola");\ns.push_str(", mundo!");\nprintln!("{}", s); // Imprime: Hola, mundo!

Aquí, s es el propietario de la cadena. Cuando s sale del ámbito, la memoria se libera automáticamente (gracias a RAII — Resource Acquisition Is Initialization).

Características principales de String:

\n
• Posee los datos (owning type)
\n
• Mutable
\n
• Se almacena en el montón
\n
• Se puede crear a partir de un literal de cadena: String::from("texto")
\n
• Admite concatenación, inserción y eliminación de caracteres
\n

¿Qué es &str en Rust?

&str (se pronuncia "str-slice" o "string-slice") es una referencia a una secuencia de caracteres UTF-8 que pertenece a otra persona. Por sí mismo, &str es simplemente un puntero a los datos y una longitud.

let greeting: &str = "Hola";\nprintln!("{}", greeting);

En este ejemplo, greeting es una referencia a un literal de cadena que se almacena directamente en el archivo binario del programa (en el segmento de memoria de solo lectura). greeting no posee estos datos, solo los observa.

Características principales de &str:

\n
• No posee los datos (borrowed type)
\n
• Inmutable
\n
• Se almacena en el binario (literales de cadena) o en el montón (como slice de un String)
\n
• Ligero: consta de dos campos: puntero + longitud (16 bytes en sistemas de 64 bits)
\n
• Ideal para pasar a funciones cuando no es necesario modificar la cadena
\n

Diferencias clave entre String y &str (tabla)

Resumamos todo en una tabla clara: