JavaScript变量声明与作用域深度解析

JavaScript变量声明与执行顺序

在JavaScript中，变量声明语句具有特殊的执行特性：无论声明语句位于代码的哪个位置，它都会优先于其他代码逻辑被执行。使用var关键字声明的变量，其作用域限定为当前的执行上下文。如果该变量声明在函数内部，则属于局部变量；若声明在函数外部，则成为全局变量。

根据是否使用var关键字进行显式声明，变量可分为全局变量与局部变量。具体而言，定义在函数体之外的变量属于全局变量，而定义在函数体内的变量则属于局部变量。这种分类仅针对通过var关键字明确声明的变量。

JavaScript存在一种隐含的全局对象机制，即如果代码中使用了某个变量但未进行显式声明，该变量会自动成为全局对象的属性。例如，在函数内部直接赋值而不使用var声明的情况。

function test(){
myname = "huming";
alert(myname);
}
test();　　// "huming"
alert(myname);　　//"huming" 

上述示例的两个输出结果一致，均显示为"huming"。这证实了即使未在函数内部使用var声明，myname依然被识别为一个全局变量，其值可以在函数外部访问。

全局变量的显式与隐式区别

接下来探讨隐式全局变量与通过var明确定义的全局变量之间是否存在区别。答案是肯定的，具体差异可通过后续示例进行验证。

// 定义三个全局变量
var global_test = ;
global_test = ; // 反面教材
(function () {
global_test = ; // 反面教材
}());
// 试图删除
delete global_test; // false
delete global_test; // true
delete global_test; // true
// 测试该删除
alert(typeof global_test); // "number"
alert(typeof global_test); // "undefined"
alert(typeof global_test); // "undefined" 

通过对比示例可以看出：在函数外部通过var定义的global_test1无法被删除操作影响，而未使用var定义的global_test2和global_test3则可以被成功删除。这一规则适用于变量是在函数体内还是函数体外创建的情况。

综上所述，在函数外部通过var声明的全局变量具有不可删除的特性，而隐式全局变量（即未使用var声明直接赋值的变量）是可以被删除的。

Hoisting（变量提升）机制解析

需要特别注意JavaScript中的一种特殊行为，称为“hoisting”（悬置、置顶解析或预解析）。这一机制对变量的可见性和初始值有重要影响。

通过具体代码示例可以更清晰地理解这一机制。

var myname = "huming"; //声明全局变量
function test() {
alert(myname);
var myname = "local_huming";
alert(myname);
}
test();

预测两次alert的输出内容是否一致？显然不一致，否则无需特别讨论。实际运行结果分别为"undefined"和"local_huming"。

上述代码的实际执行逻辑等同于将变量声明提升至函数顶部。

var myname = "huming"; //声明全局变量
function test() {
　　var myname;
　　alert(maname);<br>　　myname = "local_huming";
　　alert(myname); // "local"
}
test(); 

第一次alert输出的myname并非预期的全局变量，而是与当前代码处于同一作用域（即同一个函数体）内的局部变量。尽管此时该变量尚未执行到赋值语句，但JavaScript引擎已将其视为已声明状态，初始值为undefined。这就是所谓的“hoisting”现象。

理解这一点后，可以得出结论：如果在函数体内先使用某个变量，随后又使用var重新声明该变量，可能会导致逻辑错误或意外的undefined值。

变量进入作用域的方式与优先级

基于上述原理，建议遵循以下代码书写规范。

function test() {
var a = ,
b = ,
c = a + b,
d = {},
e,
f;
// function body...
}

采用这种规范的主要好处包括：

第一，将所有局部变量的定义集中在函数开始处，便于代码查找和维护。

第二，有效防止变量在定义之前被使用的逻辑错误，确保程序行为的确定性。

在JavaScript中，一个变量名（name）可以通过四种方式进入作用域（scope）。

第一种是语言内置绑定，所有作用域中均包含this和arguments关键字。

第二种是形式参数，即函数的参数在整个函数作用域内均有效。

第三种是函数声明，通过function关键字定义的函数名。

第四种是变量声明，通过var关键字声明的变量。

上述列出的四种方式同时也代表了变量进入作用域的优先级顺序，从高到低排列。一旦某个变量名已被较高优先级的形式声明，它就不会被较低优先级的声明形式所覆盖。