Как написать ImmutableMap, который следует за подпиской Лискова и другими принципами SOLID без запаха кода?

Question

I answered a question regaurding a ImmutableMap. Я предложил использовать шаблон прокси.

Проблема заключается в том, что Map содержит метод put, который бы выбрал UnsupportedOperationException. Замена других экземпляров Map на ImmutableMap приведет к нарушению принципа «Подписки» Лискова. Мало того, что необходимо объявить put и putAll [нарушает принцип сегрегации интерфейс]

Технически, нет никакого способа, чтобы заменить Map экземпляр с ImmutableMap, поскольку Map просто интерфейс. Так что мой вопрос:

Would создание ImmutableMap с помощью интерфейса Map считается нарушением LSP, поскольку Map содержит метод put и putAll? Не будет ли реализация Map рассматриваться как «альтернативный класс с разными интерфейсами»? Как создать ImmutableMap, который находится в LSP еще не содержит запахов кода?

Answer 1

На мой взгляд, ImmutableMap должен реализовать Map. Было бы плохой идеей не реализовывать Map, так как существует множество методов, которые принимают аргумент Map и используют его только в режиме «только для чтения». Я не считаю, что это нарушает принцип подписки Лискова, поскольку контракт на Map дает понять, что put является дополнительной операцией.

Это не так, что классы, реализующие Map, должны реализовать put, но альтернативой было бы иметь сложную иерархию интерфейсов, каждая из которых включала бы только подмножество возможных дополнительных методов. Если есть необязательные методы n, для всех комбинаций должны быть интерфейсы 2^n. Я не знаю значения n, но есть некоторые неочевидные дополнительные операции, такие как: Iterator, возвращенный map.entrySet().iterator(), поддерживает операцию setValue. Если вы объединили эту иерархию с иерархией интерфейсов и абстрактных классов, которые на самом деле уже существуют (в том числе AbstractMap, SortedMap, NavigableMap, ConcurrentMap, ConcurrentNavigableMap ...), у вас будет полный беспорядок.

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