JavaScript之自我总结篇

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了JavaScript之自我总结篇相关的知识,希望对你有一定的参考价值。

最近在看汤姆大叔的"深入理解JavaScript系列",写得真的不错,对于我而言特别是12章到19章,因为大叔研究的点,就主要是从底层来研究javascript为什么会出现钟种特有的语言现象,所以学习了大叔的文章后,再结合《高程》,自己对JavaScript的认知也更明白了,以前好多地方是知其然而不知其所以然,你要问我JavaScript为什么会出现这些现象,我也只能说这是它语言本身的特性嘛。

以下是看了大叔Javascript系列(12到19章)的自我总结。

注:总结中掺杂了个人的观点以及理解层度,所以有什么错误的地方,还请不吝指教。 

一、深入理解JavaScript系列(12)之变量对象: 

在大叔这章中,大叔提到了一个概念就是‘变量对象(varibale object)’

‘变量对象’,是与执行上下文有关的,因为JavaScript在执行表达式时,总得知道相应的变量存储在哪吧?不然怎么获取或改变对应的变量值呢?

所以引入了一个‘变量对象’的概念。

都说了是对象嘛,就是以键值对的方式,存储到变量对象中咯。

1、 在进入执行上下文时,‘变量对象’VO

(1)会将函数的所有形参(如果我们是在函数执行上下文),以形参名和其对应的值作为变量对象的属性,如果形参没有对应的值,就是undefined咯。

(2)会将所有函数声明,以函数名和对应的函数对象作为变量对象的属性。如果,变量对象中已经存在了相同名称的属性,就完全替代。

(3)会将所有变量声明,以变量名和其对应值(undefined)作为变量对象的属性。如果变量名称与上述(1)、(2)中的形参名或函数名撞车了,则变量声明不会去影响        存在的这类属性。

且,在上面提到,变量对象与执行上下文有关,那么它们究竟什么关系呢?

分两种情况:

一种情况就是在进入任何执行上下文之前就创建的对象,此乃全局对象(Global object)global;

另一种就是,我们都知道在JavaScript中作用域是以函数function为基准的,所以函数的变量对象其实就是执行上下文对象;

具体见以下两幅图:

 

                   图一

 

                   图二

注:函数中的变量对象是不能访问的。

那为什么全局中的变量对象能访问呢?

因为可以通过this或者window,因为window是全局变量global的一个属性,且引用了global。这也就是为什么在全局变量中访问标识符时,用this或者直接访问标识符时,会比用window快的原因。

2、 在执行代码时

变量对象VO,已经在进入上下文时,做了预处理。So,接下来就是根据具体的代码改变对应的值了。

二、深入理解JavaScript系列(13)之This:

说到this,简单点嘛就是由调用者决定的,谁调用的就是谁。

如下:

function fn(){
    console.log(this);
};
var foo = {
    bar: fn
};
//输出的this指向foo
foo.bar();

但JavaScript底层到底是个怎样的处理机制呢?

在大叔的这章中,引入了一个‘引用类型(Reference type)’的概念。

引用类型(Reference type),使用伪代码可以将其表示为拥有两个属性的对象:

----base,即拥有属性的那个对象;

----propertyName,即属性名,从而可以获取相应的值。

如下:

且,要返回引用类型的值,只存在两种情况:

1、  处理一个标识符时;

2、  处理属性访问器( . 或 [ ] )时.

注意:只有两种情况哦,要从引用类型中得到一个属性值嘛,还需要一步,就是底层调用GetValue方法,从‘引用类型’对象中得到对应属性值的值。

咦,讲了这么多和this有什么相关?

直接摘至大叔:

 

好了,如果理解了上面的流程,下面的几个例子中this也就OK啦。

\'use strict\';
var foo = {
    bar: function(){
        console.log(this);
    }
};
foo.bar();//this为foo
(foo.bar)();//this为foo (foo.bar = foo.bar)();//this为undefined (false || foo.bar)();//this为undefined (foo.bar, foo.bar)();//this为undefined
三、深入理解JavaScript系列(14)之作用域链:

作用域链是上下文所有‘变量对象(varibale object)’的列表,提到‘变量对象’,so此链用来变量查询。且函数上下文的作用域链在函数调用时创建,包含活动对象和这个函数内部的[[scope]]属性,而这个[[scope]]属性是所有父变量对象的层级链,在函数创建时存在其中,且不会改变,即,函数一旦创建了,无论你调或不调用,[[scope]]已存储在函数对象中了。

当函数被调用时,进入执行上下文activeExecutionContext,其中包含Scope属性,即作用域链。

作用域链(Scope)在上下文中具体见下:

activeExecutionContext = {
    VO:{...},//or AO
    this: thisValue,
    Scope/*Scope chain*/: [
        AO + [[Scope]]
    ]
}

Scope又包含变量对象和函数的 [[scope]]属性。

当我们解析一个标识符(标识符是变量名,函数名,函数参数名和全局对象中未识别的属性名)时,解析过程将沿着这条链(Scope)去查找,查到就返回它的值,如果在Scope这条链中,没有找到相应的值,就会沿着全局对象这条原型链去查找,因为函数活动对象没有原型。

例子如下:

