深入理解javascript函数

My_Oh_My 发布于2019-08-19 17:53 / 391人阅读

摘要：函数是对象理解函数是对象，是准确理解函数的第一步。在中，函数对象和其他对象一样，均被视为一等公民。当函数执行完毕，其执行环境从栈中弹出并销毁。此时的函数充当构造器的角色。调用函数对象的方法并将结果赋给。

函数是javascript中最重要的内容，也是其相对其他语言来说在设计上比较有意思的地方。javascript许多高级特性也或多或少和函数相关。本文将以函数为中心，对函数的各个关键知识点做简要介绍。

函数是对象

理解函数是对象，是准确理解函数的第一步。下面的代码就创建了一个函数对象。

var sum = new Function("num1", "num2", "return num1 + num2;");

每个函数都是Function类型的实例。Function构造函数可以接受多个参数，最后一个参数是函数体，其他参数均为函数的形参。由于其书写的不优雅和两次解析导致的性能问题，这种方式不经常被采用，但是这种写法对于理解函数就是对象是非常有帮助的。一般地，我们都用字面的方式来创建函数。

var sum = function(num1, num2){
    return num1 + num2;
}
//或者
function sum(num1, num2){
    return num1 + num2;
}

以上两种定义函数的方法分别叫做函数表达式和函数声明，两者的效果是等价的，区别在于解析器向执行环境加载数据时对两者的处理不一样。解析器会率先读取函数声明来创建函数对象，保证其在任何代码执行之前可用；对于函数表达式，则必须等到解析器执行到对应的代码行，函数对象才被创建。

在javascript中，函数对象和其他对象一样，均被视为一等公民。所以函数可以被引用、可以作为参数被传递或作为返回值返回，这使得函数的使用非常的灵活。

函数的执行

函数对象代表了一个过程，和大多数语言一样通过函数调用表达式可以调用这个过程。但是javascript的函数对象还提供了另外两种调用方式，call和apply方法。call和apply方法的第一个参数用于指定执行环境中this的绑定，后面的参数用于指定函数的实际参数。call和apply的唯一区别是实参的形式不一样，call是用逗号分割，apply则是以数组传递。例如：

//函数调用表达式
sum(1, 2);
//call方法
sum.call(this, 1, 2);
//apply方法
sum.apply(this, [1, 2]);

不管用哪种调用方式，最终都是通过函数对象的[[Call]]方法实际调用这个过程。[[Call]]方法是javascript引擎内部使用的一个方法，程序不能直接访问它。[[Call]]方法接受两个参数，第一个参数指定this的绑定值，第二个参数指定函数的参数列表。为了表达方便，后面我们将[[Call]]方法的第一个参数称作thisArg。函数对象的call方法和apply方法可以显示指定thisArg，函数表达式则是隐式指定这个参数的。例如：

var foo = function(){
    console.log(this);
};
var obj = {name:"object"};
foo();
obj.foo = foo;
obj.foo();

代码在浏览器的执行结果如下：

Window {top: Window, window: Window, location: Location...}
Object {name: "object", foo: function}

从执行结果可以看出，obj.foo()这种调用方法，隐式将调用它的对象obj作为了thisArg。但是为什么foo()这种调用方式this的绑定值是window这个全局对象?难道foo()这种调用方式将全局对象默认指定为thisArg？其实不是这样的。thisArg并不是和this关键字的绑定一一对应的，其中有一个转换过程。如下：
1.如果thisArg为undefined或者null，则this的绑定为全局对象。
2.如果thisArg不是Object类型，则将thisArg强制转型为Object类型并绑定到this。
3.否则this的绑定就为thisArg。
其实foo()这种调用方式thisArg的值为undefined，通过以上的转换过程将this绑定为全局对象。

执行环境与闭包

前面提到过执行环境(Execution Context)这个概念，简单来说执行环境就是函数在执行时所依赖的一个数据环境，它决定了函数的行为。程序执行流每次进入函数代码时都会创建一个新的执行环境。活动的执行环境在逻辑上形成了一个栈的结构。当函数执行完毕，其执行环境从栈中弹出并销毁。

