不変リストがある場合、たとえば、要求すると常に同じオブジェクトへの参照が返されることが期待されます。
list.get(0)
私の質問は、オブジェクトを変異させ、次にリストから取得したときにその変異を反映させることができると思いますか?
不変リストがある場合、たとえば、要求すると常に同じオブジェクトへの参照が返されることが期待されます。
list.get(0)
私の質問は、オブジェクトを変異させ、次にリストから取得したときにその変異を反映させることができると思いますか?
それは文脈に依存します。汎用ライブラリでは、リストが不変であると想定する必要があります。リスト内の要素への変更は、毎回同じ参照を返すことの直接的な結果として、すべての呼び出し元に反映されます。
ただし、これが特殊な不変ツリー (または何でも) であり、そのように文書化されている場合、リスト内の項目自体が不変であると予想され、それは議論の余地のある問題になります。
リストの不変性についてではなく、含まれているオブジェクトの不変性についての質問です。
実際、参照型がある場合、リスト内の不変エンティティが参照です。これは、参照が常に同じであることを意味します。現在、参照されているオブジェクトが変更されるかどうかは、それがどの種類のオブジェクトであるかによってのみ異なります。オブジェクトが不変の場合 (たとえば、.NET と Java の両方の文字列、または .NET のすべての値の型など)、オブジェクトは変更できません。
それ以外の場合、オブジェクトは変更される可能性があり、同じオブジェクトへの他のすべての参照は、同じインスタンスへの参照を保持しているため、変更された状態が表示されます。したがって、最初に書いたように、これはリストから完全に独立しています (また、不変であるかどうかも関係ありません)。
それは通常予想されることです。リストは不変です。つまり、リスト内のアイテムを追加または削除したり、アイテムを完全に置き換えたりすることはできません。これらのアイテムを不変にしたい場合は、自分で処理する必要があります。オブジェクトへの参照を取得すると、リストは確かにオブジェクトの状態を変更することを止めることはできません。
はい。
文書化されていない限り、オブジェクトを取得したときに不変リストがそのオブジェクトを複製することは期待していません。
修理工場が、これまでに訪れたすべての車の永続的な追加のみの記録を保持したいと考えているとします。これにより、所有者は、各車が入るたびに、以前に修理工場にあったかどうかを知ることができます。どちらが良いでしょう:
車自体は変更可能なオブジェクトですが、ID車の VIN で表される値は不変です。来店時は青だった車が赤く塗装されている可能性は十分にあります。したがって、VIN から任意の車を簡単に見つけることができたとしても、車 (VIN) のリストとそれらがいつ店にあったかでは、先週の木曜日に何台の青い車が整備されたかを判断することはできません。一方、リストの目的が、入ってくる車両が以前に店舗にあったかどうかを知らせることである場合、VIN のリストはまさに必要なものです。VIN を所有する代わりに、複製された車のコレクションを持っている場合、これらすべての複製された車を作成して保管するコストは、VIN を保管するコストよりもはるかに高くなるだけでなく、
はい、Javaを知っているので、「不変」であるため、List<T>
Tが不変でない限り、Tが不変であるとは思いません。ただし、合理的な実装は、たとえば、毎回List<Date>
コピーすることです。Date
問題は、それDate
が変更可能であり、他の equal と区別できることDate
です。