{"action":"created","issue":{"url":"https://api.github.com/repos/mqyqingfeng/Blog/issues/7","repository_url":"https://api.github.com/repos/mqyqingfeng/Blog","labels_url":"https://api.github.com/repos/mqyqingfeng/Blog/issues/7/labels{/name}","comments_url":"https://api.github.com/repos/mqyqingfeng/Blog/issues/7/comments","events_url":"https://api.github.com/repos/mqyqingfeng/Blog/issues/7/events","html_url":"https://github.com/mqyqingfeng/Blog/issues/7","id":223998815,"node_id":"MDU6SXNzdWUyMjM5OTg4MTU=","number":7,"title":"JavaScript深入之从ECMAScript规范解读this","user":{"login":"mqyqingfeng","id":11458263,"node_id":"MDQ6VXNlcjExNDU4MjYz","avatar_url":"https://avatars3.githubusercontent.com/u/11458263?v=4","gravatar_id":"","url":"https://api.github.com/users/mqyqingfeng","html_url":"https://github.com/mqyqingfeng","followers_url":"https://api.github.com/users/mqyqingfeng/followers","following_url":"https://api.github.com/users/mqyqingfeng/following{/other_user}","gists_url":"https://api.github.com/users/mqyqingfeng/gists{/gist_id}","starred_url":"https://api.github.com/users/mqyqingfeng/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mqyqingfeng/subscriptions","organizations_url":"https://api.github.com/users/mqyqingfeng/orgs","repos_url":"https://api.github.com/users/mqyqingfeng/repos","events_url":"https://api.github.com/users/mqyqingfeng/events{/privacy}","received_events_url":"https://api.github.com/users/mqyqingfeng/received_events","type":"User","site_admin":false},"labels":[{"id":589911408,"node_id":"MDU6TGFiZWw1ODk5MTE0MDg=","url":"https://api.github.com/repos/mqyqingfeng/Blog/labels/%E6%B7%B1%E5%85%A5%E7%B3%BB%E5%88%97","name":"深入系列","color":"0e98a2","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":134,"created_at":"2017-04-25T02:06:20Z","updated_at":"2018-07-11T12:03:27Z","closed_at":null,"author_association":"OWNER","body":"## 前言\r\n\r\n在《JavaScript深入之执行上下文栈》中讲到，当JavaScript代码执行一段可执行代码(executable code)时，会创建对应的执行上下文(execution context)。\r\n\r\n对于每个执行上下文，都有三个重要属性\r\n\r\n* 变量对象(Variable object，VO)\r\n* 作用域链(Scope chain)\r\n* this\r\n\r\n今天重点讲讲 this，然而不好讲。\r\n\r\n……\r\n\r\n因为我们要从 ECMASciript5 规范开始讲起。\r\n\r\n先奉上 ECMAScript 5.1 规范地址：\r\n\r\n英文版：[http://es5.github.io/#x15.1](http://es5.github.io/#x15.1)\r\n\r\n中文版：[http://yanhaijing.com/es5/#115](http://yanhaijing.com/es5/#115)\r\n\r\n让我们开始了解规范吧！\r\n\r\n## Types\r\n\r\n首先是第 8 章 Types：\r\n\r\n>Types are further subclassified into ECMAScript language types and specification types.\r\n\r\n>An ECMAScript language type corresponds to values that are directly manipulated by an ECMAScript programmer using the ECMAScript language. The ECMAScript language types are Undefined, Null, Boolean, String, Number, and Object.\r\n\r\n>A specification type corresponds to meta-values that are used within algorithms to describe the semantics of ECMAScript language constructs and ECMAScript language types. The specification types are Reference, List, Completion, Property Descriptor, Property Identifier, Lexical Environment, and Environment Record.\r\n\r\n我们简单的翻译一下：\r\n\r\nECMAScript 的类型分为语言类型和规范类型。\r\n\r\nECMAScript 语言类型是开发者直接使用 ECMAScript 可以操作的。其实就是我们常说的Undefined, Null, Boolean, String, Number, 和 Object。\r\n\r\n而规范类型相当于 meta-values，是用来用算法描述 ECMAScript 语言结构和 ECMAScript 语言类型的。规范类型包括：Reference, List, Completion, Property Descriptor, Property Identifier, Lexical Environment, 和 Environment Record。\r\n\r\n没懂？没关系，我们只要知道在 ECMAScript 规范中还有一种只存在于规范中的类型，它们的作用是用来描述语言底层行为逻辑。\r\n\r\n今天我们要讲的重点是便是其中的 Reference 类型。它与 this 的指向有着密切的关联。\r\n\r\n## Reference\r\n\r\n那什么又是 Reference ？\r\n\r\n让我们看 8.7 章 The Reference Specification Type：\r\n\r\n>The Reference type is used to explain the behaviour of such operators as delete, typeof, and the assignment operators. \r\n\r\n所以 Reference 类型就是用来解释诸如 delete、typeof 以及赋值等操作行为的。\r\n\r\n抄袭尤雨溪大大的话，就是：\r\n\r\n>这里的 Reference 是一个 Specification Type，也就是 “只存在于规范里的抽象类型”。它们是为了更好地描述语言的底层行为逻辑才存在的，但并不存在于实际的 js 代码中。\r\n\r\n再看接下来的这段具体介绍 Reference 的内容：\r\n\r\n>A Reference is a resolved name binding. \r\n\r\n>A Reference consists of three components, the base value, the referenced name and the Boolean valued strict reference flag. \r\n\r\n>The base value is either undefined, an Object, a Boolean, a String, a Number, or an environment record (10.2.1). \r\n\r\n>A base value of undefined indicates that the reference could not be resolved to a binding. The referenced name is a String.\r\n\r\n这段讲述了 Reference 的构成，由三个组成部分，分别是：\r\n\r\n* base value\r\n* referenced name\r\n* strict reference\r\n\r\n可是这些到底是什么呢？\r\n\r\n我们简单的理解的话：\r\n\r\nbase value 就是属性所在的对象或者就是 EnvironmentRecord，它的值只可能是 undefined, an Object, a Boolean, a String, a Number, or an environment record 其中的一种。\r\n\r\nreferenced name 就是属性的名称。\r\n\r\n举个例子：\r\n\r\n```js\r\nvar foo = 1;\r\n\r\n// 对应的Reference是：\r\nvar fooReference = {\r\n    base: EnvironmentRecord,\r\n    name: 'foo',\r\n    strict: false\r\n};\r\n```\r\n\r\n再举个例子：\r\n\r\n```js\r\nvar foo = {\r\n    bar: function () {\r\n        return this;\r\n    }\r\n};\r\n \r\nfoo.bar(); // foo\r\n\r\n// bar对应的Reference是：\r\nvar BarReference = {\r\n    base: foo,\r\n    propertyName: 'bar',\r\n    strict: false\r\n};\r\n```\r\n\r\n而且规范中还提供了获取 Reference 组成部分的方法，比如 GetBase 和 IsPropertyReference。\r\n\r\n这两个方法很简单，简单看一看：\r\n\r\n1.GetBase\r\n\r\n>GetBase(V). Returns the base value component of the reference V.\r\n\r\n返回 reference 的 base value。\r\n\r\n2.IsPropertyReference\r\n\r\n>IsPropertyReference(V). Returns true if either the base value is an object or HasPrimitiveBase(V) is true; otherwise returns false.\r\n\r\n简单的理解：如果 base value 是一个对象，就返回true。\r\n\r\n## GetValue\r\n\r\n除此之外，紧接着在 8.7.1 章规范中就讲了一个用于从 Reference 类型获取对应值的方法： GetValue。\r\n\r\n简单模拟 GetValue 的使用：\r\n\r\n```js\r\nvar foo = 1;\r\n\r\nvar fooReference = {\r\n    base: EnvironmentRecord,\r\n    name: 'foo',\r\n    strict: false\r\n};\r\n\r\nGetValue(fooReference) // 1;\r\n```\r\n\r\nGetValue 返回对象属性真正的值，但是要注意：\r\n\r\n**调用 GetValue，返回的将是具体的值，而不再是一个 Reference**\r\n\r\n这个很重要，这个很重要，这个很重要。\r\n\r\n## 如何确定this的值\r\n\r\n关于 Reference 讲了那么多，为什么要讲 Reference 呢？到底 Reference 跟本文的主题 this 有哪些关联呢？如果你能耐心看完之前的内容，以下开始进入高能阶段：\r\n\r\n看规范 11.2.3 Function Calls：\r\n\r\n这里讲了当函数调用的时候，如何确定 this 的取值。\r\n\r\n只看第一步、第六步、第七步：\r\n\r\n>1.Let *ref* be the result of evaluating MemberExpression.\r\n\r\n>6.If Type(*ref*) is Reference, then\r\n\r\n>       a.If IsPropertyReference(ref) is true, then\r\n\r\n>           i.Let thisValue be GetBase(ref).\r\n\r\n>       b.Else, the base of ref is an Environment Record\r\n\r\n>           i.Let thisValue be the result of calling the ImplicitThisValue concrete method of GetBase(ref).\r\n>7.Else, Type(*ref*) is not Reference.\r\n\r\n>       a. Let thisValue be undefined.\r\n\r\n让我们描述一下：\r\n\r\n1.计算 MemberExpression 的结果赋值给 ref\r\n\r\n2.判断 ref 是不是一个 Reference 类型\r\n\r\n    2.1 如果 ref 是 Reference，并且 IsPropertyReference(ref) 是 true, 那么 this 的值为 GetBase(ref)\r\n\r\n    2.2 如果 ref 是 Reference，并且 base value 值是 Environment Record, 那么this的值为 ImplicitThisValue(ref)\r\n\r\n    2.3 如果 ref 不是 Reference，那么 this 的值为 undefined\r\n\r\n## 具体分析\r\n\r\n让我们一步一步看：\r\n\r\n1. 计算 MemberExpression 的结果赋值给 ref\r\n\r\n什么是 MemberExpression？看规范 11.2 Left-Hand-Side Expressions：\r\n\r\nMemberExpression :\r\n\r\n* PrimaryExpression // 原始表达式 可以参见《JavaScript权威指南第四章》\r\n* FunctionExpression    // 函数定义表达式\r\n* MemberExpression [ Expression ] // 属性访问表达式\r\n* MemberExpression . IdentifierName // 属性访问表达式\r\n* new MemberExpression Arguments    // 对象创建表达式\r\n\r\n举个例子：\r\n\r\n```js\r\nfunction foo() {\r\n    console.log(this)\r\n}\r\n\r\nfoo(); // MemberExpression 是 foo\r\n\r\nfunction foo() {\r\n    return function() {\r\n        console.log(this)\r\n    }\r\n}\r\n\r\nfoo()(); // MemberExpression 是 foo()\r\n\r\nvar foo = {\r\n    bar: function () {\r\n        return this;\r\n    }\r\n}\r\n\r\nfoo.bar(); // MemberExpression 是 foo.bar\r\n\r\n```\r\n\r\n所以简单理解 MemberExpression 其实就是()左边的部分。\r\n\r\n2.判断 ref 是不是一个 Reference 类型。\r\n\r\n关键就在于看规范是如何处理各种 MemberExpression，返回的结果是不是一个Reference类型。\r\n\r\n举最后一个例子：\r\n\r\n```js\r\nvar value = 1;\r\n\r\nvar foo = {\r\n  value: 2,\r\n  bar: function () {\r\n    return this.value;\r\n  }\r\n}\r\n\r\n//示例1\r\nconsole.log(foo.bar());\r\n//示例2\r\nconsole.log((foo.bar)());\r\n//示例3\r\nconsole.log((foo.bar = foo.bar)());\r\n//示例4\r\nconsole.log((false || foo.bar)());\r\n//示例5\r\nconsole.log((foo.bar, foo.bar)());\r\n```\r\n\r\n### foo.bar()\r\n\r\n在示例 1 中，MemberExpression 计算的结果是 foo.bar，那么 foo.bar 是不是一个 Reference 呢？\r\n\r\n查看规范 11.2.1 Property Accessors，这里展示了一个计算的过程，什么都不管了，就看最后一步：\r\n\r\n>Return a value of type Reference whose base value is baseValue and whose referenced name is propertyNameString, and whose strict mode flag is strict.\r\n\r\n我们得知该表达式返回了一个 Reference 类型！\r\n\r\n根据之前的内容，我们知道该值为：\r\n\r\n```js\r\nvar Reference = {\r\n  base: foo,\r\n  name: 'bar',\r\n  strict: false\r\n};\r\n```\r\n\r\n接下来按照 2.1 的判断流程走：\r\n\r\n>2.1 如果 ref 是 Reference，并且 IsPropertyReference(ref) 是 true, 那么 this 的值为 GetBase(ref)\r\n\r\n\r\n该值是 Reference 类型，那么 IsPropertyReference(ref) 的结果是多少呢？\r\n\r\n前面我们已经铺垫了 IsPropertyReference 方法，如果 base value 是一个对象，结果返回 true。\r\n\r\nbase value 为 foo，是一个对象，所以 IsPropertyReference(ref) 结果为 true。\r\n\r\n这个时候我们就可以确定 this 的值了：\r\n\r\n```js\r\nthis = GetBase(ref)，\r\n```\r\n\r\nGetBase 也已经铺垫了，获得 base value 值，这个例子中就是foo，所以 this 的值就是 foo ，示例1的结果就是 2！\r\n\r\n唉呀妈呀，为了证明 this 指向foo，真是累死我了！但是知道了原理，剩下的就更快了。\r\n\r\n### (foo.bar)()\r\n\r\n看示例2：\r\n\r\n```js\r\nconsole.log((foo.bar)());\r\n```\r\n\r\nfoo.bar 被 () 包住，查看规范 11.1.6 The Grouping Operator \r\n\r\n直接看结果部分：\r\n\r\n>Return the result of evaluating Expression. This may be of type Reference.\r\n\r\n>NOTE This algorithm does not apply GetValue to the result of evaluating Expression. \r\n\r\n实际上 () 并没有对 MemberExpression 进行计算，所以其实跟示例 1 的结果是一样的。\r\n\r\n### (foo.bar = foo.bar)()\r\n\r\n看示例3，有赋值操作符，查看规范 11.13.1 Simple Assignment ( = ): \r\n\r\n计算的第三步：\r\n\r\n>3.Let rval be GetValue(rref).\r\n\r\n因为使用了 GetValue，所以返回的值不是 Reference 类型，\r\n\r\n按照之前讲的判断逻辑：\r\n\r\n> 2.3 如果 ref 不是Reference，那么 this 的值为 undefined\r\n\r\nthis 为 undefined，非严格模式下，this 的值为 undefined 的时候，其值会被隐式转换为全局对象。\r\n\r\n### (false || foo.bar)()\r\n\r\n看示例4，逻辑与算法，查看规范 11.11 Binary Logical Operators：\r\n\r\n计算第二步：\r\n\r\n>2.Let lval be GetValue(lref).\r\n\r\n因为使用了 GetValue，所以返回的不是 Reference 类型，this 为 undefined\r\n\r\n### (foo.bar, foo.bar)()\r\n\r\n看示例5，逗号操作符，查看规范11.14 Comma Operator ( , )\r\n\r\n计算第二步：\r\n\r\n>2.Call GetValue(lref).\r\n\r\n因为使用了 GetValue，所以返回的不是 Reference 类型，this 为 undefined\r\n\r\n### 揭晓结果\r\n\r\n所以最后一个例子的结果是：\r\n\r\n```js\r\n\r\nvar value = 1;\r\n\r\nvar foo = {\r\n  value: 2,\r\n  bar: function () {\r\n    return this.value;\r\n  }\r\n}\r\n\r\n//示例1\r\nconsole.log(foo.bar()); // 2\r\n//示例2\r\nconsole.log((foo.bar)()); // 2\r\n//示例3\r\nconsole.log((foo.bar = foo.bar)()); // 1\r\n//示例4\r\nconsole.log((false || foo.bar)()); // 1\r\n//示例5\r\nconsole.log((foo.bar, foo.bar)()); // 1\r\n\r\n```\r\n\r\n注意：以上是在非严格模式下的结果，严格模式下因为 this 返回 undefined，所以示例 3 会报错。\r\n\r\n### 补充\r\n\r\n最最后，忘记了一个最最普通的情况：\r\n\r\n```js\r\nfunction foo() {\r\n    console.log(this)\r\n}\r\n\r\nfoo(); \r\n```\r\n\r\nMemberExpression 是 foo，解析标识符，查看规范 10.3.1 Identifier Resolution，会返回一个 Reference 类型的值：\r\n\r\n```js\r\nvar fooReference = {\r\n    base: EnvironmentRecord,\r\n    name: 'foo',\r\n    strict: false\r\n};\r\n```\r\n\r\n接下来进行判断：\r\n\r\n> 2.1 如果 ref 是 Reference，并且 IsPropertyReference(ref) 是 true, 那么 this 的值为 GetBase(ref)\r\n\r\n因为 base value 是 EnvironmentRecord，并不是一个 Object 类型，还记得前面讲过的 base value 的取值可能吗？ 只可能是 undefined, an Object, a Boolean, a String, a Number, 和 an environment record 中的一种。\r\n\r\nIsPropertyReference(ref) 的结果为 false，进入下个判断：\r\n\r\n> 2.2 如果 ref 是 Reference，并且 base value 值是 Environment Record, 那么this的值为 ImplicitThisValue(ref)\r\n\r\nbase value 正是 Environment Record，所以会调用 ImplicitThisValue(ref)\r\n\r\n查看规范 10.2.1.1.6，ImplicitThisValue 方法的介绍：该函数始终返回 undefined。\r\n\r\n所以最后 this 的值就是 undefined。\r\n\r\n## 多说一句\r\n\r\n尽管我们可以简单的理解 this 为调用函数的对象，如果是这样的话，如何解释下面这个例子呢？\r\n\r\n```js\r\nvar value = 1;\r\n\r\nvar foo = {\r\n  value: 2,\r\n  bar: function () {\r\n    return this.value;\r\n  }\r\n}\r\nconsole.log((false || foo.bar)()); // 1\r\n```\r\n\r\n此外，又如何确定调用函数的对象是谁呢？在写文章之初，我就面临着这些问题，最后还是放弃从多个情形下给大家讲解 this 指向的思路，而是追根溯源的从 ECMASciript 规范讲解 this 的指向，尽管从这个角度写起来和读起来都比较吃力，但是一旦多读几遍，明白原理，绝对会给你一个全新的视角看待 this 。而你也就能明白，尽管 foo() 和 (foo.bar = foo.bar)() 最后结果都指向了 undefined，但是两者从规范的角度上却有着本质的区别。\r\n\r\n此篇讲解执行上下文的 this，即便不是很理解此篇的内容，依然不影响大家了解执行上下文这个主题下其他的内容。所以，依然可以安心的看下一篇文章。\r\n\r\n## 下一篇文章\r\n\r\n[《JavaScript深入之执行上下文》](https://github.com/mqyqingfeng/Blog/issues/8)\r\n\r\n## 深入系列\r\n\r\nJavaScript深入系列目录地址：[https://github.com/mqyqingfeng/Blog](https://github.com/mqyqingfeng/Blog)。\r\n\r\nJavaScript深入系列预计写十五篇左右，旨在帮大家捋顺JavaScript底层知识，重点讲解如原型、作用域、执行上下文、变量对象、this、闭包、按值传递、call、apply、bind、new、继承等难点概念。\r\n\r\n如果有错误或者不严谨的地方，请务必给予指正，十分感谢。如果喜欢或者有所启发，欢迎star，对作者也是一种鼓励。\r\n"},"comment":{"url":"https://api.github.com/repos/mqyqingfeng/Blog/issues/comments/404144885","html_url":"https://github.com/mqyqingfeng/Blog/issues/7#issuecomment-404144885","issue_url":"https://api.github.com/repos/mqyqingfeng/Blog/issues/7","id":404144885,"node_id":"MDEyOklzc3VlQ29tbWVudDQwNDE0NDg4NQ==","user":{"login":"fengandzhy","id":34152012,"node_id":"MDQ6VXNlcjM0MTUyMDEy","avatar_url":"https://avatars3.githubusercontent.com/u/34152012?v=4","gravatar_id":"","url":"https://api.github.com/users/fengandzhy","html_url":"https://github.com/fengandzhy","followers_url":"https://api.github.com/users/fengandzhy/followers","following_url":"https://api.github.com/users/fengandzhy/following{/other_user}","gists_url":"https://api.github.com/users/fengandzhy/gists{/gist_id}","starred_url":"https://api.github.com/users/fengandzhy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fengandzhy/subscriptions","organizations_url":"https://api.github.com/users/fengandzhy/orgs","repos_url":"https://api.github.com/users/fengandzhy/repos","events_url":"https://api.github.com/users/fengandzhy/events{/privacy}","received_events_url":"https://api.github.com/users/fengandzhy/received_events","type":"User","site_admin":false},"created_at":"2018-07-11T12:03:27Z","updated_at":"2018-07-11T12:03:27Z","author_association":"NONE","body":"@hp0912 \r\n我问你一个问题哦，\r\nfunction fn(){\r\n    console.log(this.a)\r\n}\r\nvar b = {\r\n    a : \"5\",\r\n    c: fn\r\n}\r\n\r\nb.c();\r\n你看这个程序输出啥？ 5，对不对？为啥输出5？ 请参考博主的博文。你如果明白这个输出5，你就明白了为啥你的程序输出2？ \r\n你的程序中，此时的fn在哪里？在数组中，对不？那么我这个程序的fn在哪里？在b变量中，对不？那么好了，一个道理呀。\r\n"}}
{"actor":{"display_login":"fengandzhy"}}