¿Qué se entiende por inmutable?

400

Esta podría ser la pregunta más tonta que se haya hecho, pero creo que es bastante confuso para un novato en Java.

  1. ¿Alguien puede aclarar qué se entiende por inmutable ?
  2. ¿Por qué es un Stringinmutable?
  3. ¿Cuáles son las ventajas / desventajas de los objetos inmutables?
  4. ¿Por qué debería StringBuilderpreferirse un objeto mutable como String y viceversa?

Un buen ejemplo (en Java) será realmente apreciado.

ashokgelal
fuente
73
Mira, no era una pregunta tan tonta. Me alegra que hayas preguntado!
DOK
2
Por cierto, no creo que sea la pregunta más tonta jamás :) Creo que es un concepto bastante importante de entender
Jason Coco
1
Cuando dijo StringBuilder, ¿no se refería a la clase mutable StringBuffer? String y StringBuffer son más similares en función que String y StringBuilder. StringBuffer es efectivamente una cadena mutable.
Derek Mahar
3
¿Puedo sugerir que agreguemos la etiqueta "principiante" a esta pregunta para que los programadores nuevos en Java puedan encontrarla en la búsqueda de otras preguntas introductorias?
Derek Mahar

Respuestas:

268

Inmutable significa que una vez que el constructor de un objeto ha completado la ejecución, esa instancia no puede modificarse.

Esto es útil ya que significa que puede pasar referencias al objeto alrededor, sin preocuparse de que alguien más vaya a cambiar su contenido. Especialmente cuando se trata de concurrencia, no hay problemas de bloqueo con objetos que nunca cambian

p.ej

class Foo
{
     private final String myvar;

     public Foo(final String initialValue)
     {
         this.myvar = initialValue;
     }

     public String getValue()
     {
         return this.myvar;
     }
}

Foono tiene que preocuparse de que la persona que llama getValue()pueda cambiar el texto en la cadena.

Si imagina una clase similar a Foo, pero con un miembro en StringBuilderlugar de un Stringmiembro, puede ver que una persona que llama getValue()podría alterar el StringBuilderatributo de una Fooinstancia.

También tenga cuidado con los diferentes tipos de inmutabilidad que puede encontrar: Eric Lippert escribió un artículo de blog sobre esto. Básicamente, puede tener objetos cuya interfaz es inmutable pero detrás del escenario estado privado de mutables real (y, por lo tanto, no se puede compartir de manera segura entre subprocesos).

Douglas Leeder
fuente
3
Creo que debería agregar un constructor de un argumento para asignar valor al menos una vez. El punto del código actual no está claro ya que no hay ningún valor para cambiar realmente :).
Georgy Bolyuba
44
Debe hacer que el campo sea de solo lectura. Hace completamente explícito que el campo es inmutable. En este momento es inmutable por convención
JaredPar
77
El miembro myVar debería ser definitivo para que esto sea realmente inmutable.
laz
13
Tienes razón en que myVar no es accesible fuera de Foo. Sin embargo, la presencia de final indica a cualquiera que pueda estar modificando la clase en el futuro que su valor no está destinado a cambiar. Tiendo a favor de ser lo más explícito posible en tales circunstancias.
laz
2
¿Qué tal "Los tipos de referencia no se pueden hacer inmutables simplemente usando la palabra clave final. Final solo evita la reasignación". de en.wikipedia.org/wiki/Immutable_object
Yousha Aleayoub
81

Un objeto inmutable es un objeto donde los campos internos (o al menos, todos los campos internos que afectan su comportamiento externo) no se pueden cambiar.

Las cadenas inmutables tienen muchas ventajas:

Rendimiento: realice la siguiente operación:

String substring = fullstring.substring(x,y);

La C subyacente para el método substring () es probablemente algo como esto:

// Assume string is stored like this:
struct String { char* characters; unsigned int length; };

// Passing pointers because Java is pass-by-reference
struct String* substring(struct String* in, unsigned int begin, unsigned int end)
{
    struct String* out = malloc(sizeof(struct String));
    out->characters = in->characters + begin;
    out->length = end - begin;
    return out;
}

