参数对象是否泄漏？

Question

假设我有这个功能，（对于一些奇怪的原因）其arguments对象返回给调用者：

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

是否存储（含有a调用（var d=example();）防止example可变环境的结果， b,c等）被垃圾收集？ Arguments object的内部设置者和获取者仍然可以引用它，就像从闭包返回的函数一样。

我知道几乎没有用例（并且传递参数对象被认为是不好的练习，很可能是因为它们与数组相似），但这更多的是一个理论问题。不同的EcmaScript实现如何处理这个问题？

Answer 1

考虑一下：

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

这是假的，因为它是不一样的arguments对象：它的（对于x每个invokation）一个新构造的对象具有值存储中的所有PARAMS的。然而，它的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; } 

---

然而，有更多的这一点。显然，物体送入功能作为其PARAMS不会被GC回收，如果arguments返回：

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

这是意料之中的：毕竟，你可以通过声明函数里面的一些本地对象得到类似的结果，分配该函数的第一个参数的值作为其对象'0'属性，然后返回该对象。在这两种情况下，所提到的对象仍然是“正在使用”，所以没有什么大不了的，我想。

但是呢？

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); 

输出：

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

正如你看到的，如果回到arguments对象并将其分配给某个变量，函数内部它callee.argument属性指向同一组数据作为arguments本身;这也是预期的。但功能外variable.callee.arguments等于null（不是undefined）。

Answer 2

没有对特定的JavaScript引擎做任何研究，这是很难回答的决定性的。然而，我会认为argumentsObject与example创建的上下文之间的关系与任何其他局部变量及其主机上下文相同。

也就是说，存储该值不需要存储它的上下文。

一个需要注意的是arguments.callee属性这是一个给定的argumentsObject被绑定到的上下文（即Function）的引用。但是，该属性并不存在于严格模式下，并且也是has been deprecated。

除此之外，我认为可以安全地假设返回并存储argumentsObject不会导致内存泄漏。