ES5 之原型(一)

本文会分为上下两篇。上篇会讲 ES5 相关的东西, 下篇会讲 ES6 相关的东西。

函数声明 和 函数表达式

既然是讲类,那不得不从函数开始讲起,以及涉及到到的原型链相关的东西。我们写第一个 hellowworld 时的场景不知道你们还记不记得。

function HelloWorld() {
  console.log("hello world");
}
var HelloWorld = function () {
  console.log("hello world");
};

函数声明 与 函数表达式 的最主要区别就是函数名称, 在函数表达式中能够忽略它,从而创建匿名函数,一个匿名函数可以被用作一个 IIFE(即时调用的函数表达式), 一旦它定义就运行。 注意点: 函数表达式没有提升,不像函数声明, 你在定义函数表达式之前不能使用函数表达式。

obj();

const obj = function () {
  console.log("obj");
};

//ReferenceError: Cannot access 'obj' before initialization

如果想再函数体内部引用当前函数, 则需要创建一个命名函数表达式。 然后函数名称将会作为函数体(作用于)的本地变量。

被函数表达式赋值的那个变量会有一个 name 属性, 如果我们直接调用这个跟函数名有区别吗?

对象方法、 类方法、 原型方法

  1. 对象方法包括构造函数中的方法以及构造函数原型上面的方法。

  2. 类方法,相当于函数,可以为其添加函数属性及方法。

  3. 原型方法一般用于对象实例共享,比如

在原型上面添加该方法,就能实现共享。这样就不用每一次初始化一个实例的时候,为其分配相应的内存了。

原型链

每一个切图仔最开始接触前端,最头疼的就是原型与原型链相关的东西。那么我们先来梳理下。

原型是什么?

在 JavaScript 中原型是一个 prototype 对象,用于表示类型之间的关系。

原型链是什么?

JavaScript 万物都是对象,对象和对象之间也有关系,并不是孤立存在的。对象之间的继承关系,在 JavaScript 中是通过 prototype 对象指向父类对象,直到指向 Object 对象为止,这样就形成了一个原型指向的链条,专业术语称之为原型链。

在我们学习之前先来看几个问题理清几个概念

prototype 和 proto

其实在 JavaScript 代码还没有运行的时候,JavaScript 环境已经有一个 window 对象 window 对象有一个 Object 属性, window.Object 是一个函数对象. window.Object 这个函数对象有一个重要的属性是 prototype.

obj.prototype

obj 变量指向一个空对象,这个空对象有个 _proto 属性指向 window.Object.prototype 调用 obj.toString()的时候,obj 本身没有 toString,就去 obj.proto 上面去找 toString 所以你调用 obj.toString 的时候,实际上是调用 window.Object.prototype.toString

我们在看这个例子:

arry._proto

arr.proto 指向 window.Array.prototype。 这样当你在调用 arr.push 的时候,arr 自身没有 push 属性,就上去 arr.proto 上找。最终找到 push 方法。如果是 arr.valueOf 呢,arr 自身没有,Array.prototype 也没有, 那么他会去 arr.proto.proto 就是 window.Object.prototype, 所以 arr.valueOf 其实就是 window.Object.valueOf

所以我们可以得出如下概念:

prototype 是构造函数的属性,构造函数也是对象。 而 proto 是对象的属性, 函数的 prototype 是个一对象, 对象的 proto 属性指向原型, proto 将对象和原型连接起来组成了原型链。

  • Object 是所有对象的爸爸, 所有对象都可 proto 指向

  • Function 是所有函数的爸爸, 所有函数都可以通过 proto 找到它

他们的区别:

  • prototype 是让你知道用什么属性

  • proto 是让你知道都有什么属性

constructor 和 prototype

原型(prototype)是构造函数的一个属性,是一个对象。constructor 是绑在实例上面的,不是绑在原型链上面的。,constructor 则代表实例拥有的方法。可以浅显的认为 prototype 向下指, constructor 向上指, 这里的向上指代表的是往父类或者原型上面。

构造函数

在前面说过,prototype 是让你知道用什么属性,Object.prototype 指的是 Object 类原型的 constructor 方法。

