JavaScript 中的有限状态机，第 1 部分: 设计一个小部件

核心提示：有限状态机很早就已用作设计和实现事件驱动的程序（比如网络适配器和编译器）内复杂行为的组织原则，现在，JavaScript 中的有限状态机，第 1 部分: 设计一个小部件，可编程的 Web 浏览器为新一代的应用程序开辟了一种全新的事件驱动环境，基于浏览器的应用程序因 Ajax 而广为流行，其编程就会变得非常复杂，也十分难

有限状态机很早就已用作设计和实现事件驱动的程序（比如网络适配器和编译器）内复杂行为的组织原则。现在，可编程的 Web 浏览器为新一代的应用程序开辟了一种全新的事件驱动环境。基于浏览器的应用程序因 Ajax 而广为流行，而同时也变得更为复杂。程序设计人员和实现人员能够大大受益于有限状态机的原理和结构。本篇文章将向您介绍如何使用有限状态机来为一个简单的 Web 小部件 —— 一个能够淡入和淡出的工具提示 —— 设计复杂的行为。

本系列的第 2 部分将描述如何在 JavaScript 内实现此设计，以及如何充分利用 JavaScript 独特的语言特性，比如关联数组和函数闭包。第 3 部分则会涵盖如何使此实现能够在所有流行的 Web 浏览器中正常工作的内容。最终的代码紧凑简练，逻辑清晰透明，动画效果即使在负载极重的处理器上也能平稳流畅。

多年以来，Web 设计人员一直都通过在流行的 Web 浏览器内采用 JavaScript 解释器的方式来改善其网站的外观。他们的做法大都是将代码的简短片段复制到 HTML 页面中。当前，随着 Ajax 的日益流行，软件工程师也开始使用 JavaScript 来开发能在浏览器内执行的新一代的应用程序。基于浏览器的应用程序的规模不断扩大，这就相应要求采用其他执行环境成长和发展所使用的相同设计模式和开发原理。

基于浏览器的应用程序在实时环境中执行，在这种环境中鼠标、键盘、定时器、网络和程序事件都十分常见。当事件驱动的应用程序的行为取决于事件发生的顺序时，其编程就会变得非常复杂，也十分难以调试和修改。软件工程师早已开始使用 有限状态机 —— 学术领域有时又称其为离散或确定性有限自动机 —— 作为一种组织原理来开发事件驱动的程序了。