왜 (0-6)은 -6 = 거짓입니까?

Question

가능한 중복 :
Python “is” operator behaves unexpectedly with integers

오늘은 내 프로젝트를 디버깅하기 위해 노력하고 분석하는 몇 시간 후에 나는이 도착했던 :

>>> (0-6) is -6 
False 

하지만,

을

>>> (0-5) is -5 
True 

나에게 설명해 주시겠습니까? 그 이유는 무엇입니까? 이것은 일종의 버그 또는 매우 이상한 행동 일 수 있습니다. -5에서 포함 256

> Python 2.7.3 (default, Apr 24 2012, 00:00:54) [GCC 4.7.0 20120414 (prerelease)] on linux2 
>>> type(0-6) 
<type 'int'> 
>>> type(-6) 
<type 'int'> 
>>> type((0-6) is -6) 
<type 'bool'> 
>>> 

Answer 1

모든 정수 따라서 is 테스트를 통과, CPython과 함께 같은 주소를 공유 전역 개체로 캐시됩니다.

이 아티팩트는 http://www.laurentluce.com/posts/python-integer-objects-implementation/으로 자세하게 설명되어 있으며 현재 소스 코드는 http://hg.python.org/cpython/file/tip/Objects/longobject.c입니다.

특정 구조는 작은 정수를 참조하고 공유하므로 액세스가 빠릅니다. 정수 객체에 대한 262 개의 포인터 배열입니다. 정수 객체는 위에서 보았던 정수 객체 블록에서 초기화 중에 할당됩니다. 작은 정수 범위는 -5부터 257까지입니다. 대부분의 Python 프로그램은 해당 범위의 정수를 사용하여 많은 시간을 소비하므로 현명한 결정입니다.

이것은 CPython의 구현 세부 사항이므로 여기에 의존해서는 안됩니다. 예를 들어, PyPy은 id 정수를 구현하여 자신을 반환하므로 (0-6) is -6은 내부적으로 "다른 객체"인 경우에도 항상 true입니다. 또한이 정수 캐싱을 사용할지 여부를 구성하고 상한 및 하한도 설정할 수 있습니다. 그러나 일반적으로 다른 출처에서 검색된 객체는 동일하지 않습니다. 평등을 비교하려면 ==을 사용하십시오.

Answer 2

이것은 버그가 아닙니다. is은 동등성 테스트가 아닙니다. ==은 예상 된 결과를 제공합니다.

이 동작의 기술적 인 이유는 Python 구현이 동일한 상수 값의 다른 인스턴스를 동일한 객체 또는 다른 객체로 처리 할 수 ​​있다는 것입니다. 사용하고있는 파이썬 구현은 메모리 절약을 위해 특정 작은 정수를 동일한 객체를 공유하도록 선택합니다. 이 동작이 버전과 동일한 버전이나 다른 Python 구현에 의존 할 수는 없습니다.

Answer 3

파이썬은 인터프리터에서 -5-256 범위의 정수를 저장합니다. 파이썬은 이러한 정수가 반환되는 정수 객체 풀을 가지고 있습니다. 그렇기 때문에 그 물체가 같은 이유입니다 : (0-5)과 -5이 아니라 그 자리에서 생성되는 (0-6)과 -6이 아닙니다.

여기 CPython과의 소스 코드의 소스입니다 :

#define NSMALLPOSINTS   257 
#define NSMALLNEGINTS   5 
static PyIntObject *small_ints[NSMALLNEGINTS + NSMALLPOSINTS]; 

(view CPython source code : /trunk/Objects/intobject.c).소스 코드는 다음과 주석이 포함

이

/* References to small integers are saved in this array so that they 
    can be shared. 
    The integers that are saved are those in the range 
    -NSMALLNEGINTS (inclusive) to NSMALLPOSINTS (not inclusive). 
*/ 

is 연산자는 다음 그들 (-5)를 비교합니다 동등한를 그들에있을 것 같은 개체 (같은 메모리 위치)하지만 다른 두 개의 새로운 정수 (-6) 때문에 다른 메모리 위치 (그리고 is은 True을 반환하지 않습니다). 위 소스 코드에서 257은 양의 정수이므로 0 - 256 (포함)입니다.

(source)

Answer 4

CPython의 일부 작은 정수 작은 문자열을 캐시하고 그 객체 동일한 id()의 모든 인스턴스를 제공하기 때문에이 일어나고있다.

(0-5) 및 -5 문자열에 대한 유사 0-6 및 -6

>>> id((0-6)) 
12064324 
>>> id((-6)) 
12064276 
>>> id((0-5)) 
10022392 
>>> id((-5)) 
10022392 

에 대한 사실이 아니다 id()에 대한 동일한 값을 가지고 : 문자열 캐싱에 대한 자세한 내용은

>>> x = 'abc' 
>>> y = 'abc' 
>>> x is y 
True 
>>> x = 'a little big string' 
>>> y = 'a little big string' 
>>> x is y 
False 

를 읽기 : is operator behaves differently when comparing strings with spaces