\'use strict\';
function foo(){
    function bar(){
        console.log(x);
    };
bar(); }; Object.prototype.x
= 10; this.__proto__.x = 200; foo();//x为200

另外:通过函构造函数创建的函数的[[scope]]属性总是唯一的全局对象.

四、深入理解Javascript系列(15)之函数:
函数声明与函数表达式的区别:

函数声明,在‘变量对象’章中已经知道,在进入执行上下文时,会将所有的函数声明以键值对的形式存储到变量对象VO中。

但,

函数表达式不会添加到变量对象VO中,且在代码执行阶段创建,用完后立刻销毁。命名函数表达式也一样哦,因为它是表达式嘛。

例如:

<!DOCTYPE html>
    <head>
        <title>JavaScript</title>
        <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
    </head>
    <body>
        <script>
            \'use strict\';
            (function foo(x){
                console.log(x);
            }(1));
            foo(2);//此时会报错:foo is not defined
        </script>
    </body>
</html>

执行以上代码,chrome效果图如下:

和函数表达式不一样么,用完即刻销毁。那命名函数表达式有什么用呢?

命名函数表达式,可以通过名称递归自己嘛。

但,刚才不是说命名函数表达式和函数表达式都不会添加到变量对象VO中吗?那它怎么通过名称自己调用自己的?

当解释器在代码执行阶段,遇到命名的函数表达式,解释器将创建一个辅助的特定对象,并添加到当前作用域链的最顶端。然后创建函数表达式,然后将命名函数表达式的名字添加到这个辅助的特定对象中,且值为该函数引用,当命名函数表达式在其自身调用时,它就在这个特定的对象中找到自己。最后,当命名函数表达式执行完成后,从父作用域链中移除那个辅助的特定对象。

具体算法见下:

五、深入理解JavaScript系列(16)之闭包:

因为作用域链,从而使得所有的函数都是闭包。

但,有一类函数比较特殊,那就是通过Function构造器创建的函数,因为其[[Scope]]只包含全局对象。

ECMAScript中,闭包指的是:

1、从理论角度:所有的函数。

    因为它们都在创建的时候,就将上层上下文的数据保存起来了。哪怕是最简单的全局变量也是如此,因为函数中访问的全局变量就相当于是访问自由变量,这个时候使用最外层     的作用域。

2、从实践角度:以下函数才算闭包:

   (1)、即时创建它的上下文已经销毁,它任然存在(比如,内部函数从父函数中返回);

   (2)、在代码中引用了自由变量。

给出一段经典的代码:

var data = [];
for( var k = 0; k < 3; k++){
    data[k] = function(){
        alert(k);
    };
};
data[0]();// 3,而不是0
data[1]();// 3,而不是1
data[2]();// 3,而不是2

常用的解决方法是,通过闭包,如下:

var data = [];
for( var k = 0; k < 3; k++){
    data[k] = (function _helper(x){
        return function(){
            alert(x);
        };
    })(k);//传入"k"值
};
//现在结果正确了
data[0]();// 0
data[1]();// 1
data[2]();// 2

除了闭包,我们还可以怎么解决呢?

如下:

var data = [];
for( var k = 0; k < 3; k++){
    (data[k] = function(){
        alert(arguments.callee.x);
    }).x = k;//将k作为函数的一个属性
};
//结果也是对的
data[0]();// 0
data[1]();// 1
data[2]();// 2

但是arguments.callee在ECMAScript5中的严格模式下是不能用的,所以我们可以用命名函数表达式来做。

如下:

var data = [];
for( var k = 0; k < 3; k++){
    (data[k] = function foo(){
        alert(foo.x);
    }).x = k;//将k作为函数的一个属性
};
//结果也是对的
data[0]();// 0
data[1]();// 1
data[2]();// 2
六、其他:

ECMAScript中将对象作为参数传递的策略——按共享传递:修改参数的属性将会影响到外部,而重新赋值将不会影响到外部对象。

其实不仅是参数传递,其他都是这样的策略(对象都是赋予地址值)。

如下:

var foo = {};
//b其实是添加到function对象中的,而不是foo.a中的,因为foo.a只是引用了function,即得到了它的地址而已
(foo.a = function(){

}).b = 10;
//得到10
console.log(foo.a.b);
//将foo.a赋值予变量c
var c = foo.a;
//改变foo.a的值,如一个空对象
foo.a = {};
//输出c.b,还是得到10
console.log(c.b);

数组也是一个对象,所以如果我将数组中的元素指向带有this的函数,那么其指向的是数组对象。

//声明变量arr,并赋值为数组
var arr = [];
//给arr数组的第一二个元素赋值
arr[0] = function(){
    console.log(this);
    //因为this指向的是arr对象,所以this[\'1\']或this[1],就相当于arr[1]
    this[\'1\']();
};
arr[1] = function(){
    console.log("I\'m 1 ");
};
//this指向的是arr对象
arr[0]();

 好了,时间也不早了,晚安~

以上是关于JavaScript之自我总结篇的主要内容,如果未能解决你的问题,请参考以下文章

前端总结之JavaScript篇

python之基础篇——模块与包

48个值得掌握的JavaScript代码片段(上)

Java进阶篇 设计模式之十四 ----- 总结篇

LeetCode与《代码随想录》数组篇:做题笔记与总结-JavaScript版

JavaScript面试题之代码篇