Как остановить шаблоны кэширования усов [duplicate]

Почему вы не интроспективно?

Я действительно удивлен, что никто не выполнил проницательную интроспекцию, предлагаемую Python (2 и 3 применяются) на вызываемые объекты.

Учитывая небольшую небольшую функцию func, определенную как:

>>> def func(a = []):
...    a.append(5)

Когда Python сталкивается с ней, первое, что он сделает, это скомпилировать ее, чтобы создать code объект для этой функции. Хотя этот шаг компиляции выполнен, Python оценивает *, а затем сохраняет аргументы по умолчанию (пустой список [] здесь) в самом объекте функции . Как упоминалось выше, список a теперь можно считать членом функции func.

Итак, давайте сделаем некоторые интроспекции, до и после изучите, как список расширяется внутри объекта функции. Я использую для этого Python 3.x, для Python 2 это применимо (используйте __defaults__ или func_defaults в Python 2, да, два имени для одной и той же вещи).

Функция перед исполнением:

>>> def func(a = []):
...     a.append(5)
...     

После того, как Python выполнит это определение, он будет принимать любые заданные по умолчанию параметры (a = [] здесь) и вставить их в атрибут __defaults__ для объекта функции (соответствующий section: Callables):

>>> func.__defaults__
([],)

Хорошо, поэтому пустой список как единственная запись в __defaults__, как и ожидалось.

Функция после выполнения:

Теперь приступим к выполнению этой функции:

>>> func()

Теперь давайте посмотрим на те __defaults__ еще раз:

>>> func.__defaults__
([5],)

Удивительно? Значение внутри объекта меняется! Последовательные вызовы функции теперь просто присоединяются к этому встроенному объекту list:

>>> func(); func(); func()
>>> func.__defaults__
([5, 5, 5, 5],)

Итак, у вас есть причина, по которой этот «недостаток» потому что аргументы по умолчанию являются частью объекта функции. Здесь нет ничего странного. Все это немного удивительно.

Общее решение для борьбы с этим - обычное None как значение по умолчанию, а затем инициализируется в теле функции:

def func(a = None):
    # or: a = [] if a is None else a
    if a is None:
        a = []

Поскольку тело функции выполняется заново каждый раз, вы всегда получаете новый новый пустой список, если для a не передан аргумент.

Чтобы еще раз убедиться, что список из __defaults__ совпадает с тем, что используется в функции func, вы можете просто изменить свою функцию, чтобы вернуть id списка a, используемого внутри тела функции. Затем сравните его со списком в __defaults__ (позиция [0] в __defaults__), и вы увидите, как они действительно ссылаются на один и тот же экземпляр списка:

>>> def func(a = []): 
...     a.append(5)
...     return id(a)
>>>
>>> id(func.__defaults__[0]) == func()
True

Все с сила самоанализа!

* Чтобы убедиться, что Python оценивает аргументы по умолчанию при компиляции функции, попробуйте выполнить следующее:

def bar(a=input('Did you just see me without calling the function?')): 
    pass  # use raw_input in Py2

, как вы заметили, input() вызывается перед процессом построения функции и связыванием ее с именем bar.