【深入理解ES6】块级作用域绑定

1. var声明及变量提升机制

提升（Hoisting）机制：通过关键字var声明的变量，都会被当成在当前作用域顶部生命的变量。

function getValue(condition){
	if(condition){
		var value = "blue";
		console.log(value);
	}else{
		// 此处可访问变量value，其值为undefined
		return null
	}
	// 此处可访问变量value，其值为undefined
}

JavaScript引擎会将上面的getValue函数修改为下面这样。变量value的声明被提升至函数顶部，初始化操作依旧保留在原处执行。为此，ES6引入了块级作用域来强化对变量声明周期的控制。

function getValue(condition){
	var value;
	if(condition){
		value = "blue";
		console.log(value);
	}else{
		return null
	}
}

2. 块级声明

块级声明用于声明在指定块的作用域之外无法访问的变量。

块级作用域存在于：

• 函数内部
• 块中('{}'之间的区域)。

2.1. let声明

• 用法同var相同，但声明不会被提升；

• 禁止在同一作用域内重声明;

• 如果当前作用域内嵌另一个作用域，便可在内嵌的作用域中用let声明同名变量。

  function getValue(condition){
  if(condition){
  var value = "blue";
  console.log(value);
  }else{
  // 变量value在此处不存在
  return null
  }
  // 变量value在此处不存在
  }

  /*禁止重声明/

  var count = 30;
  // 抛出语法错误
  let count = 40;

  if(condition){
  // 不会抛出错误
  let count = 40;
  }

2.2. const声明

• 声明的是常量，必须初始化；

• 禁止在同一作用域内重声明；

• 不可再赋值（常量对象可修改值；

• const声明对象时，不允许修改绑定，但可修改值。

  // 有效的常量
  const maxItems = 30;
  // 语法错误，未初始化
  const name;

  if(condition){
  const cnt = 40;
  }
  // 在此处无法访问cnt

  let age = 20;
  // 抛出错误，重声明
  const age = 15；

  const pos = 30;
  // 抛出语法错误，不能重新赋值
  pos = 35;

  const person = {
  name: 'Nicholas'
  };
  // 可以直接修改对象属性的值
  person.name = 'Fleur';
  // 直接给person赋值，即要改变person的绑定，会抛出语法错误。
  person = {
  name: 'DpprZ'
  }

3. 临时死区（Temppral Dead Zone, TDZ）

由于 console.log(typeof value) 语句会抛出错误，因此用 let 定义并初始化变量 value 的语句不会执行。此时的 value 还位于 JavaScript 社区所谓的"临时死区"。TDZ 通常用来描述 let 和 const 的不提升效果。

if(condition){
	console.log(typeof value);  // 引用错误
	let value = 40;
}

console.log(typeof value);  // "undefined"
if(condition){
	let value = 40;
}

JS引擎扫描代码发现变量声明时：

• var声明：将他们提升至作用域顶部。
• let和const声明：将声明放在TDZ中。访问TDZ中的变量会触发运行时错误。只有执行过变睾声明语句后，变量才会从TDZ中移除，然后方可正常访问。

4. 循环中的块级作用域绑定

for循环中通过let将计数器变量限制在循环内部。

for(var i = 0; i < 10; i++){
	// 更多代码
}
// 在这里仍然可以访问变量i
console.log(i); // 10

for(let i = 0; i < 10; i++){
	// 更多代码
}
// i在这里不可访问，抛出错误
console.log(i); 

5. 循环中的函数、let声明、const声明

let funcs = [];
for(var i = 0; i < 10; i++){
    funcs.push(function(){
        console.log(i)
    })
}
/*
每个funcs[]中都存在一个函数：
	ƒ (){ console.log(i) }
*/
funcs.forEach(function(func){
    func(); // 10个10
})

因为这里的循环里的每次迭代同时共享着变量i，循环内部创建的函数都保留了对相同变量的引用。

解决该问题的两种方案：

在循环中使用立即调用函数表达式（IIFE），以强制生成计数器变量的副本。

let funcs = [];

for(var i = 0; i < 10; i++){
    funcs.push(function(value){
        return function(){
        	console.log(value)
        }
    })
}

funcs.forEach(function(func){
    func(); // 0 1 2 3......9
})

用let声明计数器：每次迭代循环都会创建一个新变量 i，并以之前迭代同名变量的值将其初始化。所以循环内部创建的每一个函数都能够得到属于自己的 i 的值。let 声明在循环内部的行为是标准中专门定义的，它不一定与let的不提升特性相关，理解这一点至关重要！

let funcs = [];

for(let i = 0; i < 10; i++){
    funcs.push(function(){
        console.log(i)
    })
}

funcs.forEach(function(func){
    func(); // 0 1 2 3...... 9
})

• let声明：声明计数器、for-in、for-of
• const声明：生命循环内不改变的值、for-in、for-of

6. 全局块作用域绑定

var、let、const在全局作用域中的行为区别：

var会创建一个新的变量作为全局对象（浏览器环境中的window对象），会无意中覆盖已存在的全局属性。

let、const会在全局作用域下创建一个新的绑定，但该绑定不会添加为全局对象的属性。换句话说，不能覆盖只是遮蔽。