¡Tenga en cuenta que ninguno de los personajes tiene que ser copiado! Si el objeto String fuera mutable (los caracteres podrían cambiar más tarde), tendría que copiar todos los caracteres; de lo contrario, los cambios en los caracteres de la subcadena se reflejarían en la otra cadena más adelante.

Concurrencia: si la estructura interna de un objeto inmutable es válida, siempre será válida. No hay posibilidad de que diferentes hilos puedan crear un estado no válido dentro de ese objeto. Por lo tanto, los objetos inmutables son seguros para subprocesos .

Recolección de basura: es mucho más fácil para el recolector de basura tomar decisiones lógicas sobre objetos inmutables.

Sin embargo, también hay inconvenientes en la inmutabilidad:

Rendimiento: ¡ Espera, pensé que dijiste que el rendimiento era una ventaja de la inmutabilidad! Bueno, a veces lo es, pero no siempre. Toma el siguiente código:

foo = foo.substring(0,4) + "a" + foo.substring(5);  // foo is a String
bar.replace(4,5,"a"); // bar is a StringBuilder

Las dos líneas reemplazan el cuarto carácter con la letra "a". El segundo código no solo es más legible, sino que es más rápido. Mira cómo tendrías que hacer el código subyacente para foo. Las subcadenas son fáciles, pero ahora porque ya hay un personaje en el espacio cinco y otra cosa podría estar haciendo referencia a foo, no puedes simplemente cambiarlo; debe copiar toda la cadena (por supuesto, parte de esta funcionalidad se abstrae en funciones en el C subyacente real, pero el punto aquí es mostrar el código que se ejecuta en un solo lugar).

struct String* concatenate(struct String* first, struct String* second)
{
    struct String* new = malloc(sizeof(struct String));
    new->length = first->length + second->length;

    new->characters = malloc(new->length);

    int i;

    for(i = 0; i < first->length; i++)
        new->characters[i] = first->characters[i];

    for(; i - first->length < second->length; i++)
        new->characters[i] = second->characters[i - first->length];

    return new;
}

// The code that executes
struct String* astring;
char a = 'a';
astring->characters = &a;
astring->length = 1;
foo = concatenate(concatenate(slice(foo,0,4),astring),slice(foo,5,foo->length));

Tenga en cuenta que concatenate se llama dos veces, lo que significa que se debe recorrer toda la cadena. Compare esto con el código C para la baroperación:

bar->characters[4] = 'a';

La operación de cadena mutable es obviamente mucho más rápida.

En conclusión: en la mayoría de los casos, desea una cadena inmutable. Pero si necesita agregar e insertar mucho en una cadena, necesita la mutabilidad para la velocidad. Si desea los beneficios de concurrencia de seguridad y recolección de basura, la clave es mantener sus objetos mutables locales a un método:

// This will have awful performance if you don't use mutable strings
String join(String[] strings, String separator)
{
    StringBuilder mutable;
    boolean first = true;

    for(int i = 0; i < strings.length; i++)
    {
        if(!first) first = false;
        else mutable.append(separator);

        mutable.append(strings[i]);
    }

    return mutable.toString();
}

Como el mutableobjeto es una referencia local, no tiene que preocuparse por la seguridad de concurrencia (solo un hilo lo toca). Y dado que no se hace referencia en ningún otro lugar, solo se asigna en la pila, por lo que se desasigna tan pronto como finaliza la llamada a la función (no tiene que preocuparse por la recolección de basura). Y obtienes todos los beneficios de rendimiento de mutabilidad e inmutabilidad.

Imaginista
fuente
44
Gran lectura! solo una cosa creo que debería ser si (primero) y no si (! primero)
Siddhartha
Lo que es necesario no es que los campos sean inmutables, sino que el estado observable definido del objeto sea inmutable; un objeto que contiene una referencia a otro objeto como un medio de encapsular el estado contenido en él solo puede ser inmutable si todos los aspectos de estado encapsulados que expone al mundo exterior son igualmente inmutables. Tenga en cuenta que no es necesario ni suficiente que los campos sean de tipos inmutables. Lo que importa es el estado visible.
supercat
77
Passing pointers because Java is pass-by-reference¿No es java "pasar por valor"?
Cristian Gutu
@CristianGutu sí, tienes razón JAVA es "Pasar por valor" no "Pasar por REFERENCIA"
Arsh Kaushal
¡La referencia se pasa como el valor!
devv
31

