一、问题的提出
我们先来看看下面几段代码，要注意的是，以下代码不要在浏览器的开发者工具(如FireBug、Chrome Developer tool)中运行，原因后面会说明：
为什么我们可以删除对象的属性：
复制代码 代码如下:
var o = { x: 1 };
delete o.x; // true
o.x; // undefined
但不以删除像这样声明的变量：
复制代码 代码如下:
var x = 1;
delete x; // false
x; // 1
也不能删除像这样定义的函数：
复制代码 代码如下:
function x(){}
delete x; // false
typeof x; // "function"
注意：当delete操作符返回true时表示可以删除，返回false表示不能删除
要理解这一点，我们首先需要掌握像变量实例化和属性特性这样的概念－－遗憾的是这些内容在一些javascript的书中很少讲到。理解它们并不难，如果你不在乎它们为什么这么运行，你可以随意的跳过这一部分。
二、代码类型
在ECMAScript中有三种类型的可执行代码：Global code（全局代码）、Function code（函数代码）和 Eval code（放在Eval中执行的代码）。
复制代码 代码如下:
var x=1;//Global code
function test(){
var y=2;//Function Code
eval("var z=3");//Eval Code in Function
}
eval("function evalTest(){}");//Eval Code in Global
三、执行上下文
当ECMAScript 代码执行时，它总是在一定的上下文中运行，执行上下文是一个有点抽象的实体，它有助于我们理解作用域和变量实例化如何工作的。对于三种类型的可执行代码，每个都有执行的上下文。当一个函数执行时，可以说控制进入到函数代码（Function code）的执行上下文。全局代码执行时，进入到全局代码（Global code）的执行上下文。
正如你所见，执行上下文逻辑上来自一个栈。首先可能是有自己作用域的全局代码，代码中可能调用一个函数，它有自己的作用域，函数可以调用另外一个函数，等等。即使函数递归地调用它自身，每一次调用都进入一个新的执行上下文。
四、Activation object(激活对象)/Variable object(变量对象)
每一个执行上下文在其内部都有一个Variable Object。与执行上下文类似，Variable object是一个抽象的实体，用来描述变量实例化的机制。有趣的是在代码中声明的变量和函数实际上被当作这个变量对象的属性被添加。
当进入全局代码的执行上下文时，一个全局对象用作变量对象。这也正是为什么在全局范围中声明的变量或者函数变成了全局对象的属性。
复制代码 代码如下:
/* remember that `this` refers to global object when in global scope */
var GLOBAL_OBJECT = this;
var foo = 1;
GLOBAL_OBJECT.foo; // 1
foo === GLOBAL_OBJECT.foo; // true
function bar(){}
typeof GLOBAL_OBJECT.bar; // "function"
GLOBAL_OBJECT.bar === bar; // true
全局变量变成了全局对象的属性，但是，那些在函数代码（Function code）中定义的局部变量又会如何呢？行为其实很相似：它成了变量对象的属性。唯一的差别在于在函数代码（Function code）中，变量对象不是全局对象，而是所谓的激活对象（Activation object）。每次函数代码（Function code）进入执行作用域时，就会创建一个激活对象（Activation object）。
不仅函数代码（Function code）中的变量和函数成为激活对象的属性，而且函数的每一个参数（与形参相对应的名称）和一个特定Arguments 对象也是。注意，激活对象是一种内部机制，不会被程序代码真正访问到。
复制代码 代码如下:
(function(foo){
var bar = 2;
function baz(){}
/*
In abstract terms,
Special `arguments` object becomes a property of containing function's Activation object:
ACTIVATION_OBJECT.arguments; // Arguments object
...as well as argument `foo`:
ACTIVATION_OBJECT.foo; // 1
...as well as variable `bar`:
ACTIVATION_OBJECT.bar; // 2
...as well as function declared locally:
typeof ACTIVATION_OBJECT.baz; // "function"
*/
})(1);
最后，在Eval 代码（Eval code）中声明的变量作为正在调用的上下文的变量对象的属性被创建。Eval 代码（Eval code）只使用它正在被调用的哪个执行上下文的变量对象。
复制代码 代码如下:
var GLOBAL_OBJECT = this;
/* `foo` is created as a property of calling context Variable object,
which in this case is a Global object */
eval('var foo = 1;');
GLOBAL_OBJECT.foo; // 1
(function(){
/* `bar` is created as a property of calling context Variable object,
which in this case is an Activation object of containing function */
eval('var bar = 1;');
/*
In abstract terms,
ACTIVATION_OBJECT.bar; // 1
*/
})();
五、属性特性
现在变量会怎样已经很清楚（它们成为属性），剩下唯一的需要理解的概念是属性特性。每个属性都有来自下列一组属性中的零个或多个特性－－ReadOnly, DontEnum, DontDelete 和Internal，你可以认为它们是一个标记，一个属性可有可无的特性。为了今天讨论的目的，我们只关心DontDelete 特性。
当声明的变量和函数成为一个变量对象的属性时－－要么是激活对象（Function code），要么是全局对象（Global code），这些创建的属性带有DontDelete 特性。但是，任何明确的（或隐含的）创建的属性不具有DontDelete 特性。这就是我们为什么一些属性能删除，一些不能。
复制代码 代码如下: