¿Hay alguna diferencia en una estructura de datos persistente e inmutable? Wikipedia se refiere a la estructura de datos inmutables cuando se habla de persistencia, pero tengo la sensación de que podría haber una sutil diferencia entre los dos.estructura de datos persistente vs inmutable
La inmutabilidad es una técnica de implementación. Entre otras cosas, proporciona persistencia, que es una interfaz. La API de persistencia es algo así como:
version update(operation o, version v) realiza la operación o en la versión v, el retorno de una nueva versión. Si la estructura de datos es inmutable, la nueva versión es una nueva estructura (que puede compartir partes inmutables de la estructura anterior). Si la estructura de datos no es inmutable, la versión devuelta puede ser simplemente un número de versión. La versión v sigue siendo una versión válida, y no debe cambiar en ningún modo observe -able debido a esta actualización: la actualización solo es visible en la versión devuelta, no en v.data observe(query q, version v) observa una estructura de datos en la versión v sin cambiarla o crear una nueva versión.Para más información sobre estas diferencias, consulte:
Sí, hay una diferencia. Una estructura de datos inmutables no se puede modificar de ninguna manera después de su creación. La única forma de modificarlo eficazmente sería hacer una copia mutable o algo similar (por ejemplo, modificando ligeramente los parámetros que pasa al constructor del nuevo). Una estructura de datos persistente, por otro lado, es mutable en el sentido de que la API expuesta parece permitir cambios en la estructura de datos. En verdad, sin embargo, cualquier cambio retendrá un puntero a la estructura de datos existente (y por lo tanto a cada estructura anterior); solo parecen mutar la estructura de datos porque la API expuesta devuelve un nuevo puntero que puede incluir punteros a un subconjunto de la estructura de datos previa (en los árboles, por ejemplo, apuntarmos al nodo cuyo subárbol no ha cambiado como resultado de la operacion).
Si usted tiene un totalmente persistente mapa de estructura de datos, y que ya ha configurado (1, 1), si establece (1, 1) de nuevo, ¿esto se considera una mutación y debería devolver una nueva versión de la estructura de datos? es si nada ha cambiado realmente? – CMCDragonkai
@CMCDragonkai, no creo que haya una sola respuesta "correcta" a esa pregunta. – jbapple