En realidad, String no es inmutable si usa la definición de wikipedia sugerida anteriormente.

El estado de la cadena cambia después de la construcción. Eche un vistazo al método hashcode (). La cadena almacena en caché el valor de hashcode en un campo local, pero no lo calcula hasta la primera llamada de hashcode (). Esta evaluación perezosa de hashcode coloca a String en una posición interesante como un objeto inmutable cuyo estado cambia, pero no se puede observar que haya cambiado sin usar la reflexión.

Entonces, tal vez la definición de inmutable debería ser un objeto que no se puede observar que haya cambiado.

Si el estado cambia en un objeto inmutable después de haber sido creado pero nadie puede verlo (sin reflexión), ¿el objeto sigue siendo inmutable?


fuente
1
Buena idea: un objeto que no se puede observar que haya cambiado, y tampoco hay forma de cambiarlo desde el exterior. El campo privado para hashCode () es un cambio interno que no es material para el estado externo visible del objeto.
mparaz
2
En realidad, se puede observar que ha cambiado si usa la reflexión. Ver más en Sedgewick's Strings son mutables si permite la reflexión .
Miguel
24

Los objetos inmutables son objetos que no se pueden cambiar mediante programación. Son especialmente buenos para entornos de subprocesos múltiples u otros entornos donde más de un proceso puede alterar (mutar) los valores en un objeto.

Sin embargo, solo para aclarar, StringBuilder es en realidad un objeto mutable, no inmutable. Una cadena Java normal es inmutable (lo que significa que una vez que se ha creado no se puede cambiar la cadena subyacente sin cambiar el objeto).

Por ejemplo, supongamos que tengo una clase llamada ColoredString que tiene un valor de cadena y un color de cadena:

public class ColoredString {

    private String color;
    private String string;

    public ColoredString(String color, String string) {
        this.color  = color;
        this.string = string;
    }

    public String getColor()  { return this.color;  }
    public String getString() { return this.string; }

    public void setColor(String newColor) {
        this.color = newColor;
    }

}

En este ejemplo, se dice que ColoredString es mutable porque puede cambiar (mutar) una de sus propiedades clave sin crear una nueva clase ColoredString. La razón por la que esto puede ser malo es, por ejemplo, digamos que tiene una aplicación GUI que tiene múltiples hilos y está usando ColourStrings para imprimir datos en la ventana. Si tiene una instancia de ColouredString que se creó como

new ColoredString("Blue", "This is a blue string!");

Entonces esperarías que la cadena siempre sea "Azul". Si otro hilo, sin embargo, se puso en contacto con esta instancia y llamó

blueString.setColor("Red");

De repente, y probablemente de manera inesperada, ahora tiene una cadena "roja" cuando desea una "azul". Debido a esto, los objetos inmutables son casi siempre preferidos al pasar instancias de objetos alrededor. Cuando tiene un caso en el que los objetos mutables son realmente necesarios, normalmente protegerá el objeto solo pasando copias de su campo de control específico.

Para recapitular, en Java, java.lang.String es un objeto inmutable (no se puede cambiar una vez creado) y java.lang.StringBuilder es un objeto mutable porque se puede cambiar sin crear una nueva instancia.

