Сделайте запись действительно неизменной, даже если поле является коллекцией. ⇐ JAVA
-
Гость
Сделайте запись действительно неизменной, даже если поле является коллекцией.
Наивный подход, заключающийся в том, что поле записи представляет собой коллекцию, приводит к изменяемым записям, а я думаю, что это то, чего нам не нужно.
Люди обычно игнорируют этот аспект или стараются сделать запись действительно неизменяемой?
Если второе, что делать?
Наивным подходом было бы record Foo(List bar) { , и я думаю, люди могут сделать foo.bar().add(...) и подобные вещи для изменения этой «неизменяемой» записи.
Конструктор записи может клонировать список, а затем сделать его неизменяемым, этого будет достаточно?
record Foo(List bar) { Фу { бар = новый ArrayList(бар); бар = Collections.unmodifyingList(bar); } } Я не уверен, что это приведет к какому-то другому варианту, когда foo.bar() в конце концов окажется изменяемым.
Все вышеперечисленное может работать только потому, что String является неизменяемым. Я понимаю, что нам нужно убедиться, что запись состоит только из неизменяемых элементов.
Наивный подход, заключающийся в том, что поле записи представляет собой коллекцию, приводит к изменяемым записям, а я думаю, что это то, чего нам не нужно.
Люди обычно игнорируют этот аспект или стараются сделать запись действительно неизменяемой?
Если второе, что делать?
Наивным подходом было бы record Foo(List bar) { , и я думаю, люди могут сделать foo.bar().add(...) и подобные вещи для изменения этой «неизменяемой» записи.
Конструктор записи может клонировать список, а затем сделать его неизменяемым, этого будет достаточно?
record Foo(List bar) { Фу { бар = новый ArrayList(бар); бар = Collections.unmodifyingList(bar); } } Я не уверен, что это приведет к какому-то другому варианту, когда foo.bar() в конце концов окажется изменяемым.
Все вышеперечисленное может работать только потому, что String является неизменяемым. Я понимаю, что нам нужно убедиться, что запись состоит только из неизменяемых элементов.
