Respuesta.

Historia de la cuestión

En muchos lenguajes de programación populares, como C o JavaScript, las variables son mutables por defecto. En Rust, los propios autores del lenguaje hicieron una elección importante a favor de la inmutabilidad de las variables por defecto: esta decisión está relacionada con la seguridad del código y la reducción del número de errores relacionados con cambios inesperados en el estado de las variables.

Problema

El principal problema de las variables mutables es la complejidad en la depuración y la búsqueda de errores relacionados con cambios implícitos en los valores. Comprender el comportamiento del código se vuelve especialmente complicado cuando las variables cambian en diferentes partes del programa y se pierde el control sobre sus cambios. Esto puede llevar a errores y resultados inesperados, especialmente al escribir aplicaciones multihilo o al enfrentar dependencias complejas en el código.

Solución

En Rust, las variables son inmutables por defecto utilizando la palabra clave let. Para hacer que una variable sea mutable, debes especificar explícitamente mut. Esto aumenta la fiabilidad del código, convierte la inmutabilidad en una elección consciente y reduce la probabilidad de cambios accidentales.

Ejemplo de código:

let x = 5;        // variable inmutable
let mut y = 10;   // variable mutable
y += 1;           // correcto
x += 1;           // error de compilación!

Características clave:

Inmutabilidad por defecto — por seguridad.
Especificación explícita de mutabilidad a través de mut.
El compilador previene modificaciones de variables inmutables en la etapa de compilación.

Preguntas trampa.

¿Se puede modificar un campo de una estructura si la misma variable de la estructura se declara como inmutable?

No, si la variable de la estructura se declara como inmutable, sus campos también son inmutables. Para modificar campos, debes declarar la variable con mut.

Ejemplo de código:

struct Point { x: i32, y: i32 }
let mut p = Point { x: 0, y: 0 };
p.x = 5; // ok
let p2 = Point { x: 1, y: 2 };
p2.x = 3; // error de compilación!

Si una variable es mut, ¿se puede referenciar simultáneamente a ella con varias referencias mutables?

No, en Rust solo puede existir una referencia mutable a un objeto a la vez. Esta regla previene condiciones de carrera en los datos.

¿Se puede declarar un arreglo de objetos inmutables como mutable y cambiar su contenido?

Sí. Si la variable del arreglo se declara como mut, sus elementos se pueden cambiar, pero si el contenido del tipo de arreglo no admite mutabilidad, entonces los elementos son inmutables.

Errores comunes y anti-patrones

Uso de mut sin necesidad, lo que hace que el código sea menos seguro.
Intento de modificar el contenido de una variable sin declarar mut.
Malentendidos sobre la mutabilidad de las estructuras anidadas.

Ejemplo de la vida real

Caso negativo

En un proyecto, las variables se declaran como mutables por costumbre, incluso cuando no es necesario. Debido a esto, una de las variables se modifica accidentalmente en medio del programa por otro método, lo que provoca un error difícil de detectar en producción.

Pros:

Rapidez en la escritura del código sin la necesidad de monitorear la mutabilidad.

Contras:

Complejidad en la depuración y alto riesgo de errores relacionados con cambios innecesarios.

Caso positivo

En un proyecto en equipo se sigue la regla: por defecto, las variables son inmutables, y la mutabilidad se utiliza solo donde es absolutamente necesario, siempre añadiendo comentarios que expliquen la razón.