Czy obiekt Arguments wycieknie?

Question

Zakładając miałem tę funkcję, która (z jakiegoś dziwnego powodu) zwraca jego arguments obiekt do rozmówcy:

function example(a, b/* ...*/) { 
    var c = // some processing 
    return arguments; 
} 

Czy przechowywania wynik inwokacji (var d=example();) zapobiegania zmienną środowiska example (zawierający a, b, c itd.) Ze śmieci? Wewnętrzne ustawiacze i moduły pobierające z Arguments object mogą nadal się do niego odwoływać, podobnie jak funkcja zwrócona z zamknięcia.

Wiem, że praktycznie nie ma przypadków użycia (i omijanie przedmiotów Argumenty jest uważane za złą praktykę, najprawdopodobniej z powodu ich podobieństwa do tablic), ale jest to bardziej teoretyczne pytanie. W jaki sposób obsługują to różne implementacje EcmaScript?

Answer 1

Rozważ to:

var x = function() { 
    return arguments; 
} 
console.log(x() === x()); 

To fałszywe, bo to nie jest to samo arguments przedmiot: to (dla każdego invokation z x) w nowo wybudowanym obiekcie, który ma wartości wszystkich params przechowywanych wewnątrz. Jednak ma ona właściwości arguments:

var y = x([]); 
console.log(y instanceof Object); // true 
console.log(y instanceof Array); // false 
console.log(y.length); // 1 
console.log(y.callee + '');  // function() { return arguments; } 

---

jeszcze coś więcej do tego. Oczywiście, przedmioty wysyłane do funkcji jako jej params nie będą zbierane przez GC jeśli arguments zwrócone są:

var z = x({some: 'value'}); 
console.log(z[0]); // {some:'value'} 

To normalne: mimo wszystko, można uzyskać podobny wynik, oświadczając jakiś lokalny obiekt wewnątrz funkcji, przypisywanie wartość pierwszego parametru funkcji jako własności obiektu "0", a następnie zwrócenie tego obiektu. W obu przypadkach obiekt, o którym mowa, będzie nadal "w użyciu", więc nie ma sprawy, jak sądzę.

Ale co z tym?

var globalArgs; 
var returnArguments = function() { 
    var localArgs = arguments; 
    console.log('Local arguments: '); 
    console.log(localArgs.callee.arguments); 
    if (globalArgs) { // not the first run 
    console.log('Global arguments inside function: '); 
    console.log(globalArgs.callee.arguments); 
    } 
    return arguments; 
} 
globalArgs = returnArguments('foo'); 
console.log('Global arguments outside function #1: '); 
console.log(globalArgs.callee.arguments); 
globalArgs = returnArguments('bar'); 
console.log('Global arguments outside function #2: '); 
console.log(globalArgs.callee.arguments); 

wyjściowa:

Local arguments: ["foo"] 
Global arguments outside function #1: null 
Local arguments: ["bar"] 
Global arguments inside function: ["bar"] 
Global arguments outside function #2: null 

Jak widać, jeśli wrócisz arguments obiekt i przypisać go do jakiejś zmiennej wewnątrz funkcji jego callee.argument punktów własności do tego samego zestawu danych, jak sama arguments; to znów jest oczekiwane. Ale poza funkcją variable.callee.arguments jest równa null (nie niezdefiniowana).

Answer 2

Bez przeprowadzania jakichkolwiek badań konkretnego silnika JavaScript trudno jest jednoznacznie odpowiedzieć. Twierdzę jednak, że relacja między argumentsObject a kontekstem utworzonym przez example jest taka sama, jak każdej innej zmiennej lokalnej i jej kontekście hosta.

Oznacza to, że zapisanie wartości nie wymaga również zapisania kontekstu.

Jedno zastrzeżenie stanowi własność arguments.callee który jest odniesienie do związku (tj Function), który dana argumentsObject jest związany.Ta właściwość nie istnieje jednak w trybie ścisłym, a także has been deprecated.

Poza tym uważam, że można bezpiecznie założyć, że powrót i przechowywanie argumentsObject nie doprowadzi do wycieku pamięci.