Jason Coco
fuente
Debe hacer que los campos sean de solo lectura. En este momento su clase es inmutable por convención. No hay indicación para futuros desarrolladores de que lo inmutable sea intencional. Hacer que los campos sean de solo lectura ayudará a aclarar su intención para un futuro desarrollador
JaredPar
@JaredPar: en realidad, la clase no es inmutable en absoluto ... es un ejemplo de una clase mutable para demostrar por qué puede ser un problema.
Jason Coco
1
@JaredPar - Oh, está totalmente bien :) Lo iba a reescribir un poco para que quede más claro, pero Douglas ya está bien escrito y parece ser el favorito, así que dejaré el mío como otro ejemplo; pero alguien realmente lo editó para hacer que las propiedades fueran definitivas, lo que pensé que era divertido :)
Jason Coco
24
  1. En aplicaciones grandes, es común que los literales de cadena ocupen grandes bits de memoria. Entonces, para manejar eficientemente la memoria, la JVM asigna un área llamada "conjunto constante de cadenas" ( tenga en cuenta que en la memoria, incluso una cadena sin referencia lleva un char [], un int para su longitud y otro para su hashCode. Para un número , por el contrario, se requiere un máximo de ocho bytes inmediatos )
  2. Cuando el compilador encuentra un literal de cadena, comprueba el grupo para ver si ya existe un literal idéntico. Y si se encuentra uno, la referencia al nuevo literal se dirige a la cadena existente, y no se crea un nuevo 'objeto literal de cadena' (la cadena existente simplemente obtiene una referencia adicional).
  3. Por lo tanto: la mutabilidad de cadena ahorra memoria ...
  4. Pero cuando cualquiera de las variables cambia el valor, en realidad, solo se modifica su referencia, no el valor en la memoria (por lo tanto, no afectará a las otras variables que lo hacen referencia) como se ve a continuación ...

Cadena s1 = "Cadena antigua";

//s1 variable, refers to string in memory
        reference                 |     MEMORY       |
        variables                 |                  |

           [s1]   --------------->|   "Old String"   |

Cadena s2 = s1;

//s2 refers to same string as s1
                                  |                  |
           [s1]   --------------->|   "Old String"   |
           [s2]   ------------------------^

s1 = "Nueva cadena";

//s1 deletes reference to old string and points to the newly created one
           [s1]   -----|--------->|   "New String"   |
                       |          |                  |
                       |~~~~~~~~~X|   "Old String"   |
           [s2]   ------------------------^

La cadena original 'en memoria' no cambió, pero la variable de referencia se cambió para que se refiera a la nueva cadena. Y si no tuviéramos s2, "Old String" todavía estaría en la memoria pero no podremos acceder a él ...

Shanaka Jayalath
fuente
16

"inmutable" significa que no puede cambiar el valor. Si tiene una instancia de la clase String, cualquier método que llame que parezca modificar el valor, en realidad creará otra String.

String foo = "Hello";
foo.substring(3);
<-- foo here still has the same value "Hello"

Para preservar los cambios, debe hacer algo como esto foo = foo.sustring (3);

Inmutable vs mutable puede ser divertido cuando trabajas con colecciones. Piense en lo que sucederá si usa un objeto mutable como clave para el mapa y luego cambie el valor (consejo: piense en equalsy hashCode).

Georgy Bolyuba
fuente
13

java.time

Puede que sea un poco tarde, pero para comprender qué es un objeto inmutable, considere el siguiente ejemplo de la nueva API de fecha y hora de Java 8 ( java.time ). Como probablemente sepa, todos los objetos de fecha de Java 8 son inmutables, así que en el siguiente ejemplo

LocalDate date = LocalDate.of(2014, 3, 18); 
date.plusYears(2);
System.out.println(date);

Salida:

18/03/2014

Esto imprime el mismo año que la fecha inicial porque plusYears(2)devuelve un nuevo objeto, por lo que la fecha anterior todavía no cambia porque es un objeto inmutable. Una vez creado, no puede modificarlo más y la variable de fecha todavía lo señala.

Entonces, ese ejemplo de código debe capturar y usar el nuevo objeto instanciado y devuelto por esa llamada a plusYears.

LocalDate date = LocalDate.of(2014, 3, 18); 
LocalDate dateAfterTwoYears = date.plusYears(2);

date.toString ()… 18/03/2014

dateAfterTwoYears.toString ()… 18/03/2016

Jorge
fuente
8

Realmente me gusta la explicación de SCJP Sun Certified Programmer for Java 5 Study Guide .

Para hacer que Java sea más eficiente en la memoria, la JVM reserva un área especial de memoria llamada "Conjunto de cadenas constantes". Cuando el compilador encuentra un literal de cadena, comprueba el grupo para ver si ya existe una cadena idéntica. Si se encuentra una coincidencia, la referencia al nuevo literal se dirige a la Cadena existente, y no se crea un nuevo objeto literal de Cadena.

