计算机的主要功能是逻辑计算，基本的功能是记忆存储。
- 那么变量是用于在计算过程中随时拿来使用或者改变的，所以就必须要把变量存储起来才能供给程序后面计算的使用，既然要存储变量，就必须要有存储的规则。就像图书馆，如果把所有书籍杂乱的放到书架上，看书的人要想找到自己想要的书无疑是大海捞针，所以通常图书馆会把科技类书籍放一个区域，文史类放一个区域。这样有规则的摆放，能让人更容易找到自己想要的书籍。
站在js角度的存储规则就是作用域，就像你把一个人锁在一栋别墅的房间里，那么他的活动范围就是这个房间，如果你把这个人锁在整栋别墅里，那么他的活动范围就是整栋别墅，房间是别墅的一部分，所以锁在别墅的人也可以进入房间。当然把这个人锁到哪里是由你来决定的。
//可以把script标签想象成一个最大权限的函数，就是别墅
站在内存角度的存储规则是栈与堆，内存存储规则在乎的是数据的类型，（js数据类型分为基础数据类型和复杂数据类型，）也就是说它在乎的是这个人是什么人，还用别墅的例子来说，栈是小别墅，堆是大别墅，如果是男人（基础数据类型），那么就存储到小别墅中，如果是女人（复杂数据类型），就放在大别墅中，这两个别墅相互独立。你不能决定男人和女人的存储规则,至少在js的层面是这样。
这两种规则没有什么交集
进一步分析变量
前面说了基础数据类型是存储在栈中的，在js解释器预处理的词法分析阶段，函数内的变量就已经被保存了，不过他只是保存了一个名字，并没有赋值。
/*------------------第一段----------------------*/
console.log(a);//注意，打印出的是undefined，而并不是a不存在
var a = 5;
console.log(a);//打印出5
/*------------------第二段----------------------*/
function fn(){
console.log(b); //注意，打印出的是undefined，而并不是b不存在
var b = 6;
console.log(b);//打印出6
}
fn();
如：var a = 5；栈只是保存了var a，而a = 5，则是在代码执行阶段完成的，当一个函数执行完毕，就相当于一栋别墅摧毁掉了，别墅都摧毁掉了，那么别墅里的人自然也就销毁掉了，这种变量销毁是即时销毁的（相当于：死刑，立即执行），也可以说是没有时间差的销毁。
（注意：函数执行完，会返回一个值，带return的函数，就返回return后面的值，如果函数内没有return，那么就返回undefined，栈内存根据函数的这个返回，立即将此函数踢出任务栈，继续执行排在他之后的函数）
上面这一段我们所说的都是针对于基础数据类型而言的，对于复杂数据类型情况就不太一样了，在这里我们先得明白一个二元操作符‘=’。
‘=’的运算优先级可以说是最低，（但是非要严谨的说，比他还低的运算符是‘,’）,赋值操作中，如果解释器遇到了‘=’，它会分两个步骤运行：
1.先去判断 ‘=’ 前边的部分是否含有 ‘.’ ，如果有，执行修改值的操作，如果没有，就执行重新赋值的操作。
var a = {}, b = 5;
a.name = '张三'; // 执行了修改值操作
b = 10; // 执行了重新赋值操作
2.然后去判断‘=’后面的值的数据类型，如果是基础数据类型，直接在栈中创建一块区域存储值（可以认为值直接存储在了变量符当中了），如果是复杂数据类型：
① 在堆内存中创建一块内存区域存储对象；
②在栈中生成一个指向此对象的地址；
③把地址赋值给变量；
比如在函数内声明了一个变量，
function fn(){
var b = {name:"张三"}
}
fn();
当函数执行完的时候，变量b确实和上段所说的变量a一样销毁掉了，但是对象{name：‘张三’}本身并没有即时销毁，其实销毁的只是一个指向对象{name：‘张三’}的内存地址，对象{name：‘张三’}真正销毁的节点是在垃圾回收机制来检测时，发现没有地址指向对象{name：‘张三’}了，才把他销毁。（相当于：死刑，缓期执行）;
补充：既然说到了=，那么也就说说==，===操作符的区别。
对于复杂数据类型而言，==和===比较的都是指向对象的地址，没有根本区别。 所以下面所说只针对于基础数据类型。
== ：先把两个基础数据类型转换成同一类型在进行比较，可以抽象理解为进行的是现象的比较，不是本质的比较。
比较算法：
比较运算x==y, 其中x和 y是值，产生true或者false。这样的比较按如下方式进行：
若Type(x)与Type(y)相同， 则
若Type(x)为Undefined， 返回true。
若Type(x)为Null， 返回true。
若Type(x)为Number， 则
若x为NaN， 返回false。
若y为NaN， 返回false。
若x与y为相等数值， 返回true。
若x 为 +0 且 y为−0， 返回true。
若x 为 −0 且 y为+0， 返回true。
若Type(x)为String, 则当x和y为完全相同的字符序列（长度相等且相同字符在相同位置）时返回t
rue。 否则， 返回false。
若Type(x)为Boolean, 当x和y为同为true或者同为false时返回true。 否则， 返回false。
当x和y为引用同一对象时返回true。否则，返回false。
若x为null且y为undefined， 返回true。
若x为undefined且y为null， 返回true。
若Type(x) 为 Number 且 Type(y)为String， 返回comparison x == ToNumber(y)的结果。
若Type(x) 为 String 且 Type(y)为Number，返回比较ToNumber(x) == y的结果。
若Type(x)为Boolean， 返回比较ToNumber(x) == y的结果。
若Type(y)为Boolean， 返回比较x == ToNumber(y)的结果。
若Type(x)为String或Number，且Type(y)为Object，返回比较x == ToPrimitive(y)的结果。
若Type(x)为Object且Type(y)为String或Number， 返回比较ToPrimitive(x) == y的结果。
===：比较的是数据在底层链式结构中内存地址是否相同，也可以理解为数据类型一样，值也一样才返回true，否则返回false。
比较算法：
比较 x===y，x 和 y 为值，需要产出 true 或 false。比较过程如下：
如果 Type(x) 与 Type(y) 的结果不一致，返回 false，否则
如果 Type(x) 结果为 Undefined，返回 true
如果 Type(x) 结果为 Null，返回 true
如果 Type(x) 结果为 Number，则
如果 x 为 NaN，返回 false
如果 y 为 NaN，返回 false
如果 x 与 y 为同一个数字，返回 true
如果 x 为 +0，y 为 -0，返回 true
如果 x 为 -0，y 为 +0，返回 true
如果 Type(x) 结果为 String，如果 x 与 y 为完全相同的字符序列（相同的长度和相同的字符对应相同的位置），返回 true，否则，返回 false
如果 Type(x) 结果为 Boolean，如果 x 与 y 都为 true 或 false，则返回 true，否则，返回 false
如果 x 和 y 引用到同一个 Object 对象，返回 true，否则，返回 false