Как моделировать циклы между неизменяемыми экземплярами класса?

[[[ Редактировать: добавлен код для демонстрации полностью неизменной концепции ]]]

Вот почему строители так хороши для неизменяемых — они позволяют изменять во время построения, чтобы все было установлено, прежде чем вы «заморозите» это. В этом случае, я думаю, вам нужен Friend Builder, который поддерживает создание циклов.

final FriendBuilder john = new FriendBuilder().setName("john");
final FriendBuilder mary = new FriendBuilder().setName("mary");
final FriendBuilder susan = new FriendBuilder().setName("susan");
john
  .likes(mary)
  .likes(susan);
mary
   .likes(susan)
   .likes(john);
susan
   .likes(john);

// okay lets build the immutable Friends
Map<Friend> friends = FriendsBuilder.createCircleOfFriends(john, mary, susan);
Friend immutableJohn = friends.get("john");

Изменить: ниже добавлен неизменяемый пример для демонстрации подхода:

• В комментариях была дискуссия о том, возможна ли неизменяемая версия.

• Поля являются окончательными и неизменяемыми. В конструкторе используется модифицируемый набор, но после построения сохраняется только немодифицируемая ссылка.

• У меня есть другая версия, которая использует Guava ImmutableSet для действительно неизменного набора, а не неизменяемую оболочку JDK. Он работает так же, но использует хороший конструктор наборов Guava.

Код:

import java.util.Collections;
import java.util.HashMap;
import java.util.HashSet;
import java.util.IdentityHashMap;
import java.util.Map;
import java.util.Set;

/**
 * Note: potentially cycle graph - be careful of deep equals/hashCode/toString/etc.
 * Immutable
 */
public class Friend {

    public static class Builder {

        private final String name;
        private final Set<Builder> friends =
            new HashSet<Builder>();

        Builder(final String name) {
            this.name = name;
        }

        public String getName() {
            return name;
        }

        public Set<Builder> getFriends() {
            return friends;
        }

        void likes(final Builder... newFriends) {
            for (final Builder newFriend : newFriends)
            friends.add(newFriend);
        }

        public Map<String, Friend> createCircleOfFriends() {
            final IdentityHashMap<Builder, Friend> existing =
                new IdentityHashMap<Builder, Friend>();

            // Creating one friend creates the graph
            new Friend(this, existing);
            // after the call existingNodes contains all the nodes in the graph

            // Create map of the all nodes
            final Map<String, Friend> map =
                new HashMap<String, Friend>(existing.size(), 1f);
            for (final Friend current : existing.values()) {
                map.put(current.getName(), current);
            }

            return map;
        }
    }

    final String name;
    final Set<Friend> friends;

    private Friend(
            final Builder builder,
            final Map<Builder, Friend> existingNodes) {
        this.name = builder.getName();

        existingNodes.put(builder, this);

        final IdentityHashMap<Friend, Friend> friends =
            new IdentityHashMap<Friend, Friend>();
        for (final Builder current : builder.getFriends()) {
            Friend immutableCurrent = existingNodes.get(current);
            if (immutableCurrent == null) {
                immutableCurrent =
                    new Friend(current, existingNodes);
            }
            friends.put(immutableCurrent, immutableCurrent);
        }

        this.friends = Collections.unmodifiableSet(friends.keySet());
    }

    public String getName() {
        return name;
    }

    public Set<Friend> getFriends() {
        return friends;
    }


    /** Create string - prints links, but does not traverse them */
    @Override
    public String toString() {
        final StringBuffer sb = new StringBuffer();
        sb.append("Friend ").append(System.identityHashCode(this)).append(" {\n");
        sb.append("  name = ").append(getName()).append("\n");
        sb.append("  links = {").append("\n");
        for (final Friend friend : getFriends()) {
            sb
            .append("     ")
            .append(friend.getName())
            .append(" (")
            .append(System.identityHashCode(friend))
            .append(")\n");
        }
        sb.append("  }\n");
        sb.append("}");
        return sb.toString();
    }

