5.14.3 不変に自動変換するためのプロトコル

集合は変更不可能な要素だけを含むことできます。都合上、変更可能なSetオブジェクトは、集合要素として加えられる前に、自動的にImmutableSetへコピーします。そのメカニズムはハッシュ可能な要素を常に加えることですが、もしハッシュ不可能な場合は、その要素は変更不可能な等価物を返す __as_immutable__()メソッドを持っているかどうかチェックされます。

Setオブジェクトは、ImmutableSetのインスタンスを返す __as_immutable__()メソッドを持っているので、集合の集合を構築することが可能です。

集合内のメンバーであることをチェックするために、要素をハッシュする必要がある__contains__()メソッドと remove()メソッドが、同様のメカニズムを必要としています。これらのメソッドは要素がハッシュできるかチェックします。もし出来なければ-__hash__(),__eq__(),__ne__() のための一時的なメソッドを備えたクラスによってラップされた要素を返すメソッド- __as_temporarily_immutable__()メソッドをチェックします。

代理メカニズムは、オリジナルの可変オブジェクトから分かれたコピーを組み上げる手間を助けてくれます。

Setオブジェクトは、新しいクラス_TemporarilyImmutableSet によってラップされたSetオブジェクトを返す、 __as_temporarily_immutable__()メソッドを実装します。

ハッシュ可能を与えるための2つのメカニズムは通常ユーザーに見えません。しかしながら、マルチスレッド環境下においては、 _TemporarilyImmutableSetによって一時的にラップされたものを持っているスレッドがあるときに、もう一つのスレッドが集合を更新することで、衝突を発生させることができます。言いかえれば、変更可能な集合の集合はスレッドセーフではありません。

ご意見やご指摘をお寄せになりたい方は、 このドキュメントについて... をご覧ください。