每个执行环境都包含一个重要的组件：词法环境(Lexical Environment)。词法环境定义了javascript程序标识符到变量或函数的关联关系。词法环境包含了环境记录(Environment Record)和一个到外层词法环境的引用(如果有的话，否则为null)。环境记录记录了当前作用域下的变量或函数的绑定情况。有两种类型的环境记录，声明式环境记录(Declarative Environment Records)和对象环境记录(Object Environment Records)。声明式环境记录包含了当前作用域下标识符到变量声明和函数声明的绑定。对象环境记录是一个和特定对象绑定的环境记录，用于临时改变标识符的解析情况，比如在with子句中。

函数对象都有一个[[Scope]]属性，函数对象在创建时会将当前执行环境的词法环境的值赋予给[[Scope]]属性。这个属性是引擎的内部属性，程序无法访问到它。当程序流进入到函数时，javascript引擎会创建新的执行环境，同时也创建对应的词法环境。引擎会将当前作用域声明的变量和函数绑定到词法环境，同时将[[Scope]]属性的引用也添加到词法环境。程序在进行标识符解析的时候，会优先从当前的词法环境中搜索，搜索失败则向外层词法环境搜索，如果到最外层的全局环境还没搜索到则会抛出异常。

嵌套定义的函数会形成javascript中一个有趣的特性：闭包。闭包的形成是由于内层函数引用了外层函数在创建它时的词法环境。即使外层函数已经返回，执行环境已经销毁，但是内层函数依然能够通过词法环境的引用访问外层函数中定义的变量或函数。

with和catch子句

with子句和catch子句都能临时改变当前的词法环境。他们的方式是有些区别的。先看with子句。

function foo(){
    var background = "#ccc";
    with(document){
        body.style.background = background;
    }
}

当执行流进入foo时，这时会创建一个声明式词法环境。执行流进入with子句的时候，引擎会创建一个对象环境记录。此时with子句中的标识符解析都会先从document这个对象中查找。当with子句执行完之后，对象环境记录销毁。

try{
//do something
}catch(e){
//handel error
}

catch子句也能临时改变当前的词法环境。和with子句不一样的是，它会创建一个声明式词法环境，将catch子句中的参数绑定到这个词法环境。

构造器与原型继承

函数对象还有个非常重要的内部方法[[Construct]]，当我们将new操作符应用到函数对象时就调用了[[Construct]]方法。此时的函数充当构造器的角色。下面的代码就通过[[Construct]]创建了一个对象。

var Dog = function(){
}
var dog = new Dog();

[[Construct]]方法的执行过程如下。
1.创建一个空对象obj。
2.设置obj的内部属性[[Class]]为Object。
3.设置obj的内部属性[[Extensible]]为true。
4.设置obj的[[Prototype]]属性：如果函数对象prototype的值为对象则直接赋给obj，否则赋予Object的prototype值。
5.调用函数对象的[[Call]]方法并将结果赋给result。
6.如果result为对象则返回result,否则返回obj。

每个javascript对象都有一个[[Prototype]]的内部属性，[[Prototype]]的值为一个对象，叫做原型对象。当程序在访问javascript对象的某个属性时，首先会在当前对象中搜索，搜索失败则到原型链中搜索，直到搜索到相应值，否则就为undefined。javascript的这种特性叫做原型继承。[[Construct]]方法的第四步是实现原型继承的关键，它指定了javascript对象的[[Prototype]]属性。

var Dog = function(){
}
var animal ＝ {};
Dog.prototype = animal;
var dog = new Dog();

上面代码创建出来的dog对象的原型就为animal，它“继承”了animal对象的属性。原型继承是另外一种面向对象的模型，相对于“类”的继承模型来说，原型继承更加符合我们的现实世界的模型。原型继承在javascript也是有非常广的用途。

