你要这样考虑

var  a  = b;
假如 b 是常量 那么肯定销毁了 没有存在的意义
如果b是一个对象的引用  那么 这个对象还在 但是  b没了

Quote: 引用 9 楼 KK3K2005 的回复:

你要这样考虑

var  a  = b;
假如 b 是常量 那么肯定销毁了 没有存在的意义
如果b是一个对象的引用  那么 这个对象还在 但是  b没了

“销毁一个常量”，你确定这句话没有语法问题？

如果b是一个对象的引用，那么现在a和b都指向同一个对象了，并且由于a是一个局部变量，所以b的存活时间至少不会少于a。

如果b不再有后续的访问，如果有必要的话，编译器毫无疑问会覆盖其所在的寄存器，但这并不表示b就不存在了，这只是一种代码优化技术。

我把问题改一下吧：

  //Point A:

  function f(arg){
      this.property = function{
         return arg;
      }
  }

  var a = new f(1);

  //Point B:

当然，在这种情况下，arg必然存在。请告诉我，这个对象，和楼顶所说的对象，有何不同？编译器如何区分这两种情形？

这个问题可能比较难，但我想得到正确的答案而不是众说纷纭，如果没人知道，我也能够理解。

( 请真正了解原理的朋友回答，如果你对自己的答案不是很有把握，请不要回答 )

为了直观体验，利用VBS对象析构的功能，来提示是否释放，只能在IE 下测试
你可以修改 f 里的代码进行测试 

<title>测试GC</title> 

<script language="vbs">

Class C

		public property get value

		value="ok"

		end property

	 

   Private Sub Class_Terminate   

      MsgBox("释放了")

   End Sub

End Class

function vbObj()

	set vbObj= new C

end function 

</script>

<button onclick="test()">创建对象</button>

<button onclick="javascript:a=null">主动释放</button>

<script>

var a;

function f(arg){

	  this.xx=function(){ alert( arg.value ) }  //如果这里有引用 不会马上会释放

	 // this.yy=function(){ alert( eval('1+2')  ) }  //有eval 的也不会马上释放

	 //this.zz=function(){}   //会马上释放

}	

function test(){

	var o=vbObj();

	 a=new f(o);

}

setInterval(CollectGarbage, 500);

</script>

Quote: 引用 16 楼 fzfei2 的回复:

为了直观体验，利用VBS对象析构的功能，来提示是否释放，只能在IE 下测试
你可以修改 f 里的代码进行测试 

<title>测试GC</title> 

<script language="vbs">

Class C

		public property get value

		value="ok"

		end property

	 

   Private Sub Class_Terminate   

      MsgBox("释放了")

   End Sub

End Class

function vbObj()

	set vbObj= new C

end function 

</script>

<button onclick="test()">创建对象</button>

<button onclick="javascript:a=null">主动释放</button>

<script>

var a;

function f(arg){

	  this.xx=function(){ alert( arg.value ) }  //如果这里有引用 不会马上会释放

	 // this.yy=function(){ alert( eval('1+2')  ) }  //有eval 的也不会马上释放

	 //this.zz=function(){}   //会马上释放

}	

function test(){

	var o=vbObj();

	 a=new f(o);

}

setInterval(CollectGarbage, 500);

</script>

在ie下测试显示网页有错误：test() 类型不匹配。

我想知道，你表达的是不是这么一个意思：

在构造函数中的局部变量，被成员引用到的将会被保留，而没有引用的则会被丢弃。