Idの型は不変です

Question

私は、可変オブジェクトと不変オブジェクトの区別についてちょっと混乱します。私は文字列の同じidを持っ

tuple1 = ('Object1', 'Object2') 
print id(tuple1) 
tuple2 = ('Object1', 'Object2') 
print id(tuple2) 
list1 = ['Object1', 'Object2'] 
print id(list1) 
list2 = ['Object1', 'Object2'] 
print id(list2) 
string1 = "Foo bar" 
print id(string1) 
string2 = "Foo bar" 
print id(string2) 

、およびリストのIDが異なるが、タプルごとに異なるID：私は、オブジェクトのIDを見つけるために、次のコードの塊を試してみました。彼らは同じイドを持っていてはいけませんか？誰かがその仕組みを説明できるかどうか疑問に思っていましたか？

おかげ

Answer 1

同じIDが正確同じオブジェクトを意味するが、パイソンの実装は、それが喜ばとして不変オブジェクトの作成を最適化するために自由です。例えば、CPythonの中2.6.6小さな整数オブジェクトはそう、キャッシュされ：

>>> x=256 
>>> x is 256 
True 
>>> x=1024 
>>> x is 1024 
False 

[NOTE: 'is' tests for object identity (same ID)] 

この結果は、他の実装で同じになる保証はありません。インプリメンテーションはのキャッシュ不変タプルでしたが、どのタプルが共通ですか？すべての同じタプルが同じIDを返すことを提案した場合、プログラムによって作成されたすべてのタプルはキャッシュされなければならず、タプルの新しい作成のたびにキャッシュが検索されなければなりません。時間がかかる。

==を使用すると、IDに関係なくオブジェクトの等価性をテストできます。

Answer 2

文字列リテラルはinternedことができるので、あなたは、文字列と同じIDを取得します。タプルはインターンされていないので、タプルのIDは同じではありません。

変更可能なデータ構造体は合理的に格納できません（読み込み：そうすると非常に混乱します）ので、文字列が変更可能であれば、それらを格納することはできません。しかし、これはすべての不変のデータ構造が保留されていることを意味するものではありません。

Answer 3

Immatableは、クラスのインスタンスを変更できないことを意味します。例えば：

salad = ["Lettuce","Tomato","Onion","Tuna"] 
fruit = ("Apple","Banana","Cherry","Fig","Grapefruit") 
salad[3] = "Cheese" # works 
fruit[3] = "Orange" # error message 

Answer 4

デフォルトでは、インタープリタは小さい整数または文字列に対して1つの共有オブジェクトを作成します。