JavaScript 核心概念解析：从基础类型到闭包

null 与 undefined 的区别

1.null 与 undefined

当从对象中获取属性，且该对象及其原型链上均不存在该属性时，返回值即为 undefined。若函数未通过 return 显式返回任何值，其默认返回值为 undefined；但在使用 new 关键字调用构造函数时存在例外情况。JavaScript 函数允许声明任意数量的形式参数，若实际调用时传入的参数数量少于声明的数量，未传入的形式参数值将默认为 undefined。null 代表空对象引用，需注意其与空对象字面量 {} 的区别。简而言之，变量声明后若未赋值，其值为 undefined；若用于表示对象类型的空引用，则使用 null。

if 表达式中的类型转换规则

2.if 表达式

在条件判断中，null 和 undefined 均被视为假值（false）。数值类型中，0、-0 以及 NaN 为假，其余数值为真。字符串类型中，空字符串为假，非空字符串为真。对象类型在布尔上下文中始终被视为真值（true）。

Array 的实现原理

3.Array

JavaScript 中的数组（Array）与 Java 或 C/C++ 等传统编程语言的数组存在显著差异。JavaScript 中的对象本质上是无序的关联数组，而 Array 正是利用这一特性实现。在 JavaScript 中，Array 实际上是一个对象，其属性名为整数索引，并包含 length 等额外属性以及 splice 等方法，从而提供便捷的数组操作功能。

new 运算符与 prototype 机制

4.new 运算符

JavaScript 不使用 Java 中的 class 概念，而是采用构造器（constructor）模式来创建对象。通过 new 表达式调用构造器即可创建新对象。由构造器创建的对象内部包含一个隐式引用，指向该构造器的 prototype 属性。

5.prototype

prototype 是 JavaScript 原型继承的核心机制。开发者常在类库中看到如 Array.prototype.push.call() 这样的用法，其本质在于 prototype 本身是一个对象。通过 prototype，开发者可以为原生类添加实用方法，或实现继承机制。若对 prototype 感兴趣，可在 Firefox 浏览器中通过 __proto__ 属性访问指定对象的原型链。

执行上下文与作用域链

6.scope chain

执行上下文（execution context）是 ECMAScript 规范中描述 JavaScript 代码执行过程的抽象概念。所有 JavaScript 代码均在特定的执行上下文中运行。当在当前执行上下文中调用函数时，会创建并进入一个新的执行上下文；函数执行结束后，控制权返回原执行上下文。若函数调用过程中抛出未捕获的异常，可能从多个执行上下文中退出。函数调用期间可能嵌套调用其他函数，从而形成新的执行上下文，最终构成执行上下文栈。

注：若对作用域链（scope chain）感兴趣，可在 Firefox 中通过 __parent__ 属性访问函数的作用域链。需注意的是，Firefox 的 SpiderMonkey 引擎对该属性的支持尚不完善，在处理内部函数时可能出现错误，因此建议使用 Rhino 引擎（http://developer.mozilla.org/en/docs/Rhino）。

注：此处需特别关注函数表达式与函数声明对作用域链的不同影响。

闭包的应用与注意事项

7.closure

闭包是 JavaScript 中常用的特色功能。在 Java 等语言中，函数执行完毕后内部变量通常会被回收；而在 JavaScript 中，通过特定机制可使已执行函数的内部变量持续存在并可访问，从而形成闭包。闭包具有两面性：虽然带来便利，但也可能导致内存泄漏，因此需合理应用。若欲深入学习闭包，建议研究 Prototype、jQuery、MooTools 等 JavaScript 库中的经典应用，例如 bind 方法，此处不再赘述。