知其然,知其所以然,JS 对象创建与继承

2022-09-19 10:33:53 浏览数 (1)


theme: awesome-green

持续创作,加速成长!这是我参与「掘金日新计划 · 6 月更文挑战」的第 30 天,点击查看活动详情

小序

在 6 月更文中零零散散讲了 JS 的对象创建和对象继承,有工友对此还是表示疑惑,要注意:这是两个不同但又相关的东西,千万别搞混了!

这些文章是:

  • 蓦然回首,“工厂、构造、原型”设计模式,正在灯火阑珊处
  • JS精粹,原型链继承和构造函数继承的 “毛病”
  • “工厂、构造、原型” 设计模式与 JS 继承
  • JS 高级程序设计 4:class 继承的重点
  • JS class 并不只是简单的语法糖!

对象创建

不难发现,每一篇都离不开工厂、构造、原型这 3 种设计模式中的至少其一!

让人不禁想问:JS 为什么非要用到这种 3 种设计模式了呢??

正本溯源,先从对象创建讲起:

我们本来习惯这样声明对象(不用任何设计模式)

代码语言:javascript复制
let car= {
        price:100,
        color:"white",
        run:()=>{console.log("run fast")}
}

当有两个或多个这样的对象需要声明时,是不可能一直复制写下去的:

代码语言:javascript复制
let car1 = {
        price:100,
        color:"white",
        run:()=>{console.log("run fast")}
}

let car2 = {
        price:200,
        color:"balck",
        run:()=>{console.log("run slow")}
}

let car3 = {
        price:300,
        color:"red",
        run:()=>{console.log("broken")}
}

这样写:

  1. 写起来麻烦,重复的代码量大;
  2. 不利于修改,比如当 car 对象要增删改一个属性,需要多处进行增删改;

工厂函数

肯定是要封装啦,第一个反应,可以 借助函数 来帮助我们批量创建对象~

于是乎:

代码语言:javascript复制
function makeCar(price,color,performance){
        let obj = {}
        obj.price = price
        obj.color= color
        obj.run = ()=>{console.log(performance)}
        return obj
}

let car1= makeCar("100","white","run fast")
let car2= makeCar("200","black","run slow")
let car3= makeCar("300","red","broken")

这就是工厂设计模式在 JS 创建对象时应用的由来~

到这里,对于【对象创建】来说,应该够用了吧?是,在不考虑扩展的情况下,基本够用了。

但这个时候来个新需求,需要创建 car4、car5、car6 对象,它们要在原有基础上再新增一个 brand 属性,会怎么写?

第一反应,直接修改 makeCar

代码语言:javascript复制
function makeCar(price,color,performance,brand){
        let obj = {}
        obj.price = price
        obj.color= color
        obj.run = ()=>{console.log(performance)}
        obj.brand = brand
        return obj
}

let car4= makeCar("400","white","run fast","benz")
let car5= makeCar("500","black","run slow","audi")
let car6= makeCar("600","red","broken","tsl")

这样写,不行,会影响原有的 car1、car2、car3 对象;

那再重新写一个 makeCarChild 工厂函数行不行?

代码语言:javascript复制
function makeCarChild (price,color,performance,brand){
        let obj = {}
        obj.price = price
        obj.color= color
        obj.run = ()=>{console.log(performance)}
        obj.brand = brand
        return obj
}

let car4= makeCarChild("400","white","run fast","benz")
let car5= makeCarChild("500","black","run slow","audi")
let car6= makeCarChild("600","red","broken","tsl")

行是行,就是太麻烦,全量复制之前的属性,建立 N 个相像的工厂,显得太蠢了。。。

构造函数

于是乎,在工厂设计模式上,发展出了:构造函数设计模式,来解决以上复用(也就是继承)的问题。

代码语言:javascript复制
function MakeCar(price,color,performance){
        this.price = price
        this.color= color
        this.run = ()=>{console.log(performance)}
}

function MakeCarChild(brand,...args){
        MakeCar.call(this,...args)
        this.brand = brand
}

let car4= new MakeCarChild("benz","400","white","run fast")
let car5= new MakeCarChild("audi","500","black","run slow")
let car6= new MakeCarChild("tsl","600","red","broken")

构造函数区别于工厂函数:

  • 函数名首字母通常大写;
  • 创建对象的时候要用到 new 关键字(new 的过程这里不再赘述了,之前文章有);
  • 函数没有 return,而是通过 this 绑定来实现寻找属性的;

到此为止,工厂函数的复用也解决了。

构造 原型

新的问题在于,我们不能通过查找原型链从 MakeCarChild 找到 MakeCar

代码语言:javascript复制
car4.__proto__===MakeCarChild.prototype // true

MakeCarChild.prototype.__proto__ === MakeCar.prototype // false
MakeCarChild.__proto__ === MakeCar.prototype // false