    public static void main(final String[] args) {
        final Friend.Builder john = new Friend.Builder("john");
        final Friend.Builder mary = new Friend.Builder("mary");
        final Friend.Builder susan = new Friend.Builder("susan");
        john
          .likes(mary, susan);
        mary
           .likes(susan, john);
        susan
           .likes(john);

        // okay lets build the immutable Friends
        final Map<String, Friend> friends = john.createCircleOfFriends();

        for(final Friend friend : friends.values()) {
            System.out.println(friend);
        }

        final Friend immutableJohn = friends.get("john");
    }
}

Выход:

Node 11423854 {
  value = john
  links = {
     susan (19537476)
     mary (2704014)
  }
}
Node 2704014 {
  value = mary
  links = {
     susan (19537476)
     john (11423854)
  }
}
Node 19537476 {
  value = susan
  links = {
     john (11423854)
  }
}

Правильный способ моделирования цикла — с помощью Graph. И одного комментария в исходном коде может быть достаточно, чтобы обеспечить неизменяемость: «это нельзя трогать".

Какого неизменного принуждения вы ищете? Вы хотите, чтобы велоцираптор появлялся каждый раз при изменении неизменного набора? Разница между mutable и inmutable просто условность. Однако биты в ОЗУ можно легко изменить с помощью Reflection API вы можете нарушить любые соглашения об инкапсуляции и сокрытии данных.

На мгновение игнорируя велоцираптора, Java не поддерживает неизменяемый тип. В качестве обходного пути вам нужно смоделировать тип данных, который ведет себя как один.

А чтобы неизменяемое свойство имело смысл, нужно сделать Friend interface, имея один реализующий класс: InmutableFriend, а построение объекта должно полностью происходить внутри конструктора.

Затем, поскольку граф содержит циклы, перед созданием окончательных неизменяемых экземпляров необходимо сохранить узлы графа в некоторой изменяемой временной структуре. Вам также необходимо вернуть ссылку unmodifiedSet в методе InmutableFriend.friends().

Наконец, для клонирования графа необходимо реализовать алгоритм глубокого копирования, например Поиск в ширину на изменяемой диаграмме. Один вопрос, однако, заключается в том, что происходит, когда граф не полностью связан.

interface Friend {
    public Set<Friend> friends();
}

class MutableFriend {
    private Set<MutableFriend> relations = new HashSet<MutableFriend>();

    void connect(MutableFriend otherFiend) {
        if (!relations.contains(otherFriend)) {
            relations.add(otherFiend);
            otherFriend.connect(this);
        }
    }

    Friend freeze() {
        Map<MutableFriend, InmutableFriend> table = ...;

        /*
         * FIXME: Implement a Breadth-first search to clone the graph,
         * using this node as the starting point.
         *
         * TODO: If the graph is not connected this won't work.
         *
         */
    }
}

class InmutableFriend() implements Friend {
    private Set<Friend> connections;

    public Set<Friend> friends() {
        return connections;
    }

    public InmutableFriend(Set<Friend> connections) {
        // Can't touch this.
        this.connections = Collections.unmodifiableSet(connections);
    }
}

Неизменяемость не обязательно должна обеспечиваться компилятором, чтобы быть допустимой с точки зрения архитектуры. У вас может быть законный неизменяемый объект, который принимает параметры инициализации после построения. Например...

private Object something;

public void init( final Object something )
{
   if( this.something != null )
   {
       throw new IllegalStateException();
   }

   this.something = something
}

Поле участника «что-то» не является окончательным, но его также нельзя задать более одного раза.

Более сложный вариант, основанный на обсуждении в комментариях...

private boolean initialized;
private Object a;
private Object b;

public void init( final Object a, final Object b )
{
   if( this.initialized )
   {
       throw new IllegalStateException();
   }

   this.initialized = true;
   this.a = a;
   this.b = b;
}

public Object getA()
{
   assertInitialized();
   return this.a;
}

public Object getB()
{
   assertInitialized();
   return this.b;
}

private void assertInitialized()
{
   if( this.initialized )
   {
       throw new IllegalStateException( "not initialized" );
   }
}