this 是函数运行时,在函数体内部自动生成的一个对象,只能在函数体内部使用。
教科书般的解释,字都认识,怎么连在一起还是不知道啥意思呢?
1 this的值究竟是什么呢?
函数的不同场合,this有不同值。
总的来说,this就是函数运行时所在的环境对象。
1.1 简单函数调用
函数的最通常用法,属全局性调用,因此this就代表全局对象。
看下面案例
1.2 作为对象方法的调用
函数还可以作为某个对象的方法调用,这时this就指这个上级对象。
记住一条:当function被作为method调用时,this指向调用对象。另外,JavaScript并不是OO的,而是object based的一种语言。
1.3 构造函数
所谓构造函数,就是通过这个函数,可以生成一个新对象。这时,this就指这个新对象。
上面两套代码等效 可以写class test,但本质上new test()的时候,还是test构造函数,差不多,class主要是向java之类的语言抄的,可以直接当java的类用,但本质上test还是个构造函数,因为js一开始就没有class 只能用构造函数,函数test运行时,内部会自动有一个this对象可以使用。
运行结果为1。为了表明这时this不是全局对象,我们对代码做一些改变:
运行结果为2,表明全局变量x的值根本没变。
1.4 apply 调用
apply()是函数的一个方法,作用是改变函数的调用对象。它的第一个参数就表示改变后的调用这个函数的对象。因此,这时this指的就是这第一个参数。
apply()的参数为空时,默认调用全局对象。因此,这时的运行结果为0,证明this指的是全局对象。
如果把最后一行代码修改为
运行结果就变成了1,证明了这时thishttps://www.yaoruanwen.com/n/463960.html代表的是对象obj。
2 深入内存分析
学懂 JavaScript 语言,一个标志就是理解下面两种写法,可能有不一样的结果。
上面代码中,虽然obj.foo和foo指向同一个函数,但是执行结果可能不一样。请看下面的例子。
对于obj.foo()来说,foo运行在obj环境,所以this指向obj
对于foo()来说,foo运行在全局环境,所以this指向全局环境。所以,两者的运行结果不一样。
为什么会这样?函数的运行环境到底是谁决定的?为什么obj.foo()就是在obj环境执行,而一旦var foo = obj.foo,foo()就变成全局环境执行了?
带着灵魂的思考,我们深入解析下
2.1 内存布局
上面的代码将一个对象赋值给变量obj.
JS 引擎会先在内存里面,生成一个对象{ foo: 5 },然后把这个对象的内存地址赋值给变量obj。
变量obj是一个地址(reference)。后面如果要读取obj.foo,引擎先从obj拿到内存地址,然后再从该地址读出原始的对象,返回它的foo属性。
原始的对象以字典结构保存,每一个属性名都对应一个属性描述对象。举例来说,上面例子的foo属性,实际上是以下面的形式保存的。
{
foo: {
[[value]]: 5
[[writable]]: true
[[enumerable]]: true
[[configurable]]: true
}
}
注意,foo属性的值保存在属性描述对象的valuehttps://www.yaoruanwen.com/n/463970.html属性里面。
3 函数
这样的结构是很清晰的,问题在于属性的值可能是一个函数。
引擎会将函数单独保存在内存中,然后再将函数的地址赋值给foo属性的value属性
{ foo: {
[[value]]: 函数的地址
…
}
}
由于函数是一个单独的值,所以它可以在不同的环境(上下文)执行。
4 环境变量
JavaScript 允许在函数体内部,引用当前环境的其他变量。
上面代码中,函数体里面使用了变量x。该变量由运行环境提供。
现在问题就来了,由于函数可以在不同的运行环境执行,所以需要有一种机制,能够在函数体内部获得当前的运行环境(context)。所以,this就出现了,它的设计目的就是在函数体内部,指代函数当前的运行环境。
上面代码中,函数体里面的this.xhttps://www.yaoruanwen.com/n/463969.html就是指当前运行环境的x。
var f = function () { console.log(this.x);
}var x = 1;var obj = { f: f, x: 2,
};// 单独执行f() // 1// obj 环境执行obj.f() // 2
上面代码中,函数f在全局环境执行,this.x指向全局环境的x。
在obj环境执行,this.x指向obj.x。
回到本文开头提出的问题,obj.foo()是通过obj找到foo,所以就是在obj环境执行。一旦var foo = obj.foo,变量foo就直接指向函数本身,所以foo()就变成在全局环境执行。
Java内存模型,Java Memory Model,我个人更喜欢“Java存储模型”的译法。
介绍
如前所述,JVM被设计成一台抽象的虚拟计算机,JVM的并发问题及解决方案与物理计算机中的并发问题有很多相似之处。
由于现代计算机的内存与CPU在运算速度上的巨大差别,通常会加入一层更接近CPU读写速度的高速缓存(Cache),将运算使用到的数据复制到Cache中,让运算能加速进行,运算结束后再从Cache同步回内存之中。这个设计解决了速度的矛盾,也带来了一个新的问题:缓存一致性。在多CPU系统中,每个CPU都有自己的Cache,它们共享同一主内存,当多个CPU的运算任务涉及同一块内存区域时,就可能导致各自的Cache数据不一致。对此又设计了“缓存一致性协议”,https://www.yaoruanwen.com/n/463973.html如MESI,要求各个CPU在读写Cache时,都遵循这些协议进行操作,以解决缓存数据不一致的问题。“内存模型”(Memory Model),就是在特定的协议下,对特定的高速缓存读写访问过程进行抽象。不同架构的物理机器拥有不一样的内存模式,而Java虚拟机也有自己的内存模型,其基础原理是共通的。
此外,为了充分利用CPU的运算单元,可能会对输入代码进行乱序执行优化,只保证执行结果的一致性,但不保证各语句的计算顺序与输入代码一致。Java虚拟机的即时编译器也有类似的指令重排序优化。
Java语言规范中试图定义一种Java内存模型,以实现Java程序在各种平台上能达到一致的内存访问效果,为多线程的同步和避免数据争用提供一套有效平衡高吞吐与一致性的保障机制。
什么是Java内存模型
一个内存模型描述的是,给定程序的某个特定的执行轨迹(trace)是否是该程序的一个合法执行。Java内存模型检查执行轨迹中的每次读操作,以及根据特定规则,校验该读操作观察到的写是否合法。内存模型描述了一个程序的可预期行为,具体实现时拥有充分的自由度去生成需要的代码,只要其最终执行结果可经由内存模型进行推测。
通俗地讲,Java内存模型(JMMhttps://www.yaoruanwen.com/n/463980.html)定义了一系列规则,以确保某一线程的写操作能正确呈现给其他线程。JMM并没有描述多线程该如何执行,而是描述多线程允许的行为。
JMM规定了所有的共享变量都存储在JVM的主内存中。每条线程有自己的工作内存,用于保存该线程用到的变量的主内存副本拷贝(具体实现通常不会拷贝整个对象),线程对变量的操作全部在工作内存中进行,不能直接读写主内存中的变量。不同的线程间也无法直接访问对方的工作内存,线程间变量值的传递需要通过主内存来完成。
关于主内存和工作内存之间的具体交互协议,即一个变量如何从主内存拷贝到工作内存、如何从工作内存同步回主内存之类的实现细节,JMM定义了8种操作(lock,unlock,read,load,use,assign,store,write),虚拟机实现时必须保证以上每一种操作都是原子的、不可再分的。
共享变量/堆内存:能够在线程间共享的内存称作“共享内存或堆内存”。所有的实例域、静态域以及数组元素都存储在堆内存中。方法中的局部变量永远不会被线程间共享,也不会受内存模型影响。我们也无需关心线程内动作,每个单线程都应遵守正确的线程内语义。
线程间的动作:线程间的动作是由某一线程执行,能被另一线程探测或直接影响的动作。包括:
共享变量的读/写
同步动作https://www.yaoruanwen.com/n/463976.html (synchronization action)
lock/unlock某个monitor;
读写某个volatile变量
启动一个线程
与外部交互的动作
导致某个线程进入无限循环的动作(thread devergence action)
延伸阅读
本文参考了《深入理解Java虚拟机》、《JSR-133-Memory Model》,有充裕时间的同学可以去完整过一遍,但原文有较多艰涩难懂之处。这里做了较大的裁剪,隐藏更深一层的信息,以求对Java内存模型能有一个快速又不过于浅显的了解。更多的概念和规则:
缓存一致性,Cache Coherence,MESI协议
Instruction Reorderhttps://www.yaoruanwen.com/n/463983.html,指令重排序
Happens-Before 关系规则
As-If-Serial ,线程内串行的语义
Memory Barrier,内存屏障