结语

函数这条线将javascript许多核心内容串起来了，个人觉得这也是javascript最有意思的地方。本文主要是根据Ecma-262第五版规范中相关内容进行的总结和整理，由于能力有限，如有理解上的错误，望批评指出。

GPU云服务器云服务器深入理解javascript 深入理解系列深入理解linux 深入理解webrtc

文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。

转载请注明本文地址：https://www.ucloud.cn/yun/78932.html

深入理解JavaScript

摘要：深入之继承的多种方式和优缺点深入系列第十五篇，讲解各种继承方式和优缺点。对于解释型语言例如来说，通过词法分析语法分析语法树，就可以开始解释执行了。 JavaScript深入之继承的多种方式和优缺点 JavaScript深入系列第十五篇，讲解JavaScript各种继承方式和优缺点。写在前面本文讲解JavaScript各种继承方式和优缺点。但是注意：这篇文章更像是笔记，哎，再让我...

myeveryheart 2019-08-22 13:46 评论0 收藏0
深入理解javascript中的立即执行函数(function(){…})()

摘要：要理解立即执行函数，需要先理解一些函数的基本概念。函数表达式使用关键字声明一个函数，但未给函数命名，最后将匿名函数赋予一个变量，叫函数表达式，这是最常见的函数表达式语法形式。 javascript和其他编程语言相比比较随意，所以javascript代码中充满各种奇葩的写法，有时雾里看花，当然，能理解各型各色的写法也是对javascript语言特性更进一步的深入理解。 ( functio...

melody_lql 2019-08-20 15:28 评论0 收藏0
【进阶2-2期】JavaScript深入之从作用域链理解闭包

摘要：使用上一篇文章的例子来说明下自由变量进阶期深入浅出图解作用域链和闭包访问外部的今天是今天是其中既不是参数，也不是局部变量，所以是自由变量。（关注福利，关注本公众号回复[资料]领取优质前端视频，包括Vue、React、Node源码和实战、面试指导）本周正式开始前端进阶的第二期，本周的主题是作用域闭包，今天是第7天。本计划一共28期，每期重点攻克一个面试重难点，如果你还不了解本进阶计...

simpleapples 2019-08-23 13:47 评论0 收藏0
ES6-7

摘要：的翻译文档由的维护很多人说，阮老师已经有一本关于的书了入门，觉得看看这本书就足够了。前端的异步解决方案之和异步编程模式在前端开发过程中，显得越来越重要。为了让编程更美好，我们就需要引入来降低异步编程的复杂性。 JavaScript Promise 迷你书（中文版）超详细介绍promise的gitbook，看完再不会promise...... 本书的目的是以目前还在制定中的ECMASc...

mudiyouyou 2019-08-21 18:40 评论0 收藏0
JavaScript深入浅出

摘要：理解的函数基础要搞好深入浅出原型使用原型模型，虽然这经常被当作缺点提及，但是只要善于运用，其实基于原型的继承模型比传统的类继承还要强大。中文指南基本操作指南二继续熟悉的几对方法，包括，，。商业转载请联系作者获得授权，非商业转载请注明出处。怎样使用 this 因为本人属于伪前端，因此文中只看懂了 8 成左右，希望能够给大家带来帮助....（据说是阿里的前端妹子写的） this 的值到底...

blair 2019-08-21 18:26 评论0 收藏0
【Javascript】深入理解this作用域问题以及new/let/var/const对this作

摘要：理解作用域高级程序设计中有说到对象是在运行时基于函数的执行环境绑定的在全局函数中，等于，而当函数被作为某个对象调用时，等于那个对象。指向与匿名函数没有关系如果函数独立调用，那么该函数内部的，则指向。理解this作用域《javascript高级程序设计》中有说到: this对象是在运行时基于函数的执行环境绑定的：在全局函数中，this等于window，而当函数被作为某个对象调用时，t...

snowLu 2019-08-23 17:14 评论0 收藏0