这篇文章将梳理下环境，作用域链，变量对象和运动对象，以及内存治理题目。

基本范例和援用范例的值

我们都晓得JS中的数据范例有两大类，基本数据范例和援用数据范例，下面从三个方面来剖解他们
①保存体式格局
基本范例的值是指简朴的数据段，援用范例的值是指那些能够由多个值组成的对象。

• 基本范例

  • 按值接见
  • 能够直接操纵保存在变量中现实的值

• 援用范例

  • 按援用地点接见
  • 保存在内存中的对象，而JS不能不允许直接接见内存中的位置，也就是说不能直接操纵对象的内存空间，所以说在现实操纵历程当中操纵的是对象的援用，而不是现实的对象。

②复制变量值

• 基本范例在复制变量值的时候，会在变量对象上竖立一个新值，然后把该值复制到为新变量分派的位置上。也就是说基本范例的值复制给新变量后，会在栈内存中拓荒一个新的地点空间去存储值，原值和复制值介入任何操纵都互不影响
• 援用范例在复制变量值的时候，一样会在栈内存中拓荒一个新的地点空间去存储值，只不过，援用范例复制的是指针，原值和复制值的指针指向统一堆内存中存储的值，也就是说著两个变量现实大将援用统一对象，因而改变个中一个变量，就会影响到另一个变量。

③通报参数
先相识一个基本准绳，ECMAScript中一切函数的参数都是按值通报的，万万不能以为在部分作用域中修正的对象会在全局作用域中反应出来，就申明参数是按援用通报的。

依据这个准绳，假如参数值是基本范例的，在函数内部修正值，并不会影响到函数外部的值，但假如是援用范例的，参数依旧是值通报，只不过通报的是栈内存的地点值，因而函数内部的修正会影响到函数外部的值。
下面看一个🌰

let obj_value = {
  a: 1,
  b: 2
}
function func(val) {
  val.a = 3
  val.c = 6
  console.log(val)  // {a: 3, b: 2, c: 6}
}
console.log(obj_value) // {a: 1, b: 2}
func(obj_value)
console.log(obj_value) // {a: 3, b: 2, c: 6}

下面🌰能证实援用范例的参数也是按值通报的

function func(obj) {
  obj.a = 1
  obj = {}
  obj.a = 2
}
let test = {}
func(test)
console.log(test.a) // 1

上面的🌰，根据我们明白应当打印出a=2，但适得其反，起首，test在函数func中新增了一个a属性并赋值为1，此时，obj中通报的是援用范例在栈内存中存储的地点值，也就是说函数内的obj复制的是test地点，他们两个配合指向一个对象，因而经由历程obj新增，修正删除操纵都邑反应到函数外部，接下来再看函数内的第二条语句，obj={}，这就不得了了，这是重写，也就是说它会抹去obj底本存储的地点值，这就割断了test和obj配合指向一个对象这个联络，因而第三条语句，obj.a=2就是函数内部的事变了。

所以总结一句话，援用范例的增编削操纵与其关联一切对象都邑遭到涉及和影响，从新就会割断本身与其他对象的联络

检测范例

typeof()（只适用于基本范例，不适用于对象）

typeof函数可用于检测string，number，boolean，undefined，function照样symbol，但假如变量的值是援用范例或null，则typeof会返回object。

ECMA-262划定任何在内部完成[[call]]要领的对象都应当在运用typeof操纵符时返回”function”
关于正则表达式范例的typeof检测，在IE和Firefox中会返回object，其他的返回function。

let func = function() {}
console.log(typeof (''))  // string
console.log(typeof (1))   // number
console.log(typeof (true)) // boolean
console.log(typeof (undefined)) // undefined
console.log(typeof ({})) // object
console.log(typeof (null)) // object
console.log(typeof (Symbol(''))) //symbol
console.log(typeof (func)) // function

instanceof（只适用于对象，不适用于基本范例）

instanceof操纵符用于推断是什么范例的对象
假如变量是给定援用范例的实例，那末instanceof操纵符就会返回true

• 依据划定，一切的援用范例的值都是Object的实例，因而在检测一个援用范例值和Object组织函数时，instanceof操纵符一向会返回true，
• instanceof操纵符检测基本范例的值，该操纵符一向会返回false，由于基本范例不是对象。

实行环境及作用域

实行环境也称为环境，它定义了变量或函数有权接见的其他数据，决议了它们各自的行动。每一个实行环境都有
一个与之关联的
变量对象，环境中定义的
一切变量和函数都保存在这个对象中。

全局实行环境是最外围的一个实行环境，依据ECMAScript完成地点的宿主环境差别，示意实行环境的对象也不一样，在web浏览器中，全局实行环境被认为是window对象，因而，在浏览器中，竖立的一切全局变量和函数都是作为window对象的属性和要领。

ECMAScript递次中实行流的掌握机制

每一个函数都有各自的实行环境，当实行流进入一个函数时，函数的环境就会被推入一个环境栈中，而在函数实行以后，栈将其环境弹出，把掌握权返回给之前的实行环境。

作用域链

代码在环境中实行，就会竖立变量对象的作用域链，作用域链的用处，是保证对实行环境有权接见的一切变量和函数的有序接见。作用域链的前端，一向都是当前实行的代码地点的环境的变量对象，假如这个环境是函数，则将其运动对象作为变量对象。什么是运动对象呢？运动对象现实就是变量对象在真正实行时的另一种情势。运动对象一最先只包括一个变量，即arguments对象。作用域中的下一个变量对象来自外部环境，再下一个变量对象来自下一个环境，层层嵌套，一向延续到全局实行环境，全局实行环境的变量对象一向都是作用域链中的末了一个对象

