Как я добавляю атрибуты к методу во времени выполнения?

Я опаздываю, но вы хотите получить какой-то источник с вашим ответом? *

Хорошо, что в CPython вы можете увидеть источник этого. На данный момент я собираюсь использовать ссылки для релиза 3.5; поиск соответствующих 2.x является тривиальным.

В CPython функция C-API, которая обрабатывает создание нового объекта int, - PyLong_FromLong(long v) . Описание этой функции:

Текущая реализация хранит массив целых объектов для всех целых чисел от -5 до 256, когда вы создаете int в этом диапазоне, который вы на самом деле просто получаете назад ссылку на существующий объект . Поэтому должно быть возможно изменить значение 1. Я подозреваю, что поведение Python в этом случае не определено. : -)

blockquote>

Не знаю о вас, но я вижу это и думаю: Найдем этот массив!

Если у вас есть " t fiddled с кодом C, реализующим CPython , вы должны , все довольно организовано и доступно для чтения. Для нашего случая нам нужно посмотреть в подкаталоге Objects/ дерева каталогов основного исходного кода .

PyLong_FromLong имеет дело с long, поэтому нетрудно вывести, что нам нужно заглянуть внутрь longobject.c . Посмотрев внутрь, вы можете подумать, что вещи хаотичны; они, но не боятся, функция, которую мы ищем, пугает в line 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);

Хорошо, объявите 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() непосредственно или проверка подлинности с is на нем вернет точно то же самое.

Но когда они выделены ??

Во время инициализации в _PyLong_Init Python с радостью войдет в цикл for, сделайте это для вас:

for (ival = -NSMALLNEGINTS; ival <  NSMALLPOSINTS; ival++, v++) {
    // Look me up!
}

Надеюсь, мои объяснения заставили вас C (каламбур явно задуматься) теперь ясно.

---

Но, 257 - 257? Что случилось?

Это на самом деле проще объяснить, , и я уже пытался сделать это ; это связано с тем, что Python выполнит этот интерактивный оператор:

>>> 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.

---

* - Я попробую и слово это более вводным образом, чтобы большинство могло следовать дальше.