var theThing = null;
var replaceThing = function () {
var priorThing = theThing;
var unused = function () {
// 'unused' - единственное место, где используется 'priorThing',
// но 'unused' никогда не вызывается
if (priorThing) {
console.log("hi");
}
};
theThing = {
longStr: new Array(1000000).join('*'), // создаем 1Mб объект
someMethod: function () {
console.log(someMessage);
}
};
};
setInterval(replaceThing, 1000); // вызываем 'replaceThing' каждую секунду
Каждый объект theThing содержит свой собственный объект longStr размером 1Мб. Каждую секунду при вызове replaceThing, функция сохраняет ссылку на предыдущий объект theThing в переменной priorThing. Это не проблема, ведь каждый раз предыдущая ссылка priorThing будет перетерта (priorThing = theThing;). Так в чём же причина утечки?
Типичный способ реализации замыкания — это создание связи между каждым объектом-функцией и объектом-словарем, представляющим собой лексическую область видимости для этой функции. Если обе функции (unused и someMethod), определенные внутри replaceThing, реально используют priorThing, то важно понимать, что они получают один и тот же объект, даже если priorThing переписывается снова и снова, так как обе функции используют одну и ту же лексическую область видимости. И как только переменная используется в любом из замыканий, то она попадает в лексическую область видимости, используемую всеми замыканиями в этой области видимости. И этот маленький нюанс приводит к мощной утечке памяти.
var theThing = null;
var replaceThing = function () {
var priorThing = theThing;
// сохранив функцию в переменной, мы невольно сохраняем и контекст (цепочку областей видимости)
// в котором она была объявлена
// т.е. в данном случае priorThing оказался в контексте unused
var unused = function () {
if (priorThing) {
console.log("hi");
}
};
// здесь ссылка на старый объект заменяется новым,
// старый объект ожидает съедения GC,
// unused так же отправится в пасть GC...
theThing = {
longStr: new Array(1000000).join('*'),
// ... и все бы хорошо, если бы не один нюанс который происходит здесь
// как там пишут: both functions share the same lexical environment
// т.е. здесь у функции будет тот же контекст что и у unused
// потому что контекст уже пошарен при создании unused
// т.е. ссылка на старый объект priorThing будет сохраняться
// в общем контексте someMethod каждый раз.
someMethod: function () {
console.log(someMessage);
}
};
};
setInterval(replaceThing, 1000); // вызываем 'replaceThing' каждую секунду
<?php
$theThing = null;
$replaceThing = function () use (&$theThing) {
$priorThing = $theThing;
$unused = function () {
// 'unused' - единственное место, где используется 'priorThing',
// но 'unused' никогда не вызывается
if ($priorThing) {
echo "hi\n";
}
};
$theThing = (object)[];
$theThing->longStr = join("*",(new SplFixedArray(1000000))->toArray());
$theThing->someMethod = function () {
echo "$someMessage\n";
};
};
while(1)
{
sleep(1);
$replaceThing();
}