环境的接见是沿着作用域链举行的，作用域链是单向的，即由里到外，内部环境能够接见外部环境，反之不可。

变量对象和运动对象的观点

变量对象(VO)
变量对象是与实行高低文对应的观点，定义实行高低文中的一切变量，函数以及当前实行高低文函数的参数列表，也就是说变量对象定义着一个函数内定义的参数列表、内部变量和内部函数

变量对象的内部递次是参数列表->内部函数->内部变量
变量对象的竖立历程

• 搜检当前实行环境的参数列表，竖立Arguments对象。
• 搜检当前实行环境上的function函数声明，每搜检到一个函数声明，就在变量对象中以函数名竖立一个属性，属性值则指向函数地点的内存地点。
• 搜检当前实行环境上的一切var变量声明，每搜检到一个var声明，假如VO(变量对象)中已存在function属性名，则跳过，不存在就在变量对象中以变量名竖立一个属性，属性值为undefined。

变量对象是在函数被挪用，然则函数还没有实行的时候被竖立的，这个竖立变量对象的历程现实就是函数内数据(函数参数，内部变量，内部函数)初始化的历程。

运动对象(AO)
未进入实行阶段之前，变量对象中的属性都不能接见！然则进入实行阶段以后，变量对象改变为了运动对象，内里的属性都能被接见了，然后最先举行实行阶段的操纵。所以运动对象现实就是变量对象在真正实行时的另一种情势。

全局变量对象

我们上面说的都是函数高低文中的变量对象，是依据实行高低文中的数据(参数、变量、函数)肯定其内容的，全局高低文中的变量对象则有所差别。以浏览器为例，全局变量对象是window对象，全局高低文在实行前的初始化阶段，全局变量、函数都是被挂载倒window上的。

实行高低文的生命周期

延伸作用域链

实行环境的范例就两种——全局和部分(函数)
延伸作用域链的意义是在作用域链的前端暂时增添一个变量对象，该变量对象会在代码实行后被移除。

延伸要领（以下两个语句都邑在作用域链的前端增加一个变量对象）：

• try-catch语句的catch块：会竖立一个新的变量对象，个中包括的是被抛出的毛病对象的声明。
• with语句：会指定的对象增加到作用域链中

经由历程with语句延伸作用域链
function addLink() {
  let name = 'george'
  with(local) {
    var url = href + name // 此时经由历程with语句将local对象增加到addLink环境的头部，因而在addLink中就有权能够接见local对象的属性和要领
  }
  return url 
}

var没有块级作用域

JS ES5之前只要函数作用域和全局作用域，没有块级作用域。
ES6后涌现块级作用域 let, count定义的变量都只在其代码块中有效

声明变量

var声明的变量会自动被增加到最接近的环境中
在函数内部，最接近的环境就是函数的部分环境，在with语句中，最接近的环境是函数环境，初始化变量若没有经由历程var声明，该变量会自动被增加到全局环境。

查询示意符

当某个环境中为了读取和写入一个标识符时，必需经由历程搜刮来肯定标识符现实代表什么。搜刮历程从作用域链的前端最先，沿着作用域链向上查找，一向追溯到全局环境变量对象，找到标识符，搜刮历程住手，反之，返回undefined。

渣滓网络

JS具有自动渣滓网络机制，也就是说，实行环境会担任治理代码实行历程当中运用的内存

网络道理

找出那些不再继承运用的变量，然后开释其占用的内存，为此渣滓网络器会根据牢固的时候距离（或代码中预定的网络时候），周期性地实行这一操纵。

网络要领

• 标记消灭
• 援用计数

标记消灭（最经常使用的渣滓网络体式格局）

道理：渣滓网络器在运转的时候回给存储在内存中的一切变量都加上标记，然后去掉环境中的变量以及被环境中的变量援用的变量的标记，末了删除被标记的变量。
标记消灭算法将“不再运用的对象”定义为“没法抵达的对象”。即从根部（在JS中就是全局对象）动身定时扫描内存中的对象，一般能从根部抵达的对象，保存。那些从根部动身没法触及到的对象被标记为不再运用，稍后举行接纳。

援用计数

道理：经由历程名字很好明白，援用计数，就是跟踪纪录每一个值被援用的次数，当援用次数为0时，将其删除。
计数要领：当声明一个变量并将一个援用范例值赋给该变量时，则这个值的援用次数就是1，假如统一个值被赋给另一个变量，则该值的援用次数加1，相反，包括这个值援用的变量又取的另一个值，则这个值的援用次数减1。

援用计数的严重题目——轮回援用
轮回援用指的是对象A中包括一个指向对象B的指针，而对象B中也包括一个指向对象A的援用。

当涌现轮回援用的时候，援用次数永久不能够为0，这会致使内存得不到接纳。

解决要领：手动断开不需要的援用，即，将援用对象置为null

马上实行渣滓接纳函数

IE中：window.CollectGarbage()

Opera7或更高版本：window.opera.collect()

治理内存

• 分派给web浏览器的可用内存数目一般要比分派给桌面运用递次的少
• 关于浏览器而言，确保占用起码的内存能够让页面取得更好的机能。
• 优化内存占用的最好体式格局，就是为实行中的代码只保存必要的数据，一旦数据不再有效，最好经由历程将其值设置为null来开释其援用，这个做法叫做消除援用。这一做法适用于大多数全局变量和全局对象的属性，部分变量会在它们脱离实行环境时自动被消除援用。