늦었지만 답변이있는 소스를 원하십니까? 더 많은 사람들이 따라 할 수 있도록 입문 방식으로 시도하고 말하겠습니다.

CPython의 좋은 점은 실제로 소스를 볼 수 있다는 것입니다. 3.5 릴리스에는 링크를 사용 하지만 해당 2.x 링크를 찾는 것은 쉽지 않습니다.

CPython에서 새 오브젝트 작성을 처리 하는 C-API 함수 int는 PyLong_FromLong(long v)입니다. 이 기능에 대한 설명은 다음과 같습니다.

현재 구현은 -5에서 256 사이의 모든 정수에 대해 정수 객체 배열을 유지합니다.이 범위에서 int를 만들면 실제로는 기존 객체에 대한 참조를 다시 얻습니다 . 따라서 1의 값을 변경할 수 있어야합니다.이 경우 Python의 동작이 정의되지 않은 것 같습니다. 🙂

(내 이탤릭체)

당신에 대해 모르지만 나는 이것을보고 생각합니다 : 그 배열을 찾아 봅시다!

CPython 을 구현하는 C 코드를 다루지 않았다면 ; 모든 것이 꽤 체계적이고 읽기 쉽습니다. 우리의 경우, 우리는에서 볼 필요가 Objects하위 디렉토리 의 주요 소스 코드 디렉토리 트리 .

PyLong_FromLonglong객체를 다루 므로 내부를 들여다 볼 필요가 있다고 추론해서는 안됩니다 longobject.c. 내부를 살펴본 후 상황이 혼란 스럽다고 생각할 수 있습니다. 그들은 우리가 찾고있는 기능이 230 번 줄 에서 차가워 져서 우리가 체크 아웃하기를 기다리고 있습니다. 작은 기능이므로 본체 (선언 제외)를 쉽게 붙여 넣을 수 있습니다.

PyObject *
PyLong_FromLong(long ival)
{
    // omitting declarations

    CHECK_SMALL_INT(ival);

    if (ival < 0) {
        /* negate: cant write this as abs_ival = -ival since that
           invokes undefined behaviour when ival is LONG_MIN */
        abs_ival = 0U-(unsigned long)ival;
        sign = -1;
    }
    else {
        abs_ival = (unsigned long)ival;
    }

    /* Fast path for single-digit ints */
    if (!(abs_ival >> PyLong_SHIFT)) {
        v = _PyLong_New(1);
        if (v) {
            Py_SIZE(v) = sign;
            v->ob_digit[0] = Py_SAFE_DOWNCAST(
                abs_ival, unsigned long, digit);
        }
        return (PyObject*)v;
}

이제 우리는 C master-code-haxxorz 는 아니지만 멍청하지도 않습니다 CHECK_SMALL_INT(ival);. 우리는 이것이 이와 관련이 있다는 것을 이해할 수 있습니다. 확인 해보자:

#define CHECK_SMALL_INT(ival) \
    do if (-NSMALLNEGINTS <= ival && ival < NSMALLPOSINTS) { \
        return get_small_int((sdigit)ival); \
    } while(0)

따라서 get_small_int값 ival이 조건을 만족하면 함수를 호출하는 매크로입니다 .

if (-NSMALLNEGINTS <= ival && ival < NSMALLPOSINTS)

그래서 무엇 NSMALLNEGINTS과 NSMALLPOSINTS? 매크로! 여기 있습니다 :

#ifndef NSMALLPOSINTS
#define NSMALLPOSINTS           257
#endif
#ifndef NSMALLNEGINTS
#define NSMALLNEGINTS           5
#endif

우리의 상태는 if (-5 <= ival && ival < 257)call get_small_int입니다.

다음 get_small_int으로 모든 영광을 보자 (자, 우리는 단지 흥미로운 것들이있는 곳이기 때문에 몸을 볼 것입니다) :

PyObject *v;
assert(-NSMALLNEGINTS <= ival && ival < NSMALLPOSINTS);
v = (PyObject *)&small_ints[ival + NSMALLNEGINTS];
Py_INCREF(v);

자, a를 선언 PyObject하고 이전 조건이 유지되고 할당을 실행한다고 주장하십시오.

v = (PyObject *)&small_ints[ival + NSMALLNEGINTS];

small_ints우리가 찾고있는 배열과 매우 비슷합니다. 우리는 방금 문서를 읽을 수 있었고 모든 것을 알았을 것입니다! :

/* Small integers are preallocated in this array so that they
   can be shared.
   The integers that are preallocated are those in the range
   -NSMALLNEGINTS (inclusive) to NSMALLPOSINTS (not inclusive).
*/
static PyLongObject small_ints[NSMALLNEGINTS + NSMALLPOSINTS];

그래,이 사람은 우리 남자 야 int범위에서 새 항목을 만들려면 [NSMALLNEGINTS, NSMALLPOSINTS)이미 할당 된 기존 개체에 대한 참조를 다시 가져옵니다.

참조는 동일한 객체를 참조하므로 id()직접 발행 하거나 ID를 확인 is하면 정확히 동일한 결과가 반환됩니다.

그러나 언제 할당됩니까?

_PyLong_Init파이썬 에서 초기화하는 동안 기꺼이 for 루프에 들어가면 다음과 같이하십시오.

for (ival = -NSMALLNEGINTS; ival <  NSMALLPOSINTS; ival++, v++) {

루프 바디를 읽으려면 소스를 확인하십시오!

내 설명으로 C 물건을 명확하게 만들었 기를 바랍니다.

그러나 257 is 257? 뭐야?

이것은 실제로 설명하기가 더 쉬우 며 이미 그렇게 시도했습니다 . 파이썬 이이 대화 형 문을 단일 블록으로 실행한다는 사실 때문입니다.

>>> 257 is 257

이 문장을 완성하는 동안 CPython은 두 개의 일치하는 리터럴이 있으며 동일한 PyLongObject표현 을 사용한다는 것을 알 수 있습니다 257. 컴파일을 직접 수행하고 내용을 검사하면 이것을 볼 수 있습니다.

>>> codeObj = compile("257 is 257", "blah!", "exec")
>>> codeObj.co_consts
(257, None)

CPython이 작업을 수행하면 이제 정확히 동일한 객체를로드합니다.

>>> import dis
>>> dis.dis(codeObj)
  1           0 LOAD_CONST               0 (257)   # dis
              3 LOAD_CONST               0 (257)   # dis again
              6 COMPARE_OP               8 (is)

그래서 is돌아갑니다 True.

답변

In [1]: id(255)
Out[1]: 146349024

In [2]: id(255)
Out[2]: 146349024

In [3]: id(257)
Out[3]: 146802752

In [4]: id(257)
Out[4]: 148993740

In [5]: a=255

In [6]: b=255

In [7]: c=257

In [8]: d=257

In [9]: id(a), id(b), id(c), id(d)
Out[9]: (146349024, 146349024, 146783024, 146804020)