共计 4087 个字符,预计需要花费 11 分钟才能阅读完成。
自计算机宇宙诞生以来,有很多大神通者在这里开天辟地,开创了很多界,有 C、C++、Java 等世界,它们彼此相连,其中有一处叫做 JavaScript 的世界,自被开辟以来吸引了很多修行者来此修炼。JS 界由 ES、DOM、BOM 组成。
话说这一日,齐云道长慕名来到 JS 界,刚入此界,便被界中三座大山吸引,分别名曰:作用域闭包、原型链继承、异步。相传此三山中藏着 js 界的创世本源。道长便在此闭关,静心感悟。
时间一晃就是数月,齐云早已把 js 界基本情况了解了,不过至于三座大山里隐藏的谜团却迟迟没有头绪。苦闷之中,坐在山上看日出日落,观星辰变化。斗转星移之间,齐云感慨万物变化奇妙,口中念起了老君的《道德经》:道生一,一生二,二生三,三生万物,万物负阴而抱阳。却突然露出了笑容:“怎么没早点想到呢,道衍万物。就是在主宇宙也是生于大道,更何况在这 js 世界呢”。
相传当年布兰登十天造此界,应该也是按照这个思路来的。万物都从无产生,此界也是无中生有,0 和 1 是计算机宇宙中的阴阳,界中万物都是由此衍化。再定下八卦五行,此界便可运转繁衍不息。以往大部分人都是从基本的语法开始感悟,今天我从 null 开始推演。
了解宇宙本源之后,齐云此时心中有了明悟,仿佛看到了这个世界被创造和不断完善的样子。
虽然 js 经过几次的升级,拥有更强大的功能,不过最初 js 只是用来做简单的数据验证。。后来在 ECMA-262 中定义了 ES,才提供了核心语言功能。
开天辟地是第一步,这个天地就叫引擎。最早只有创始人布兰登在网景时开辟的 SpiderMonkey,之后诸神又开辟了几处不同的天地,JScript(IE6,IE7, IE8)、Chakra(IE9,IE10, IE11, IE Edge)、SpiderMonkey(Firefox)、JavaScriptCore(Safari)、V8(Chrome)。不同空间的环境略有不同,但 js 子民大多可以在这几处天地下都能生存,只不过生活节奏工作效率不一样(引擎性能不同)。更有平行天地 Node 等。天地既有了,便可以创造万物以及定下此界的规则。万物由代码组成,我们不可能一下子把万物都生成,只需要创造出最基本的元素和种类,之后让他们衍生万物。
组成代码的五行:变量、操作符、控制语句、对象、函数。变量:不给强制规定类型,可以说是世界最平等的事了,不管你本身什么类型,它都平等对待你,不过麻烦倒也很多。。函数:创造了不少默认的行为规则,toString()、get()、set()就好像人会吃饭睡觉的行为一样,被规定的。
这里只是化用五行,仅仅代表最基本的五种元素,并没有相生相克这些。
基本元素有了,怎么利用这些元素组成无数的代码,这些代码又如何丰富世界呢? 只有道衍生的规则能办到,就好像四季更迭,花开花落一般。生与死,对与错。规则之一:语法。它规定了区分大小写、标识符、注释、严格模式、操作符、语句、对象的形式、函数定义。规则之二:数据类型和数据类型的转化,好比水变成冰规则之三:作用域,上下文,闭包。它描述变量存储的规律,细看 js 修仙之作用域闭包一文规则之四:原型链规则。它是 JS 界本源之一。有著名的 this 规则规则之五:异步规则。异步操作是为了改善单线程规则之等等:。。。还有很多规则,例如错误处理等。详看 ECMAScript 标准
借助八卦,将 js 中八种事物融合进来,相互配合,组成运转的 JS 界。乾代表引擎,坤代表回收机制,震代表构造函数,巽代表引用类型,坎代表执行语句,离代表编译器,艮代表异步,兑代表同步。
乾为天,坤为地,离为太阳,坎为月亮,四卦不停准转有了 event loop,有了代码生成编译销毁,事件处理,好比四季循环。之后又有了了震雷,雷动生巽风,雷风相薄,构造函数和引用类型互相影响,艮山兑水,同步异步在 event loop 中在运转。
和其他 OO 世界一样,JS 也是对象的世界。对象拥有着属性和方法。属性就是特征,方法就是行为。有了这些对象就能动起来了,仿佛拥有了生命一样。我们不可能一下子创造出所有的对象,只有先造出第一批对象,它们是 JS 对象老祖,负责繁衍教化万民。JS 世界对象有自己的特点,它们当中有普通对象和函数对象。函数对象地位较高,属于一等公民,它们可以被调用,还修行一种独特的法术,叫做原型之体。原型之体与函数之体通过 prototype 和 constructor 相连。本体通过 prototype 可以获取原型之体的能力,原型之体则通过 constructor 表明自己函数之体的身份。
虽然 typeof function a(){}返回的是 ’function’ 不是 ’object’, 这是因为函数确实有一些特殊的属性,因此用 typeof 来区分函数和其他对象是有必要的有人说 JS 中万物皆对象,事实上是错误的,因为 (string、boolean、number、number、undefined) 本身不是对象,而是基本类型如 a =2。
在每个对象中都存在一块印记, 叫 [[prototype]],它是对象的血脉之力,有着惊人的作用,当发动血脉之力时,可以发挥先祖之力,甚至可以使出先天对象的法术。有如此大的威力,主要因为对象的[[prototype]] 印记连接的是父辈的原型之体!而父辈之体也有属于自己的血脉之力,因此后辈对象中有遇到自己解决不了的问题时,血脉之力会触发,帮助它们渡过难关。
有一个特殊的对象 Object.prototype,它是这个世界所有对象的智慧之祖,所有的对象都继承了它的智慧。另一个重要的对象是 Function.prototyp,它拥有了关于函数对象的智慧,并且它也继承了 Object.prototype 的智慧。这两个对象我称它们为先天对象,是 JS 根基对象,它们高高在上,是万象之根。而且它们是 Object 和 Function 对象的原型之体,神通广大,原型之体术就是它们最先练就。Function 掌管着函数对象,Object 掌管着原型之体和普通对象。几乎所有的函数都是引用类型 Function 的实例,几乎所有的对象都是 Object 的实例 Function.prototype 继承了 Object.prototype(虽然会出现覆盖),Object 的血脉又连接 Function,可以说这两位是其他 JS 对象共同的老祖。
Function.prototype.__prototype === Object.prototype
Object.__prototype === Function.prototype
在某对象中找不到要找的属性时,就会沿着原型链网上找。从 ECMAScript6 开始,[[Prototype]]可以通过 Object.getPrototypeOf()和 Object.setPrototypeOf()访问器来访问,这个等同于 JS 的非标准但许多浏览器实现的属性__proto__
全局的 Function 对象没有自己的属性和方法,继承于 Function.prototype,因此 Function.prototype 是不能被修改的。Function.prototype 还有个特殊的身份,它也是个函数,简直是深藏不露。
console.log(Function.prototype)
[Function]
剩下的一些对象组成了长老会,它们分别是 Array、Date、RegExp、String、Math、Error 等,以及后面加入的 Set、Map 等几位长老。长老们拥有各自的神通和家族。例如 Array 长老擅长操作数组,有 sort、slice 等神通,而 Math 长老有 random 神通。不过它们也都是 Object 和 Fucntion 的部下。每个长老的函数之体源自 Function,继承了 Function.prototype 的神通。而它们的原型之体继承了 Object.prototype 的智慧。
对象是引用类型的实例,通过 new 加构造函数可以创造新对象,后来先天对象 Object 又感悟了 Object.create 之法,也可以创造新的对象。
事实上,根本没有构造函数,或者人人都是构造函数。当且仅当使用 new 时,函数调用会变成构造函数调用。
JS 界的老祖,长老会及长老会门下关系如下:
可以看到两位老祖高高在上,受万众仰视。它们与多位长老一样,函数体通过蓝色箭头 prototype 指向原型之体。原型之体通过灰色线 constructor 连接函数之体, 后代子孙而血脉之力由 [[prototype]] 沿着橙色线,找到了父对象(构造函数)的原型之体,父对象或长老们的原型之体的血脉是绿色的线,指向了 Object.prototype。
duke.__proto__ === Sub.prototype
Sub.prototype.__proto__ = == Object.prototype
————————————————-
Sub.__proto__ === Function.prototype
Function.prototype.__proto__ === Object.prototype
至此,我们可以这么归纳:1. 所有对象都有隐式原型[[prototype]],它指向了创造它的构造函数的原型对象,一直连接到 Object.prototype, 而 Object.prototype 也有隐式原型,而它指向 Null,当访问一个对象的属性找不到时,会沿原型链向上找,找到了会返回,找不到就会继续向上知道 null 会返回 undefined。
2. 几乎所有函数都是 Function 的实例,为了符合这个规则,Function 的隐式原型指向的是它的原型对象。
易是包罗万象,一切事物和现象都可以装进这个模式里,易是变化的,不管代码如何复杂,都是符合最基本的规则,易虽然变化,但大道是永恒的,变化之道是不变的。JS 的世界也是这样,不管由多复杂的代码组成的程序,也都得遵循最基本的变量声明语法,也要符合原型的设计模式,也都得按照既定的规则来编写。所以,明白这个 JS 界的一界本源,才能在这里畅游天地之间。
个人博客