Wen
fuente
Debería poder hacer esto con cualquier objeto inmutable idéntico, pero supongo que tomaría demasiado tiempo de ejecución.
Zan Lynx
8

Los objetos que son inmutables no pueden cambiar su estado después de haber sido creados.

Hay tres razones principales para usar objetos inmutables siempre que pueda, todas las cuales ayudarán a reducir la cantidad de errores que introduce en su código:

  • Es mucho más fácil razonar sobre cómo funciona su programa cuando sabe que el estado de un objeto no se puede cambiar por otro método
  • Los objetos inmutables son seguros para subprocesos automáticamente (suponiendo que se publiquen de forma segura), por lo que nunca serán la causa de esos errores de subprocesamiento múltiple difíciles de identificar
  • Los objetos inmutables siempre tendrán el mismo código Hash, por lo que se pueden usar como claves en un HashMap (o similar). Si el código hash de un elemento en una tabla hash cambiara, la entrada de la tabla se perdería efectivamente, ya que los intentos de encontrarlo en la tabla terminarían buscando en el lugar equivocado. Esta es la razón principal por la que los objetos String son inmutables: se usan con frecuencia como claves HashMap.

También hay algunas otras optimizaciones que puede hacer en el código cuando sabe que el estado de un objeto es inmutable, por ejemplo, el almacenamiento en caché calculado, pero estas son optimizaciones y, por lo tanto, no son tan interesantes.

Bill Michell
fuente
5

Un significado tiene que ver con cómo se almacena el valor en la computadora. Para una cadena .Net, por ejemplo, significa que la cadena en la memoria no se puede cambiar. Cuando cree que lo está cambiando, de hecho está creando cadena en la memoria y apuntando la variable existente (que es solo un puntero a la colección real de caracteres en otro lugar) a la nueva cadena.

Charles Bretana
fuente
4
String s1="Hi";
String s2=s1;
s1="Bye";

System.out.println(s2); //Hi  (if String was mutable output would be: Bye)
System.out.println(s1); //Bye

s1="Hi": s1se creó un objeto con el valor "Hola".

s2=s1 : s2se crea un objeto con referencia al objeto s1.

s1="Bye": el s1valor del objeto anterior no cambia porques1 tiene el tipo String y el tipo String es un tipo inmutable, en su lugar, el compilador crea un nuevo objeto String con valor "Bye" y hace s1referencia a él. aquí cuando imprimimos el s2valor, el resultado será "Hola", no "Adiós" porque hace s2referencia al s1objeto anterior que tenía el valor "Hola".

kokabi
fuente
¿Puedes agregar una pequeña explicación por favor?
minigeek 01 de
3

Inmutable significa que una vez que se crea el objeto, ninguno de sus miembros cambiará. Stringes inmutable ya que no puede cambiar su contenido. Por ejemplo:

String s1 = "  abc  ";
String s2 = s1.trim();

En el código anterior, la cadena s1 no cambió, s2se creó otro objeto ( ) usando s1.

eishay
fuente
3

Inmutable simplemente significa inmutable o inmodificable. Una vez que se crea el objeto de cadena, sus datos o estado no se pueden cambiar

Considere el siguiente ejemplo,

class Testimmutablestring{  
  public static void main(String args[]){  
    String s="Future";  
    s.concat(" World");//concat() method appends the string at the end  
    System.out.println(s);//will print Future because strings are immutable objects  
  }  
 }  

Vamos a tener una idea considerando el siguiente diagrama,

ingrese la descripción de la imagen aquí

En este diagrama, puede ver un nuevo objeto creado como "Mundo futuro". Pero no cambia "Futuro". Because String is immutable. s, todavía se refieren a "Futuro". Si necesita llamar "Mundo Futuro",

String s="Future";  
s=s.concat(" World");  
System.out.println(s);//print Future World

¿Por qué los objetos de cadena son inmutables en Java?

Porque Java usa el concepto de cadena literal. Supongamos que hay 5 variables de referencia, todas se refieren a un objeto "Futuro". Si una variable de referencia cambia el valor del objeto, se verá afectado por todas las variables de referencia. Es por eso que los objetos de cadena son inmutables en Java.

JustCode
fuente
2

