第1章 精华
JavaScript的特性中有一部 分特性带来的麻烦远远超出它们的价值。其中,一些特性是因为规范很不完善,从而可能导致可移植性的问题;一些特性会导致生成难以理解和修改的代码;一些特 性促使我的代码风格过于复杂且易于出错;还有一些特性就是设计错误。有时候语言的设计者也会犯错。
大多数编程语言都有精华部分和鸡 肋部分。我发现如果只使用精华部分而避免使用鸡肋的部分,我可以成为一个更好的程序员。毕竟,用糟糕的部件怎么可能构建出好东西呢?
标准委员会想要移除一门语言中的 缺陷部分,这几乎是不可能的,因为这样做会损害所有依赖于那些鸡肋部分的糟糕程序。除了在已存在的一大堆缺陷上堆积更多的特性,他们通常无能为力。并且新 旧特性并不总是能和谐共处,可能从而产生出更多的鸡肋部分。
但是,你有权力定义你自己的子 集。你完全可以基于精华部分去编写更好的程序。JavaScript中鸡肋部分的比重超出了预料。在短到令人吃惊的时间里,它从不存在发展到全球采用。它从来没有在实验 室里被试用和打磨。当它还非常粗糙时,它就被直接集成到网景的Navigator 2浏览器中。随着JavaTM的小应用程序(Java applets)的失败,JavaScript变成了默认的”网页语言”。作为一门编程语言,JavaScript的流行几乎完全不受它的质量的影响。
好在JavaScript有一些非常精华的部分。JavaScript最本质的部分被深深地隐藏着,以至于多年来对它的主流观点是:JavaScript就是一个丑陋的、没用的玩具。本书的目的就是要揭示JavaScript中的精华,让大家知道它是一门杰出的动态编程语言。
或许只学习精华部分的最大好处就 是你可以不用考虑鸡肋的部分。忘掉不好的模式是非常困难的。这是一个非常痛苦的工作,我们中的大多数人都会很不愿意面对。有时候,制定语言的子集是为了让 学生更好的学习。但在这里,我制定的JavaScript子集是为了主专 业人员更好的工作。
1.1 为什么要使用JavaScript
JavaScript是一门重要的语 言,因为它是web浏览器的语言。它与浏览器的结合使它成为世界上最流行的编程语言之一。同时,它也是世界上最被轻视 的编程语言之一。浏览器的API和文档对象模型(DOM)相当糟糕,导致JavaScript遭到不公平的指责。
JavaScript是最被轻视的语 言,因为它不是所谓的主流语言。如果你擅长某些主流语言,但却在一个只支持JavaScript的环境中编程,那么被迫使用JavaScript确是相当令人厌烦的。大多数人觉得没必要去先学好JavaScript,但结果他们会惊讶地发现,JavaScript跟他们宁愿使用的主流语言有很大不同,而且这些不同至为关键。
JavaScript令人惊异的事情 是,在对这门语言没有太多了解,甚至对编程都没有太多了解的情况下,你也能用它来完成工作。它是一门拥有极强表达能力的语言。当你知道要做什么时,它甚至 能表现得更好。编程是很困难的事情。绝不应该在对此一无所知时便开始你的工作。
1.2 分析JavaScript
JavaScript建立在一些非常 好的想法和少数非常坏的想法之上。
那些非常好的想法包括函数、弱类 型、动态对象和一个富有表现力的字面量表示法。那些坏的想法包括基于全局变量的编程模型。
JavaScript的函数是(主 要)基于词法作用域(lexical scoping)的顶级对象。JavaScript是第一个成为主流的lambda语言。实际上,相对Java而言,JavaScript与Lisp和Scheme有更多的共同点。它是披着C外衣的Lisp。这使得JavaScript成为一个非常强大的语言。
现今大部分编程语言中都流行要求 强类型。其原理在于强类型允许编译器在编译时检测错误。我们能越早检测和修复错误,付出的代价就越小。JavaScript是一门弱类型的语言,所以JavaScript编译器不能检测出类型错误。另一方面,弱类型其实是自由的。我们无须建立复杂的次,我永远不用做强制 类型转换,也不用疲于应付类型系统以得到想要的行为。
JavaScript有非常强大的对 象字面量表示法。通过列出对象的组成部分,它们就能简单地被创建出来。这种表示法产生了流行的数据交换格式——JSON。
原型继承是JavaScript中一个有争议的特性。JavaScript有一个无类别(class-free)的对象系统,在这个系统中,对象直接从其他对象继承属性。这真的很强大,但是对那些被训练使用类去 创建对象的程序员们来说,原型继承是一个陌生的概念。如果你尝试对JavaScript直接应用基于类的设计模式,你将会遭受挫折。但是,如果你学习使用JavaScript的原型本质,那么你的努力将会有所回报。
JavaScript在关键思想的选 择上饱受非议。虽然在大多数情况下,这些选择是合适的。但是有一个选择相当糟糕:JavaScript依赖于全局变量来进行连接。所有编译单元的所有顶级变量被撮合到一个被称为全局对象的公共命名空间 中。这是一件糟糕的事情,因为全局变量是魔鬼,并且在JavaScript中它们是基础性的。
在少数情况下,我们不能忽略鸡肋 的部分。另外还有一些不可避免的糟粕,当涉及这些部分时,我们会将它们指出来。如果你想学习那些鸡肋的部分及如何拙劣地使用它们,请参阅任何其他的JavaScript书籍。
JavaScript是一门有许多差 异的语言。它包含很多错误和尖锐的边角(sharp edges),所以你可 能会疑惑:”为什么我要使用JavaScript?”有两个答 案。第一个是你没有选择。Web已变成一个重要的应用开发平 台,而JavaScript是唯一一门所有浏览器都可以识别的语言。很不幸,Java在浏览器环境中失败了。JavaScript的蓬勃发展,恰恰说明了JavaScript确有其过人之处。
另一个答案是,尽管JavaScript有缺陷,但是它真的很优秀。它既轻量又富有表现力。并且一旦你熟练掌握了它,就会发现函数式编程是 一件很有趣的事。
但是为了更好地使用这门语言,你 必须知道它的局限。我将会无情地揭示它们。不要因此而气馁。这门语言的精华部分足以弥补它鸡肋的不足。
1.3 一个简单的试验场
如果你有一个Web浏览器和任意一个文本编辑器,那么你就有了运行JavaScript程序所需要的一切。首先,请创建一个HTML文件,可以命名为program.html:
接下来,在同一个文件夹内,创建 一个脚本文件,可以命名为program.js:
document.writeln('Hello, world!');
下一步,用你的浏览器找开你的HTML文件去查看结果。本书贯彻始终都会用到一个method方法去定义新方法。下面是它的定义:
Function.prototype.method = function(name, func){ this.prototype[name] = func; return this; };
我会在第4章解释它。
第2章 语法
本章介绍JavaScript的精华部分的语法,并简要地概述其语言结构。
2.1 空白
空白可能表现为格式化字符或注释 的形式。空白通常没有意义,但是偶尔须要用它来分隔字符序列,否则它们就会被合并成一个单一的符号。例如,对如下代码来说:
var that = this;
var和that之间的空格是不能被移除的,但是其他的空格都可以被移除。
JavaScript提供两种注释形 式,一种是用/* */包围的块注释,另一种是以//为开头的行注释。注释应该被充分地用来提高程序的可读性。必须注意的是,注释一定要精确地描述代码。 没有用的注释比没有注释更糟糕。
用/* */包围的块注释形式来自于一门叫PL/I(注释:Programming Language One的简写。当中的”I” 其实是罗马数字的”一”,它是一种IBM公司在19世 纪50年代发明的第三代高级编程语言)的语言。在JavaScript中,那些字符也可能出现在正则表达式字面上,所以块注释对于被注释的代码块来说是不安全的。例如:
/* var rm_a = /a*/.match(s); */
导致了一个语法错误。所以,我建 议避免使用/* */注释,而用//注释代替它。
2.2 标识符
标识符由一个字母开头,其后可选 择性地加上一个或多个字母数字或下划线。标识符不能使用下面这些保留字:
abstract boolean break byte case catch char class const continue debugger default delete do double else enum export extends false final finally float for function goto if implements import in instanceof int interface long native new null package private protected public return short static super switch synchronized this throw throws transient true try typeof var volatile void while with
在这个列表中的大部分保留字尚未 用在这门语言中。这个列表不包括一些本应该被保留而没有保留的字,诸如undefined、NaN和Infinity。JavaScript不允许使用保留字来命名变量或参数。更糟糕的是,JavaScript不允许在对象字面量中,或者在一个属性存取表达式的点号之后,使用保留字作为对象的属性名。
标识符被用于语句、变量、参数、 属性名、运算符和标记。
2.3 数字
JavaScript只有一个单一的 数字类型。它在内部被表示为64位的浮点数,和Java的double一样。在JavaScript中,1和1.0是相同的值。
如果一个数字字面量有指数部分, 那么这个字面量的值是由e之前的部分乘以10的e之后部分的次方计算出来的。所以100和1e2是相同的数字。
负数可以用前缀运算符-来构成。
值NaN是一个数值,它表示一个不能产生正常结果的运算结果。NaN不等于任何值,包括它自己。你可以用函数isNaN(number)检测NaN。
值Infinity表示所有大于1.79769313486231570e+308的值。
数字拥有方法(参见第8章)。JavaScript有一个对象Math,它包含一套作用于数字的方法。例如,可以用Math.floor(number)方法将一个数字转换成一个整数。
2.4 字符串
字符串字面量可以被包围在单引号 或双引号中,它可能包含0个或多个字符。\是转义字符。JavaScript在被创建的时候,Unicode是一个16位的字符集,所以JavaScript中的所有字符都 是16位的。
JavaScript没有字符类型。 要表示一个字符,只须创建仅包含一个字符的字符串即可。
转义字符允许把那些正常情况下不 被允许的字符插入到字符串中,比如反斜线、引号和控制字符。\u约定允许指定用数字表示的字符码位。
“A”===”\u0041″
字符串有一个ength属性。例如,”seven”.length是5。
字符串是不可变的。一旦字符串被 创建,就永远无法改变它。但通过+运算符去连接其他的字符串从而得到 一个新字符串是很容易的。两个包含着完全相同的字符且字符顺序也相同的字符串被认为是相同的字符串。所以:
'c' + 'a' + 't' === 'cat'
是true。
字符串有一些方法(参见第8章)。
2.5 语句
一个编译单元包含一组可执行的语 句。在web浏览器中,每个