类描述了一种代码的组织结构形式,不同的语言中对其实现形式各有差异。JavaScript中的类Class实际是一种描述对象之间引用关系的语法糖。
在Class语法糖出现之前,我们想重用一个功能模块,通常是用一个函数来进行封装:
- //声明一个函数,用于功能的复用
- function Animal(name) {
- this.name = name;
- }
- //可以在函数的原型上进行属性的添加,便于复用
- Animal.prototype.walk = function () {
- return 5555
- };
- //通过new操作符创建一个新的函数
- //new的过程发生了什么:
- // 1.创建一个新的对象
- // 2.将构造函数的作用域赋值给这个新对象,从而this指向了这个新对象
- // 3.执行构造函数中的代码,为这个新对象添加属性
- // 4.返回新对象
- const dog = new Animal("小狗");//
- //通过new创建了一个新对象
- console.log(dog);//Animal { name: '小狗' }
- //改对象拥有其构造函数上的属性
- console.log(dog.walk());//5555
- //通过原型可以查看原型上绑定的属性,当你获取一个属性而对象本身没有时,会一层层的查找原型上是否存在该属性,最后找到Object对象本身,没有则返回undefined,有则返回该属性
- console.log(Animal.prototype);//Animal { walk: [Function] }
- //引用对象的隐式原型指向构造函数的显示原型
- console.log(dog.__proto__===Animal.prototype);//true
为了更好的做成一个单独的模块,还有使用IIFE(立即执行函数)形式来增强模块的:
- //立即执行函数
- //立即执行函数模式是一种语法,可以让你的函数在定义后立即被执行
- //立即执行函数的组成:定义一个函数;将整个函数包裹在一对括号中,将函数声明转换成表达式;在函数尾部加上一对括号,让函数立即被执行
- //作用:页面加载完成后只执行一次的设置函数;将设置函数中的变量包裹在局部作用域中,不会泄漏成全局变量
- var Animal = (function () {
- function Animal(name) {
- this.name = name;
- console.log(this.name);
- }
- Animal.prototype.walk = function (data) {
- console.log(data);
- };
- console.log(666);
- return Animal;
- })();
- Animal('我是name')
- Animal.prototype.walk('执行方法')
- //依次输出为
- //666
- //我是name
- //执行方法
由于这是一种很常见的需求,所以ECMAScript规范中加入了Class语法,简化了之前的使用形式:
- //通过class关键字声明一个Animal类
- //constructor构造函数用于将new的实例对象指回构造函数本身
- class Animal {
- constructor(name) {
- this.name = name;
- }
- walk() {
- console.log('执行了');
- }
- }
- //通过new关键字基于类生成实例对象
- let dog = new Animal('小狗')
- console.log(Animal);//[Function: Animal]
- console.log(dog);//Animal { name: '小狗' }
- dog.walk()//执行了
到目前为止,我们只讨论了类的实例成员,那些仅当类被实例化的时候才会被初始化的属性。 我们也可以创建类的静态成员,这些属性存在于类本身上面而不是类的实例上。 在这个例子里,我们使用 static定义 origin,因为它是所有网格都会用到的属性。 每个实例想要访问这个属性的时候,都要在 origin前面加上类名。 如同在实例属性上使用 this.前缀来访问属性一样,这里我们使用 Grid.来访问静态属性。
- class Grid {
- //用于定义静态属性
- static origin = { x: 0, y: 0 };
- calculateDistanceFromOrigin(point) {
- let xDist = (point.x - Grid.origin.x);
- let yDist = (point.y - Grid.origin.y);
- console.log(this.scale);//声明实例对象时所传递的值
- return Math.sqrt(xDist * xDist + yDist * yDist) / this.scale;
- }
- constructor(scale) {
- this.scale = scale;
- }
- }
-
- let grid1 = new Grid(1.0); // 1x scale
- let grid2 = new Grid(5.0); // 5x scale
-
- console.log(grid1.calculateDistanceFromOrigin({ x: 10, y: 10 }));
- console.log(grid2.calculateDistanceFromOrigin({ x: 10, y: 10 }));
通过getters/setters来截取对对象成员的访问。 它能帮助你有效的控制对对象成员的访问。
下面来看如何把一个简单的类改写成使用 get和 set。 首先,我们从一个没有使用存取器的例子开始。
- class Employee {
- fullName;
- }
-
- let employee = new Employee();
- employee.fullName = "Bob Smith";
- if (employee.fullName) {
- console.log(employee.fullName);
- }
我们可以随意的设置 fullName,这是非常方便的,但是这也可能会带来麻烦。
下面这个版本里,我们先检查用户密码是否正确,然后再允许其修改员工信息。 我们把对 fullName的直接访问改成了可以检查密码的 set方法。 我们也加了一个 get方法,让上面的例子仍然可以工作。
- let passcode = "secret passcode";
-
- class Employee {
- _fullName=5;
- get fullName() {
- return this._fullName;
- }
- set fullName(newName) {
- if (passcode && passcode == "secret passcode") {
- this._fullName = newName;
- }
- else {
- console.log("验证失败");
- }
- }
- }
-
- let employee = new Employee();
- employee.fullName = "Bob Smith";
- if (employee.fullName) {
- console.log(employee.fullName);
- }
使用extends关键字可以很方便的实现类之间的继承。
- class Animal {
- move(distanceInMeters) {
- console.log(`Animal moved ${distanceInMeters}m.`);
- }
- }
-
- class Dog extends Animal {
- bark() {
- console.log('Woof! Woof!');
- }
- }
-
- const dog = new Dog();
- dog.bark();//Woof! Woof!
- dog.move(10);//Animal moved 10m.
- dog.bark();//Woof! Woof!
这个例子展示了最基本的继承:类从基类中继承了属性和方法。 这里, Dog是一个 派生类,它派生自 Animal 基类,通过 extends关键字。 派生类通常被称作 子类,基类通常被称作 超类。
因为 Dog继承了 Animal的功能,因此我们可以创建一个 Dog的实例,它能够 bark()和 move()。
下面我们来看个更加复杂的例子:
- //新建Animal类
- class Animal {
- //用于将实例对象的this指向构造函数本身
- constructor(theName) { this.name = theName; }
- move(distanceInMeters) {
- console.log(`${this.name} moved ${distanceInMeters}m.`);
- }
- }
- //新建Snake类继承于Animal类
- class Snake extends Animal {
- //super关键字,代表父类对象,super(name)表示执行父类
- constructor(name) { super(name); }
- move(distanceInMeters = 5) {
- console.log("Slithering...");
- //触发父类方法
- super.move(distanceInMeters);
- }
- }
- //新建Horse类继承于Animal类
- class Horse extends Animal {
- //super关键字,代表父类对象,super(name)表示执行父类
- constructor(name) { super(name); }
- move(distanceInMeters = 45) {
- console.log("Galloping...");
- //触发父类方法
- super.move(distanceInMeters);
- }
- }
- let sam = new Snake("Sammy the Python");
- let tom = new Horse("Tommy the Palomino");
- sam.move();
- tom.move(34);
- // 输出为
- // Slithering...
- // Sammy the Python moved 5m.
- // Galloping...
- // Tommy the Palomino moved 34m.
这个例子展示了一些上面没有提到的特性。 这一次,我们使用 extends关键字创建了 Animal的两个子类: Horse和 Snake。
与前一个例子的不同点是,派生类包含了一个构造函数,它 必须调用 super(),它会执行基类的构造函数。 而且,可以用使用super关键字调用Animal中的方法。
这个例子演示了如何在子类里可以重写父类的方法。 Snake类和 Horse类都创建了 move方法,它们重写了从 Animal继承来的 move方法,使得 move方法根据不同的类而具有不同的功能。 注意,即使 tom被声明为 Animal类型,但因为它的值是 Horse,调用 tom.move(34)时,它会调用 Horse里重写的方法。在继承链的不同层次中move方法被多次定义,当调用方法时会自动选择合适的定义,这就是多态的一种实现。
文章的开头说过Class只是一种描述对象之间引用关系的语法糖。现在我们就来看看语法糖背后的本质是什么。
- class Animal {
- constructor(name) {
- this.name = name;
- }
- print() {
- console.log(this.name);
- }
- }
-
- const animal = new Animal('dog');
- animal.print(); // dog
这里我们创建了一个Animal的实例,可以看到实例可以使用print中的方法。实现这一切的前提需要搞清楚new操作符到底做了什么,下面是一个new操作符的模拟实现:
- //模拟实现new操作符
- //创建一个Person函数,声明属性与方法
- function Person(name) {
- this.name = name;
- }
- Person.prototype.sayName = function () {
- console.log(this.name);
- }
-
- //创建一个createPerson函数用于模拟new Person实现逻辑
- function createPerson() {
- // 1 创建一个新的对象
- var o = {};
- // 2 获取构造函数,以便实现作用域的绑定
- //arguments的作用:当在js中调用一个函数的时候,我们经常会给这个函数传递一些参数,js把传入到这个函数的全部参数存储在arguments中。
- // Arguments是一个类数组对象,对象中的每一项分别对应传入的参数
- console.log(arguments);//[Arguments] { '0': [Function: Person], '1': 'ydb' }
- //因为arguments不是数组对象,是一个类数组对象,所以不能调用数组的方法,比如prototype属性不能使用
- console.log(arguments.prototype);//undefined
- //所以为了实现后续new实现对象之前的相关绑定需要使用prototype进行绑定,所以需要将arguments转换成数组对象
- // console.log([].shift.call(arguments));//[Function: Person]
- //通过[].shift.call(arguments)将arguments从类数组对象,转成数组对象
- //原理:
- //[].slice.call( arguments )相当于Array.prototype.slice.call( arguments )
- //在这里,slice()是数组上的一个方法,它不改变原数组,而是从原数组中返回指定的元素,也就是一个新的数组,当没有传入任何参数的时候也就是会返回整个数组(复制原数组,不改变原数组);然后是 call 函数,它和 apply 函数一样,他们两个都是改变函数的 this 指向,区别就是参数不一样,他们的第一个参数都是一个对象或者是 “this”,而 apply 的第二个参数是一个数组,call 后面可以继续跟多个参数,也就是 apply ( this,[ ] );call ( this , n1,n2,n3....)
- // 所以重点就是:
- // 因为slice内部实现是使用的this为代表调用对象,那么当[ ].slice.call() 传入 arguments 对象的时候,通过 call 函数改变原来 slice 方法的 this 指向, 使其指向 arguments,并对 arguments 进行复制操作,然后返回一个新数组。所以就达到了把 arguments 类数组转为数组的目的!
- // 当然,[ ].shift.call( arguments ) 也是如此,shift () 方法为删除数组的第一项,并返回删除项,所以这句我们可以理解为 “ 删除arguments的第一项并返回,也就是拿到 arguments 的第一项 ”。
- var _constructor = [].shift.call(arguments);
- //获取到传入的Person函数
- console.log(_constructor);//[Function: Person]
- // 3 由于通过new操作创建的对象实例内部的不可访问的属性[[Prototype]](有些浏览器里面为__proto__)
- //指向的是构造函数的原型对象的,所以这里实现手动绑定。
- // 实例对象的隐式原型指向构造函数的现实原型
- o.__proto__ = _constructor.prototype;
- // 4.作用域的绑定使用apply改变this的指向
- //作为参数传递
- console.log(arguments,'arguments');//[Arguments] { '0': 'ydb' } arguments
- console.log(o,'o')
- _constructor.apply(o, arguments);
- console.log(o,'o');//Person { name: 'ydb' } o
- return o;
- }
- var person1 = createPerson(Person, 'ydb');
- person1.sayName();
- console.log(person1);//Person { name: 'ydb' }
注意这里说的构造函数并不是指的是"constructor",而是指的是Person函数,因为每一个函数的原型对象上有一个constructor属性指向函数本身:
console.log(Person.prototype.constructor === Person); // true
到这里可以很清楚的知道之所以person1可以使用sayName方法,完全是因为这句代码:
o.__proto__ = _constructor.prototype;
它们实现了同一个对象的引用,这个对象在这里指的是Person的原型对象,也就是Person.prototype。并不是Person把原型对象复制给了o对象上,它们之前只是一种对象引用的关系。
再来看看继承是如何实现的:
- class Animal {
- //将new的实例对象指向构造函数本身
- constructor(name) {
- this.name = name;
- }
- print() {
- console.log(this.name);
- }
- }
-
- class Dog extends Animal {
- //将new的实例对象指向构造函数本身
- constructor(name) {
- super(name);
- }
- print() {
- console.log("dog");
- }
- walk() {
- console.log(`${this.name} is a dog`);
- }
- }
-
- const dog = new Dog('二哈');
- dog.print(); // dog
- dog.walk(); // 二哈 is a dog
转换一下:
- var __extends = (this && this.__extends) || (function () {
- var extendStatics = function (d, b) {
- extendStatics = Object.setPrototypeOf ||
- ({ __proto__: [] } instanceof Array && function (d, b) { d.__proto__ = b; }) ||
- function (d, b) { for (var p in b) if (b.hasOwnProperty(p)) d[p] = b[p]; };
- return extendStatics(d, b);
- };
- return function (d, b) {
- extendStatics(d, b);
- function __() { this.constructor = d; }
- d.prototype = b === null ? Object.create(b) : (__.prototype = b.prototype, new __());
- };
- })();
- var Animal = /** @class */ (function () {
- function Animal(name) {
- this.name = name;
- }
- Animal.prototype.print = function () {
- console.log(this.name);
- };
- return Animal;
- }());
- var Dog = /** @class */ (function (_super) {
- __extends(Dog, _super);
- function Dog(name) {
- return _super.call(this, name) || this;
- }
- Dog.prototype.print = function () {
- console.log("dog");
- };
- Dog.prototype.walk = function () {
- console.log(this.name + " is a dog");
- };
- return Dog;
- }(Animal));
- var dog = new Dog('二哈');
- dog.print(); // dog
- dog.walk(); // 二哈 is a dog
可以看出通过__extends方法实现了某些对象对其他对象的引用,达到功能模块复用的目的,并没有什么魔法。
所以到现在你应该明白了,JavaScript中其实并没有类这个概念的,只不过是语法糖隐藏了内部实现,方便开发人员的实现对对象之间引用这种功能。JavaScript中也没有所谓的“原型继承”,本质都是对象之间的引用。