JavaScript多态与封装实战解析

本文通过具体实例深入解析JavaScript中的多态与封装技术，为读者提供可参考的实践方案。

1、静态语言类型和动态语言类型

依据数据类型处理机制，编程语言主要划分为静态类型与动态类型两大类别。

1) 静态语言类型在编译时就已经确定变量的类型

其优势在于编译器能在编译阶段捕捉类型不匹配错误，从而预防运行时潜在问题；同时，明确的数据类型声明有助于编译器进行性能优化。

然而，其劣势在于强制开发者遵循严格的类型契约，为每个变量指定类型会显著增加代码量，导致开发者难以将精力集中于核心业务逻辑的实现。

2) 动态类型语言的变量类型需要到程序运行的时候变量被赋值时才能确定。

动态类型语言的优势在于代码简洁精炼，大幅减少了样板代码，使开发者能更专注于业务逻辑本身。

但其缺点在于无法在编译期保证变量类型，这可能导致程序在运行过程中出现与类型相关的错误。

2、JavaScript多态

多态的核心思想在于解耦：将“做什么”与“谁去做、怎么做”分离，即把“不变的事物”与“可能改变的事物”区分开来。具体做法是将不变的部分隔离，将可变部分封装起来。实现这一目标的关键在于消除类型间的耦合关系。

多态最根本的价值在于：它将传统的过程式条件分支语句转化为对象的多态行为，从而彻底消除了冗长的条件判断逻辑。

var student = {
  show: function() {
    console.log('我是学生');
  }
};
var teacher = {
  show: function() {
    console.log('我是老师');
  }
};
var showMe = function(type) {
  if (type == 'teacher')
    teacher.show();
  else if (type == 'student')
    teacher.show();
};
showMe('teacher');
showMe('student');

问题：一旦需要增加新的type对应的show()方法，必须改动showMe()函数。

解决：把程序中相同的部分抽离出来。

var student = {
  show: function() {
    console.log('我是学生');
  }
};
var teacher = {
  show: function() {
    console.log('我是老师');
  }
};
var showMe = function(obj) {
  if (obj.show instanceof Function)
    obj.show();
};
showMe('teacher');
showMe('student');

若需要增加doctor类型对象，只需增加：

var doctor = {
  show: function() {
    console.log('我是医生');
  }
};
showMe(doctor);

设计模式与多态：

绝大部分设计模式的实现都离不开多态性的思想。

3、封装

封装的核心目的是隐藏信息。通常所说的封装主要指数据封装和实现封装，但从广义角度来看，它还涵盖类型封装和变化封装。

1) 封装数据

JavaScript并未提供private、public、protected等关键字来定义访问权限，因此只能依靠变量的作用域来实现封装特性，且仅能模拟出private和public两种访问级别。

除了ES6引入的let关键字外，通常通过函数来创建独立的作用域以实现数据隐藏。

var obj = (function() {
  var name = "Alice"; // 模拟private变量
  return {
    getName: function() { // 模拟public方法
      return name;
    }
  }
})();
console.log(obj.name); // 输出：undefined
console.log(obj.getName()); // 输出：Alice

2) 封装实现

从实现细节来看，封装使得对象内部的变化对其他对象透明且不可见。对象对其自身行为负责，其他对象或用户无需关心其内部实现。这种机制降低了对象间的耦合度，对象间仅通过暴露的API接口进行通信。修改一个对象的内部实现时，只要对外接口保持不变，就不会影响程序的其他功能。

例如，迭代器的作用是在不暴露一个聚合对象的内部表示的前提下，提供一种方式来顺序访问这个聚合对象，若有一个each函数，则使用它的人不必关心其内部实现，只有它可以提供正确的功能即可，即使each函数修改了源代码，只要对外的接口或调用方式没有变化，用户就不必关心其内部实现的改变。

3) 封装类型

封装类型是静态类型语言的一种重要封装方式。一般而言，封装类型是通过抽象类和接口来进行的，将对象的类型隐藏到抽象类或接口之后，相比对象的类型，用户更关心对象的行为。在许多静态类型语言的设计模式中，会想方设法地隐藏对象的类型，促使工厂模式、组合模式等设计模式诞生。

在JavaScript中，并没有对抽象类和接口的支持，在封装类型方面，JavaScript没有能力。

4) 封装变化

从设计模式的角度出发，封装更重要的层面体现为封装变化。

通过封装变化的方式，把系统中稳定不变的部分和容易变化的部分隔离开，在系统演变过程中，只需要替换那些容易变化的部分，若这些部分是封装好的，替换起来就会相对容易。

更多关于JavaScript相关内容可查看本站专题：《javascript面向对象入门教程》、《JavaScript切换特效与技巧总结》、《JavaScript查找算法技巧总结》、《JavaScript错误与调试技巧总结》、《JavaScript数据结构与算法技巧总结》、《JavaScript遍历算法与技巧总结》及《JavaScript数学运算用法总结》

希望本文所述对大家JavaScript程序设计有所帮助。