Una vez instanciado, no puede ser alterado. Considere una clase de la que una instancia podría usarse como clave para una tabla hash o similar. Consulte las mejores prácticas de Java.

Stjohnroe
fuente
0

Objetos inmutables

Un objeto se considera inmutable si su estado no puede cambiar después de su construcción. La confianza máxima en objetos inmutables es ampliamente aceptada como una estrategia sólida para crear código simple y confiable.

Los objetos inmutables son particularmente útiles en aplicaciones concurrentes. Como no pueden cambiar de estado, no pueden corromperse por interferencia de hilos ni observarse en un estado inconsistente.

Los programadores a menudo son reacios a emplear objetos inmutables, porque les preocupa el costo de crear un nuevo objeto en lugar de actualizar un objeto en su lugar. El impacto de la creación de objetos a menudo se sobreestima y puede compensarse con algunas de las eficiencias asociadas con los objetos inmutables. Estos incluyen una disminución de la sobrecarga debido a la recolección de basura y la eliminación del código necesario para proteger los objetos mutables de la corrupción.

Las siguientes subsecciones toman una clase cuyas instancias son mutables y derivan de ella una clase con instancias inmutables. Al hacerlo, dan reglas generales para este tipo de conversión y demuestran algunas de las ventajas de los objetos inmutables.

Fuente

Kamal Singh
fuente
0

Como la respuesta aceptada no responde todas las preguntas. Me veo obligado a responder después de 11 años y 6 meses.

¿Alguien puede aclarar qué se entiende por inmutable?

Espero que haya querido decir objeto inmutable (porque podríamos pensar en una referencia inmutable ).

Un objeto es inmutable : si se crea una vez, siempre representan el mismo valor (no tiene ningún método que cambie el valor).

¿Por qué es un Stringinmutable?

Respete la definición anterior que se puede verificar buscando en el código fuente de Sting.java .

¿Cuáles son las ventajas / desventajas de los objetos inmutables? Los tipos inmutables son:

  • más seguro de los errores.

  • Más fácil de entender.

  • y más listo para el cambio.

¿Por qué debería preferirse un objeto mutable como StringBuilder sobre String y viceversa?

Afinando la pregunta ¿Por qué necesitamos el StringBuilder mutable en la programación? Un uso común es concatenar una gran cantidad de cadenas juntas, como esta:

String s = "";
for (int i = 0; i < n; ++i) {
    s = s + n;
}

Usando cadenas inmutables, esto hace muchas copias temporales: el primer número de la cadena ("0") se copia n veces en el transcurso de la construcción de la cadena final, el segundo número se copia n-1 veces, y así en. En realidad, cuesta O (n2) tiempo solo para hacer toda esa copia, aunque solo concatenamos n elementos.

StringBuilder está diseñado para minimizar esta copia. Utiliza una estructura de datos interna simple pero inteligente para evitar hacer cualquier copia hasta el final, cuando solicita la Cadena final con una llamada toString ():

StringBuilder sb = new StringBuilder();
for (int i = 0; i < n; ++i) {
  sb.append(String.valueOf(n));
}
String s = sb.toString();

Obtener un buen rendimiento es una de las razones por las que usamos objetos mutables. Otro es el uso compartido conveniente: dos partes de su programa pueden comunicarse de manera más conveniente compartiendo una estructura de datos mutable común.

Más se puede encontrar aquí: https://web.mit.edu/6.005/www/fa15/classes/09-immutability/#useful_immutable_types

Chulo
fuente
-1

Un objeto inmutable es el que no puede modificar después de crearlo. Un ejemplo típico son los literales de cadena.

El lenguaje de programación AD, que se hace cada vez más popular, tiene una noción de "inmutabilidad" a través de la palabra clave "invariante". Consulte este artículo del Dr.Dobb al respecto: http://dobbscodetalk.com/index.php?option=com_myblog&show=Invariant-Strings.html&Itemid=29 . Explica el problema perfectamente.

usuario36393
fuente
Creo que a partir de D 2.020 la palabra clave cambió de invariante a inmutable. No veo un punto, pero dice: "ahora se implementa inmutable". digitalmars.com/d/2.0/changelog.html#new2_020
he_the_great