[解決済み] 「is" 演算子が整数に対して予期せぬ振る舞いをする。

質問

Pythonで以下のような予期せぬ動作が起こるのはなぜですか？

>>> a = 256
>>> b = 256
>>> a is b
True           # This is an expected result
>>> a = 257
>>> b = 257
>>> a is b
False          # What happened here? Why is this False?
>>> 257 is 257
True           # Yet the literal numbers compare properly

Python 2.5.2を使っています。いくつかの異なるバージョンのPythonを試してみたところ、Python 2.3.3では99と100の間で上記の挙動を示すようです。

以上のことから、Pythonは内部的に小さな整数と大きな整数を異なる方法で保存するように実装されており、そのために is 演算子はその違いを見分けることができます。なぜリークする抽象化なのか？任意の2つのオブジェクトが数字かどうか事前にわからないときに、同じかどうかを比較するためのより良い方法は何でしょうか？

どのように解決するのか？

これを見てください。

>>> a = 256
>>> b = 256
>>> id(a)
9987148
>>> id(b)
9987148
>>> a = 257
>>> b = 257
>>> id(a)
11662816
>>> id(b)
11662828

Python 2のドキュメントを見ると、こんな感じです。 プレーンインテージャオブジェクト (それは、同じように パイソン3 ):

現在の実装では の整数オブジェクトの配列は、すべての 5 から 256 までの整数であり、この場合 その範囲にintを作成すると への参照が返されるだけです。 は既存のオブジェクトです。だから 1の値を変更することは可能です。 Pythonの挙動は このケースは未定義です :-)