无论在原型链上怎么找,都无法从 MakeCarChild 找到 MakeCar

这就意味着:子类不能继承父类原型上的属性

这里提个思考问题:为什么“要从原型链查找到”很重要?为什么“子类要继承父类原型上的属性”?就靠 this 绑定来找不行吗?

于是乎,构造函数设计模式 原型设计模式 的 【组合继承】应运而生

代码语言:javascript复制
function MakeCar(price,color,performance){
        this.price = price
        this.color= color
        this.run = ()=>{console.log(performance)}
}

function MakeCarChild(brand,...args){
        MakeCar.call(this,...args)
        this.brand = brand
}

MakeCarChild.prototype = new MakeCar() // 原型继承父类的构造器

MakeCarChild.prototype.constructor = MakeCarChild // 重置 constructor 

let car4= new MakeCarChild("benz","400","white","run fast")

现在再找原型,就找的到啦:

代码语言:javascript复制
car4.__proto__ === MakeCarChild.prototype // true
MakeCarChild.prototype.__proto__ === MakeCar.prototype // true

其实,能到这里,就已经很很优秀了,该有的都有了,写法也不算是很复杂。

工厂 构造 原型

但,总有人在追求极致。

上述的组合继承,父类构造函数被调用了两次,一次是 call 的过程,一次是原型继承 new 的过程,如果每次实例化,都重复调用,肯定是不可取的,怎样避免?

工厂 构造 原型 = 寄生组合继承 应运而生

核心是,通过工厂函数新建一个中间商 F( ),复制了一份父类的原型对象,再赋给子类的原型;

代码语言:javascript复制
function object(o) { // 工厂函数
  function F() {}
  F.prototype = o;
  return new F(); // new 一个空的函数,所占内存很小
}

function inherit(child, parent) { // 原型继承
  var prototype = object(parent.prototype)
  prototype.constructor = child
  child.prototype = prototype
}


function MakeCar(price,color,performance){
        this.price = price
        this.color= color
        this.run = ()=>{console.log(performance)}
}

function MakeCarChild(brand,...args){  // 构造函数
        MakeCar.call(this,...args)
        this.brand = brand
}

inherit(MakeCarChild,MakeCar)

let car4= new MakeCarChild("benz","400","white","run fast")
代码语言:javascript复制
car4.__proto__ === MakeCarChild.prototype // true

MakeCarChild.prototype.__proto__ === MakeCar.prototype // true

ES6 class

再到后来,ES6 的 class 作为寄生组合继承的语法糖:

代码语言:javascript复制
class MakeCar {
    constructor(price,color,performance){
            this.price = price
            this.color= color
            this.performance=performance
    }
    run(){
        console.log(console.log(this.performance))
    }
}

class MakeCarChild extends MakeCar{
    constructor(brand,...args){
        super(brand,...args);
        this.brand= brand;
    }
}

let car4= new MakeCarChild("benz","400","white","run fast")
代码语言:javascript复制
car4.__proto__ === MakeCarChild.prototype // true

MakeCarChild.prototype.__proto__ === MakeCar.prototype // true

有兴趣的工友,可以看下 ES6 解析成 ES5 的代码:原型与原型链 - ES6 Class的底层实现原理 #22

对象与函数

最后本瓜想再谈谈关于 JS 对象和函数的关系:

即使是这样声明一个对象,let obj = {} ,它一样是由构造函数 Object 构造而来的:

代码语言:javascript复制
let obj = {} 

obj.__proto__ === Object.prototype // true

在 JS 中,万物皆对象,对象都是有函数构造而来,函数本身也是对象。

对应代码中的意思:

  1. 所有的构造函数的隐式原型都等于 Function 的显示原型,函数都是由 Function 构造而来,Object 构造函数也不例外;
  2. 所有构造函数的显示原型的隐式原型,都等于 Object 的显示原型,Function 也不例外;
代码语言:javascript复制
// 1.
Object.__proto__ === Function.prototype // true

// 2. 
Function.prototype.__proto__ === Object.prototype // true

这个设计真的就一个大无语,大纠结,大麻烦。。。

只能先按之前提过的歪理解记着先:Function 就是上帝,上帝创造了万物;Object 就是万物。万物由上帝创造(对象由函数构造而来),上帝本身也属于一种物质(函数本身却也是对象);

对于本篇来说,继承,其实都是父子构造函数在继承,然后再由构造函数实例化对象,以此来实现对象的继承。

到底是谁在继承?函数?对象?都是吧~~


小结

本篇由创建对象说起,讲了工厂函数,它可以做一层最基本的封装;

再到,对工厂的拓展,演进为构造函数;

再基于原型特点,构造 原型,得出组合继承;

再追求极致,讲到寄生组合;

再讲到简化书写的 Es6 class ;

以及最后对对象与函数的思考。

就先到这吧~~

OK,以上便是本篇分享。点赞关注评论,为好文助力

0 人点赞