Сделайте запись действительно неизменной, даже если поле является коллекцией. ⇐ JAVA

[Гость]

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

Люди обычно игнорируют этот аспект или стараются сделать запись действительно неизменяемой?

Если второе, что делать?

Наивным подходом было бы record Foo(List bar) { , и я думаю, люди могут сделать foo.bar().add(...) и подобные вещи для изменения этой «неизменяемой» записи.

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

record Foo(List bar) { Фу { бар = новый ArrayList(бар); бар = Collections.unmodifyingList(bar); } } Я не уверен, что это приведет к какому-то другому варианту, когда foo.bar() в конце концов окажется изменяемым.

Все вышеперечисленное может работать только потому, что String является неизменяемым. Я понимаю, что нам нужно убедиться, что запись состоит только из неизменяемых элементов.