Проблема
- В объявлении `s=set()` default-аргумент создаётся один раз при загрузке функции и переиспользуется при всех последующих вызовах. То есть множество хранит состояние между вызовами функции. Это приводит к неожиданному накоплению элементов и «утечке» состояния.
Побочные эффекты в долгоживущем сервисе
- Накопление данных: после $n$ вызовов множество может вырасти до размера примерно $n$ (если элементы уникальны) — потребление памяти $O(n)$.
- Пересечение контекстов: данные одного запроса/пользователя могут попасть в другой запрос.
- Непредсказуемое поведение и трудноуловимые баги / флаковые тесты.
- Проблемы с конкурентностью: одновременные записи в общий set без синхронизации могут привести к повреждению структуры или расхождению данных.
Корректные альтернативы (с кратким анализом затрат/преимуществ)
1) Использовать sentinel `None` (обычный и предпочтительный вариант)
Код:
def add_to_set(x, s=None):
if s is None:
s = set()
s.add(x)
return s
Плюсы: нет скрытого общего состояния; простая семантика. Затраты: создаётся новый пустой set при каждом вызове без аргумента — амортизированная стоимость создания и вставки; операция вставки в set — в среднем $O(1)$. Память используется только для возвращаемого множества (не накапливается глобально).
2) Явный общий объект (если нужен shared state)
- Сделать явный глобальный/внешний объект или класс:
class Accumulator:
def __init__(self):
self.s = set()
def add(self, x):
self.s.add(x)
return self.s
Плюсы: состояние явно и контролируемо; можно добавить методы очистки/серилизации. Минусы: память растёт с числом уникальных элементов — $O(n)$; при конкурентном доступе нужна синхронизация.
3) Общий объект с синхронизацией (для многопоточных сервисов)
from threading import Lock
_lock = Lock()
_shared = set()
def add_threadsafe(x):
with _lock:
_shared.add(x)
return set(_shared) # возвращать копию, если нельзя отдавать внутреннее состояние
Плюсы: предотвращает гонки. Минусы: блокировка снижает параллелизм, накладные расходы на синхронизацию.
4) Если нужен persistent default, но безопасно и явно — использовать фабрику/замыкание
def make_adder():
s = set()
def add(x):
s.add(x)
return s
return add
adder = make_adder()
Плюсы: явное замыкание, контроль жизненного цикла; минусы — всё так же хранится состояние и растёт память.
5) Если нужна неизменяемая «по умолчанию» коллекция — использовать `frozenset`
- Нельзя добавлять элементы, но можно использовать как безопасный immutable default.
Резюме (рекомендация)
- Если функция не должна хранить состояние между вызовами — использовать вариант с `s=None`.
- Если нужен общий накопитель — сделать это явно (объект/класс) и обеспечить управление жизненным циклом и синхронизацию.