Разные между неизменяемыми и эффективно неизменяемыми объектами?

Question

Это предложение от Java Параллелизм на практике

Shared только для чтения объекты включают в себя непреложные и эффективно неизменные объекты.

Каковы различия между неизменяемыми и эффективно неизменяемыми объектами?

Answer 1

Экземпляры класса, который не является расширяемым, и чьи поля являются все final и сами неизменны неизменны.

Экземпляры класса, поля которых не могут быть мутированы из-за деталей его методов, являются фактически неизменными. Например:

final class C { 
    final boolean canChange; 
    private int x; 
    C(boolean canChange) { this.canChange = canChange; } 
    public void setX(int newX) { 
    if (canChange) { 
     this.x = newX; 
    } else { 
     throw new IllegalStateException(); 
    } 
    } 
} 

Некоторые экземпляры C эффективно неизменны и некоторые нет.

Другой пример - массивы нулевой длины.Они эффективно неизменяемы, хотя их содержащий класс не доказуемо неизменен, так как нет элемента из них, который можно изменить.

---

Joe-E использует верификатор, чтобы доказать, что некоторые классы допускают только неизменяемые экземпляры. Все, отмеченные с помощью интерфейса маркера Immutable, проверяются, и некоторые классы, такие как String (фактически неизменяемые, так как его char[] не убегают) являются внушаемыми в неизменном виде.

Joe-E: A Security-Oriented Subset of Java говорит

непреложный интерфейс, де определена библиотека Джо-E, обрабатывается специально языком: Джо-E VERI Fi Er проверяет, что каждый объект, реализующий этот интерфейс будет быть (глубоко) неизменен и вызывает ошибку времени компиляции, если не может быть автоматически проверена.

Answer 2

Взгляните на этот ответ:

эффективно неизменен и неизменны разница между фактически неизменны и неизменен, что в первом случае вам все равно нужно публиковать объекты безопасным способом. Для действительно неизменяемых объектов, которые не нужны. Так что действительно неизменяемые объекты предпочтительнее, потому что их легче публиковать, причины, о которых я говорил выше, говорят, почему вы предпочитаете несинхронизированную публикацию.

https://stackoverflow.com/a/7887675/1007546

Answer 3

Вот мое понимание с немного прибегая к помощи и найти this article. Эффективно неизмеримый объект - это объект, который содержит поля, которые могут быть мутированы, но он не позволяет чему-либо мутировать эти поля, потому что он никогда не дает вам ссылки на них. Например, скажем, вы создаете класс с ArrayList. ArrayList s изменяемы, но если ваш класс всегда возвращает копию массива ArrayList, а все остальное в вашем классе является неизменным, то ваш класс стал эффективно неизменяемым: не существует способа изменить состояние экземпляра вашего класса.

Сообщение в блоге дает это в качестве примера эффективна неизменного класса:

import java.awt.*; 

public class Line { 

    private final Point start; 
    private final Point end; 

    public Line(final Point start, final Point end) { 
     this.start = new Point(start); 
     this.end = new Point(end); 
    } 

    public void draw() { 
     //... 
    } 

    public Point getStart() { 
     return new Point(start); 
    } 

    public Point getEnd() { 
     return new Point(end); 
    } 
} 

Point объектов изменчивы, но это нормально, потому что этот класс не дает никому прямую ссылку на это экземпляров Точечных , Вместо этого он возвращает новый экземпляр с тем же значением в нем. Таким образом, никто не может изменить состояние класса Line. Это делает класс Line эффектно неизменным.

Итак, как это отличается от действительно неизменяемого класса? У действительно неизменяемого класса есть поля, которые также неизменны. Позволяет себе представить, что Line действительно непоколебимо. Для этого нам также придется вообразить, что Point неизменен. Выполнение этих предположений, метод getStart() мог бы быть в состоянии записать так:

public Point getStart() { 
    return start; 
} 

Answer 4

Неизменяемые объекты полностью инкапсулируют их внутреннее состояние, и они не позволяют изменять это состояние после строительства (возможно, с использованием final и т. Д.), Поэтому они безопасны для совместного использования между несколькими потоками, поскольку чтение из общего объекта не вредны из нескольких потоков.

Эффективно неизменяемые объекты могут изменять свое состояние до совместного использования несколькими потоками, но после того, как они «опубликованы» (т. Е. Несколько ссылок передаются нескольким потокам), они защищают себя от модификации.

Неизменяемые объекты не позволяют использовать полезные методы разработки программного обеспечения, такие как ленивая инициализация, потому что для ленивого инициализации свойства или поля они должны быть изменчивыми, нарушая беззаботное их совместное использование. Эффективно неизменяемые объекты ослабляют эти ограничения, чтобы получить лучшее из обоих подходов к мирову, тщательно зная, когда они могут безопасно изменять свое внутреннее состояние и когда это запрещено.