构造函数实例出来的对象,可以得到构造函数对象中的属性,方法。等等还有一个什么 proto。我们仔细点进去,有两个东西 constructor: Bottle()。这是因为我们是由 Bottle,new 出来。我们在继续点下去,还有_proto: 的 constructor: Object()。

原型链

这是我们构造函数的方法, 我们添加下面东西 看能输出什么

通过构造函数生成的实例对象时,会自动为实例对象分配原型对象。每个构造函数都有一个 prototype 属性,这个属性就是实例对象的原型对象。

原型对象上的所有属性和方法, 都能被派生对象共享。

注意:需注意的是在上面的代码中,我们将 Person.prototype 设置为一个新创建的对象。会导致 Person.prototype 对象原来的 constructor 属性不再指向 Person, 这里可以像上面那样,特意的把 constructor 设置为 Person 。

当构造函数自定义的属性名与该构造函数下原型属性名相同时,构造函数的自定义属性优先于原型属性(可以把构造函数理解为内联样式), 而原型属性或者原型方法可以看做是 class)

所以在这里简单总结下构造函数、原型、隐式原型和实例的关系:每个构造函数都有一个原型属性(prototype),该属性指向构造函数的原型对象;而实例对象有一个隐式原型属性(proto),其指向构造函数的原型对象(obj.proto==Object.prototype);同时实例对象的原型对象中有一个 constructor 属性,其指向构造函数。

由于 prototype 是通过函数名,指到其他内存空间独立的函数体,因此没法取得闭包的作用域变量。

继承 多态 封装

//todo

子类继承父类( js 的 6 种继承方式)

1.直接继承 prototype

缺点是 Student.prototype 和 Person.prototype 现在都指向同一个对象了,那么任何对 Student.prototype 修改, 都会映射到 Person.prototype 上。

  1. 借用构造函数继承

call/apply 将 子类 的 this 传给 父类 , 再将 父类的属性绑定到 子类 的 this 上。

instanceof 运算符可以用来判断某个构造函数的 prototype 属性是否存在另外一个要检测对象的原型链上.

这种在构造函数内部借用函数而不借助原型继承的方式被称之为 借用构造函数式继承. 但是这样做的缺点就是没有继承 Person 的原型方法和属性。

ES5.JS:103 Uncaught TypeError: std1.sayHello is not a function

  1. 组合寄生式

先看下面代码

4.空对象

以上继承方式或多或少都有点缺点,那么我们有没有完美的解决方案呢

5.最佳组合方式

继承方式

① 原型链继承

  • 每一个构造函数都有一个原型对象

  • 原型对象又包含一个指向构造函数的指针

  • 而实例则包含一个原型对象的指针


但是第一种方式的缺点是,子类的实例共享了父类的引用属性,这样当一个子类的实例修改了这个引用属性,就会影响到另一个子类的实例。

② 构造函数继承(借助 call)

盗用构造函数的另一个优点就是可以给父构造函数传递参数。

它的优点: 使父类的引用属性不会被共享 它的缺点是 只能继承父类的实例、属性和方法,不能继承原型属性和方法

③ 组合继承

④ 原型式继承

  • 是用作新对象原型的对象

  • 是为新对象定义额外属性的对象(可选参数)

⑤ 寄生式继承

使用原型式继承可以获得一份目标对象的浅拷贝,然后利用这个浅拷贝的能力在进行增强,添加一些方法。

寄生式继承相比于原型式继承还是在父类基础上添加了更多的方法

⑥ 寄生组合式继承

ES5 方式的实现方式(最佳实践)

最佳实践其实就是在组合继承的基础上修改原型继承的方式,封装 inheritPrototype 函数,专门处理子类继承父类的原型逻辑.inheritPrototype 函数。

多态

JavaScript 的多态,我们先看百度百科的介绍:多态(Polymorphism)按字面的意思就是“多种状态”。 在面向对象语言中,接口的多种不同的实现方式即为多态。 多态的优点

  1. 扩展性强

  2. 消除类型之间的耦合关系

  3. 接口性

  4. 可替换行

存在的三个必要条件

  • 继承

  • 重写

  • 父类引用指向子类对象

封装

最后更新于

这有帮助吗?