这本经典的《Javascript设计模式与开发实践》前端经典书籍,我是在去年开始阅读的,对整个设计模式没有系统的了解过,所以阅读这本书对我帮助很大。也强烈推荐给大家
面向对象的 JavaScript
- 动态类型语言和鸭子类型
以一个小故事描述了JavaScript的动态类型。鸭子类型的通俗说法是:“如果它走起
路来像鸭子,叫起来也是鸭子,那么它就是鸭子。”
编程语言按照数据类型大体可以分为两类,一类是静态类型语言,另一类是动态类型语言。
静态类型语言在编译时便已确定变量的类型,而动态类型语言的变量类型要到程序运行的时
候,待变量被赋予某个值之后,才会具有某种类型
下面我们用代码来模拟这个故事。
var duck = {
duckSinging: function(){
console.log( '嘎嘎嘎' );
}
};
var chicken = {
duckSinging: function(){
console.log( '嘎嘎嘎' );
}
};
var choir = []; // 合唱团
var joinChoir = function( animal ){
if ( animal && typeof animal.duckSinging === 'function' ){
choir.push( animal );
console.log( '恭喜加入合唱团' );
console.log( '合唱团已有成员数量:' + choir.length );
}
};
joinChoir( duck ); // 恭喜加入合唱团
joinChoir( chicken ); // 恭喜加入合唱团
- 一段“多态”的JavaScript代码
var makeSound = function( animal ){
if ( animal instanceof Duck ){
console.log( '嘎嘎嘎' );
}else if ( animal instanceof Chicken ){
console.log( '咯咯咯' );
}
};
var Duck = function(){};
var Chicken = function(){};
makeSound( new Duck() ); // 嘎嘎嘎
makeSound( new Chicken() ); // 咯咯
多态背后的思想是将“做什么”和“谁去做以及怎样去做”分离开来,也就是将“不变的事
物”与 “可能改变的事物”分离开来。在这个故事中,动物都会叫,这是不变的,但是不同类
型的动物具体怎么叫是可变的。把不变的部分隔离出来,把可变的部分封装起来,这给予了我们
扩展程序的能力,程序看起来是可生长的,也是符合开放—封闭原则的,相对于修改代码来说,
仅仅增加代码就能完成同样的功能,这显然优雅和安全得多
- 对象的多态性
下面是改写后的代码,首先我们把不变的部分隔离出来,那就是所有的动物都会发出叫声:
var makeSound = function( animal ){
animal.sound();
};
var Duck = function(){}
Duck.prototype.sound = function(){
console.log( '嘎嘎嘎' );
};
var Chicken = function(){}
Chicken.prototype.sound = function(){
console.log( '咯咯咯' );
};
makeSound( new Duck() ); // 嘎嘎嘎
makeSound( new Chicken() ); // 咯咯
- JavaScript的多态
从前面的讲解我们得知,多态的思想实际上是把“做什么”和“谁去做”分离开来,要实现
这一点,归根结底先要消除类型之间的耦合关系。
多态最根本的作用就是通过把过程化的条件分支语句转化为对象的多态性,从而
消除这些条件分支语句
上面的列子中都提供了 sound 方法,在实际开发中也许
不会如此顺利,这时候可以借助适配器模式来解决问题。
- 封装
封装的目的是将信息隐藏。 一般而言,我们讨论的封装是封装数据和封装实现。这一节将讨
论更广义的封装,不仅包括封装数据和封装实现,还包括封装类型和封装变化
- 封装数据
在许多语言的对象系统中,封装数据是由语法解析来实现的,这些语言也许提供了 private、
public、protected 等关键字来提供不同的访问权限。
但 JavaScript 并没有提供对这些关键字的支持,我们只能依赖变量的作用域来实现封装特性,
而且只能模拟出 public 和 private 这两种封装性。
注: 最新班语法可以通过# 模拟出私有属性
除了 ECMAScript 6 中提供的 let 之外,一般我们通过函数来创建作用域:
var myObject = (function(){
var __name = 'sven'; // 私有(private)变量
return {
getName: function(){ // 公开(public)方法
return __name;
}
}
})();
console.log( myObject.getName() ); // 输出:sven
console.log( myObject.__name ) // 输出:undefine
- 封装实现
上一节描述的封装,指的是数据层面的封装。有时候我们喜欢把封装等同于封装数据,但这
是一种比较狭义的定义。
封装的目的是将信息隐藏,封装应该被视为“任何形式的封装”,也就是说,封装不仅仅是
隐藏数据,还包括隐藏实现细节、设计细节以及隐藏对象的类型等。
从封装实现细节来讲,封装使得对象内部的变化对其他对象而言是透明的,也就是不可见的。
对象对它自己的行为负责。其他对象或者用户都不关心它的内部实现。封装使得对象之间的耦合变松散,对象之间只通过暴露的 API 接口来通信。当我们修改一个对象时,可以随意地修改它的
内部实现,只要对外的接口没有变化,就不会影响到程序的其他功能。
- 封装变化
从设计模式的角度出发,封装在更重要的层面体现为封装变化
拿创建型模式来说,要创建一个对象,是一种抽象行为,而具体创建什么对象则是可以变化
的,创建型模式的目的就是封装创建对象的变化。而结构型模式封装的是对象之间的组合关系。
行为型模式封装的是对象的行为变化。
通过封装变化的方式,把系统中稳定不变的部分和容易变化的部分隔离开来,在系统的演变
过程中,我们只需要替换那些容易变化的部分,如果这些部分是已经封装好的,替换起来也相对容易。这可以最大程度地保证程序的稳定性和可扩展性。
- 小结
第一章介绍了动态类型语言和静态语言各自的优缺点,引出了鸭子类型,详细的描述了对象的多态性以及应用,接着介绍了封装的概念,最后介绍了封装的三种方式:封装数据、封装实现和封装变化。