前端面试必考—JavaScript变量提升和函数提升详解

前言

变量是前端日常中使用的最频繁的语法。在开发过程，虽然知道怎么用，但是却不知道为什么，比如变量提升。

变量提升和函数提升在前端面试中经常会考察到，下面介绍它们是如何形成的以及有什么区别。

前置知识

在了解变量提升前，需要先了解一下js的执行过程，js执行分为两个过程：

1. 词法分析阶段：词法分析主要包括：分析形参、分析变量声明、分析函数声明三个部分。通过词法分析将我们写的js代码转成可以执行的代码，接下来才是执行。
2. 执行阶段。

一般来说变量和函数会在使用之前就会声明，但是也可以在使用之后再进行声明，这是因为函数声明和变量声明总是会被解释器悄悄地被"提升"到方法体的最顶部。被提升的操作就处于第一步的词法分析阶段。

变量提升(Hoisting)

• 只有声明被提升，初始化不会被提升
• 声明会被提升到当前作用域的顶端

例子1

console.log(num); // undefined
var num;
num = 6;

预编译后

var num;
console.log(num); // undefined
num = 6; // 初始化不会被提升

例子2

num = 6;
console.log(num); // 6 =》 提升了 var sum
var num;

预编译后

var num;
num = 6;
console.log(num); // 6

例子3

console.log(num); // undefined
var num = 6;

预编译后

var num;
console.log(num);
num = 6;

例子4

function hoistVariable() {
  if (!foo) {
    var foo = 5;
  }
  console.log(foo); // 5
}

hoistVariable();

预编译后

function hoistVariable() {
  var foo     // 将if语句内的声明提升
  if (!foo) { // !undefined = true
    foo = 5;
  }
  console.log(foo); // 5
}

hoistVariable();

例子5

var foo = 3;
function hoistVariable() {
  var foo = foo || 5;
  console.log(foo); // 5
}
hoistVariable();

预编译后

var foo = 3;
function hoistVariable() {
  var foo
  foo = foo || 5; // 此时 等号右侧 foo 为 undefined
  console.log(foo); // 5
}
hoistVariable();

函数提升

• 函数声明和初始化都会被提升
• 函数表达式不会被提升

例子1：函数声明可被提升

console.log(square(5)); // 25
function square(n) {
  return n * n;
}

预编译后

function square = (n) {
  return n * n;
}
console.log(square(5)); // 25

例子2：函数表达式不可被提升

console.log(square); // undefined
console.log(square(5)); // square is not a function =》 初始化并未提升，此时 square 值为 undefined
var square = function (n) { 
  return n * n; 
}

预编译后

var square
console.log(square); // undefined =》赋值没有被提升
console.log(square(5)); // square is not a function =》 square 值为 undefined 故报错
square = function (n) { 
  return n * n; 
}

例子3

function hoistFunction() {
  foo(); // 2
  var foo = function() {
    console.log(1);
  };
  foo(); // 1
  function foo() {
    console.log(2);
  }
  foo(); // 1
}

hoistFunction();

预编译后

function hoistFunction() {
  var foo
  foo = function foo() {
    console.log(2);
  }
  foo(); // 2
  foo = function() {
      console.log(1);
  };
  foo(); // 1
  foo(); // 1
}

hoistFunction();

优先级

• 函数提升在变量提升之前

1. 变量的问题，莫过于声明和赋值两个步骤，而这两个步骤是分开的。
2. 函数声明被提升时，声明和赋值两个步骤都会被提升，而普通变量却只能提升声明步骤，而不能提升赋值步骤。
3. 变量被提升过后，先对提升上来的所有对象统一执行一遍声明步骤，然后再对变量执行一次赋值步骤。而执行赋值步骤时，会优先执行函数变量的赋值步骤，再执行普通变量的赋值步骤。

先解析，再按顺序执行

例子1

typeof a; // function
function a () {}
var a;
// typeof a; // function  =》无论放在前面还是后面，解析后执行顺序都是一样

预编译后

function a  // => 声明一个function a
var a       // =》 声明一个变量 a
a = () {}   // => function a 初始化
typeof a;   // function

例子2

function b(){};
var b = 11;
typeof b; // number

预编译后

function b;  // => 声明一个function b
var b;       // =》 声明一个变量 b
b = (){};    // =》 function b 初始化
b = 11;      // =》 变量 b 初始化 =》变量初始化没有被提升，还在原位
typeof b;    // number

例子3：结合自执行函数

var foo = 'hello';
(function(foo){
  console.log(foo);
  var foo = foo || 'world';
  console.log(foo);
})(foo);
console.log(foo);
// 依次输出 hello hello hello

预编译后

var foo = 'hello';
(function (foo) {
    var foo;  // undefined;
    foo= 'hello'; //传入的foo的值
    console.log(foo); // hello
    foo = foo || 'world';// 因为foo有值所以没有赋值world
    console.log(foo); //hello
})(foo);
console.log(foo);// hello，打印的是var foo = 'hello' 的值（变量作用域）