Javascript概览

Javascript(ECMAScript)是，除了作为客户端网页脚本的事实标准外，也逐渐在服务器端取得一些应用（如Node），还在个别其它地方用作脚本语言（如PDF）。JS是一种基于对象的动态类型语言，但并不基于类而基于原型。JS的对象可看作其它语言中的散列表，键值对即属性（键称为属性的名字，值称为属性的值）不区分方法和域，其中每个对象有一个prototype属性的值称为对象的原型。

类型系统

分类

基本类型

未定义类型

只有一个值undefined，未被赋值的变量都有这个值。

空类型

只有一个值null。

布尔类型

只有两个值true和false分别表示真、假。

符号类型

符号用作对象的属性的键，符号都是惟一和不可变的，并与undefined或字符串关联。

字符串类型

字符串是由零个或多个16位无符号整数组成的序列，用从0开始的指标引用各整数。其中的整数通常用于表示UTF-16代码点。

数值类型

数值即IEEE754双精度浮点数。

对象类型

对象就是属性的集合，属性即键值对，由键（是字符串的话叫名字）。属性可分为：

• 数据属性关联一个值和一些布尔配置：
  • [[Value]]值为取访问属性时得到的值（默认为undefined）
  • [[Writable]]决定能否改变属性的值（默认为false）
  • [[Enumerable]]决定能否用for‐in遍历（默认为false）
  • [[Configurable]]决定能否删除属性、改变配置（除把[[Writable]]改为false）、改为访问器属性（默认为false）
• 访问器属性关联一个或两个访问器函数和一些布尔配置：
  • [[Get]]值为取访问时被以空参数列表调用以返回值的函数对象（默认为undefined）
  • [[Set]]值为设访问时被以被设值为单一参数调用的函数对象（默认为undefined）
  • [[Enumerable]]决定能否用for‐in遍历（默认为false）
  • [[Configurable]]决定能否删除属性、改变配置、改为数据属性（默认为false）

类型转换

到基本类型

1. 如对象有toPrimitive方法，调用它并返回结果
2. • 若提示为字符串，依次尝试调用对象的toString或valueOf方法，得到非对象就返回它
   • 依次尝试调用对象的valueOf或toString方法，得到非对象就返回它
3. 抛出TypeError异常

到布尔类型

undefined、null、false、+0、-0、NaN、""被转换为false，否则为true。

到数值类型

到字符串类型

到对象类型

语法

JS代码分为：

• 全局代码不解析为FunctionDeclaration、FunctionExpression、GeneratorDeclaration、GeneratorExpression、MethodDefinition、ArrowFunction、ClassDeclaration或ClassExpression的部分
• Eval代码是给内置函数eval的代码文本的全局部分
• 函数代码为解析为FunctionDeclaration、FunctionExpression、GeneratorDeclaration、GeneratorExpression、MethodDefinition、ArrowFunction、ClassDeclaration或ClassExpression的部分，但不包括嵌套的
• 模块代码为作为模块体的代码文本，在模块初始化时运行，不包括解析为FunctionDeclaration、FunctionExpression、GeneratorDeclaration、GeneratorExpression、MethodDefinition、ArrowFunction、ClassDeclaration或ClassExpression的部分

在以下情况会启用严格模式：

• 由含的导言开始的全局代码
• 模块代码
• 类定义和类表达式中
• 由含的导言开始的全局代码或由严格模式代码直接调用的eval代码
• 由Use Strict导言开始或关联的FunctionDeclaration、FunctionExpression、GeneratorDeclaration、GeneratorExpression、MethodDefinition、ArrowFunction、ClassDeclaration或ClassExpression包含于严格模式代码的函数代码
• 开始于含Use Strict导言的作为内置函数和生成器构造器的参数的函数代码

词法

注释

JS的注释与Java等等类似，有两种形式：

• 从//到行结束符前（不包括行结束符以免影响自动分号插入）
• 从/*开始到最近的*/

标号

以下之一：

{ ( ) [ ] . ... ; , < > <= >= == != === !== + ‐ * % ++ ‐‐ << >> >>> & | ^ ! ~ && || ? : = +=
‐= *= %= <<= >>= >>>= &= |= ^= => ** **=
/ /=
}

自动分号插入

假设从左到右解析脚本或模块，

• 若遇到没有生成规则接受一个标记，并且
  • 该标记前有行结束符
  • 该标记为}
  • 前一标记为)且插入的分号会被解析为do-while语句的结束 则在标记前插入分号
• 若遇到输入结束而未能完成解析，则插入分号到输入结束处
• 若遇到只有受限的生成规则容许的标记且会成为标注“[no LineTerminator here]”（如=>、++或--前；return、continue、break、throw、yield后；）后的首个符号，但与上一标记相隔至少一个行结束符，则在标记前插入分号

然而，如插入的分号会被解析为空语句或for语句头的两个分号之一，则不进行插入。

标识符

标识符由$、_或有ID_START属性的Unicode字符开始，然后是零个可多个$、_、U+200C、U+200D、或有ID_Continue属性的Unicode字符，其中的字符也可用转义序列如\u{十六进制整数}或\uhhhh（但仍要满足前述规则）。但以下是保留字：

• null
• true和false
• 关键字break、do、in、typeof、case、else、instanceof、var、catch、export、new、void、class、extends、return、while、const、finally、super、with、continue、for、switch、yield、debugger、function、this、default、if、throw、delete、import、try
• enum和await 两个标识符视为相等当且仅当它们对应相同的代码点序列

空常量

null

布尔常量

true和false

字符串常量

字符串由"包围的以下序列组成：

• "、\和行结束符外的其它字符，表示它自身
• \后接一个或以上行结束符，不表示什么
• \u后接四个十六进制数字表示有指定代码点的字符
• \u{一个或以上十六进制数字}表示有指定代码点的字符
• \x后接两个十六进制数字表示有指定代码点的字符
• \0、\b、\t、\n、\v、\f、\r、\"、\'、\\含义如Java
• \后接无关字符则表示该字符

上述的"可以同时改为'。

正则表达式常量

正则表达式表示为/表达式/选项，其中表达式中首字符不能为*，也不能有换行或/，选项为可用于标识符中非开始处的字符组成的序列。

模板常量

模板由`包围，其中除由${与}包围处外，由以下组成：

• `、\、$外的其它字符
• \后接一个或以上行结束符
• \u后接四个十六进制数字
• \u{一个或以上十六进制数字}
• \x后接两个十六进制数字
• \0、\b、\t、\n、\v、\f、\r、\"、\'、\\
• \后接无关字符则表示该字符

数值常量

• 二进制的0b或0B后接由0和1`组成的非空序列
• 八进制的0o或0O后接由0到7组成的非空序列
• 十进制的依次由以下部分组成：
  • 可选的整数部分为由0到9组成的序列
  • 可选的小数部分为.和由0到9组成的序列（与上一条加起来至少要有一个数字）
  • 可选的指数部分由e或E、可选的+或-、由0到9组成的非空序列组成
• 十六进制的0x或0X后接由0到9、a到f、A到F组成的非空序列

表达式

其中，

• 数组常量由[开始、由]结束，中间为由,分隔的零个或多个赋值表达式或空，赋值表达式前可以有...以表示展开
• 对象常量由{开始、由}结束，中间为由,分隔的零个或多个属性定义：
  • 标识符
  • 标识符=赋值表达式
  • 属性名:赋值表达式，其中属性名为标识符、字符串、数值或[赋值表达式]
  • 方法声明

其中，参数由(开始、由)结束，中间为由,分隔的零个或多个赋值表达式，赋值表达式前可以有...以表示展开

其中赋值运算符为以下之一：

= *= /= %= += ‐= <<= >>= >>>= &= ^= |= **=

箭头表达式则形如箭头形参 => {函数体}或箭头形参 => 不始于花括号的赋值表达式，其中箭头形参为以下之一：

• 标识符
• ( 表达式 )
• ( )
• ( ... 标识符 )
• ( ... 绑定模式 )
• ( 表达式 , ... 标识符 )
• ( 表达式 , ... 绑定模式 )

yield表达式形如以下之一：

• yield表示生成undefined
• yield 赋值表达式表示生成赋值表达式的值
• yield * 赋值表达式表示生成赋值表达式的值（作为迭代器）的最后一个元素

语句和声明

语句

语句|语法|效果 :—|:—|:— 块|由{开始、由}结束，中间为由;分隔的零个或多个语句或声明|在新环境中按块中声明初始化，然后在块中依次运行块中语句，最后得到的非空值（如有）作为块语句的值，退出块前恢复原来环境 变量|由var开始，然后是由,分隔的一个或多个变量声明，最后以;结束|引入变量 空|;| 表达式|表达式 ;，但开始时向前看符号非{ 、function、class、let [|值为表达式的值 分支|if ( 表达式 ) 语句 else 语句|若表达式求值转换为布尔值true，值为首语句的值，否则为次语句的值 分支|if ( 表达式 ) 语句|若表达式求值转换为布尔值true，值为首语句的值，否则为undefined 继续|continue 表达式;或continue;|结束指定或最内层循环的当前迭代 离开|break 表达式;或break;|离开指定或最内层循环或switch语句 返回|return 表达式;|返回表达式的值 环境|with ( 表达式 ) 语句|先把表达式求值为一个对象，然后以它和原环境构造新环境运行语句，以语句的值为值 循环|do 语句 while ( 表达式 ) ;|运行语句，再求值表达式，若其值转换为true则重复，值为最后运行的非空值语句的值（如有） 循环|while ( 表达式 ) 语句|求值表达式，若其值转换为true则求值语句并重复，值为最后运行的非空值语句的值（如有） 循环|for ( [lookahead ∉ { let [ }] 表达式 opt ; 表达式 opt ; 表达式 opt ) 语句 |先求值首个表达式，然后在每次迭代前求值次表达式，若其值转换为true则运行语句再求值末表达式，再准备下次迭代，其值为语句的最后一个非空值 循环|for ( var 变量声明列表 ; 表达式 opt ; 表达式 opt ) 语句|先声明变量，然后在每次迭代前求值首表达式，若其值转换为true则运行语句再求值末表达式，再准备下次迭代，其值为语句的最后一个非空值 循环|for ( 词法作用域变量声明 表达式 opt ; 表达式 opt ) 语句|在新环境中声明变量，然后在每次迭代前求值首表达式，若其值转换为true则运行语句再求值末表达式，再准备下次迭代，其值为语句的最后一个非空值 循环|for ( [lookahead ∉ { let [ }] 左值表达式 in 表达式 ) 语句|先求值表达式得到一对象，从而枚举其属性键字符串的迭代器，每次迭代中把当前元素（解构）赋值给左值表达式的值，再运行语句 循环|for ( var for绑定 in 表达式 ) 语句|先求值表达式得到一对象，从而枚举其属性键字符串的迭代器，每次迭代中把当前元素（解构）赋值给for绑定，再运行语句 循环|for ( for声明 in 表达式 ) 语句|先求值表达式得到一对象，从而枚举其属性键字符串的迭代器，每次迭代中把当前元素（解构）赋值给for声明中的for绑定，再运行语句 循环|for ( [lookahead ≠ let] 左值表达式 of 赋值表达式 ) 语句|先求值赋值表达式得到一迭代器，每次迭代中把当前元素（解构）赋值给左值表达式的值，再运行语句 循环|for ( var for绑定 of 赋值表达式 ) 语句|先求值赋值表达式得到一迭代器，每次迭代中把当前元素（解构）赋值给for绑定，再运行语句 循环|for ( for声明 of 赋值表达式 ) 语句|先求值赋值表达式得到一迭代器，每次迭代中把当前元素（解构）赋值给for声明中的for绑定，再运行语句 选择|switch ( 表达式 ) {零个或多个case子句和至多一个default子句 } ，其中case子句如case 表达式 : 零个或多个语句或声明、default子句如default : 零个或多个语句或声明|先求值表达式，然后按块中初始化，找首个case表达式与它===的case子句（没有则default子句），从该处开始运行并返回最后的非空值（如有） 标号|标识符 : 语句或函数声明|与内部的语句或函数声明类似，只是其中的break和continue可用这标识符 抛出|throw 表达式 ;|抛出表达式的值 尝试|try 块 catch ( 捕获参数 ) 块|若首个块正常返回则以其返回值为值，否则在新环境中用抛出的值初始化捕获参数后运行次块，以其返回状态为本语句的返回状态 尝试|try 块 finally 块|依次运行两块，若次块正常结束，值为首块的值 尝试|try 块 catch ( 捕获参数 ) 块 finally 块|若首个块正常返回则以其返回值为A；否则在新环境中用抛出的值初始化捕获参数后运行次块，以其返回状态为A。然后运行末块，若正常结束，返回状态如A 调试|debugger`|进行与实现有关的调试工作并返回结果

其中for声明形如let for绑定或const for绑定，而for绑定为标识符或绑定模式；捕获参数为标识符或绑定模式

变量声明为以下之一：

• 标识符
• 标识符 = 赋值表达式
• 绑定模式 = 赋值表达式 其中绑定模式为以下之一：
• 对象模式由{和}包围，中间是由,分隔的零个或多个标识符或标识符 = 赋值表达式
• 数组模式由[开始、由]结束，中间为由,分隔的零个或多个标识符或标识符 = 赋值表达式或绑定模式或绑定模式 = 赋值表达式或空，最后也可以是...后接标识符或绑定模式

声明

类声明

由class开始，然后是可选的标识符（类名），然后是可选的extends 左值表达式，最后是由{与}包围的零个或多个类元素：

• 方法声明
• static 方法声明
• ;

其中方法声明如以下之一：

• 属性名 ( 形参列表 ) { 函数体 }
• * 属性名 ( 形参列表 ) { 函数体 }
• get 属性名 ( ) { 函数体 }
• set 属性名 ( 绑定元素 ) { 函数体 }

词法作用域变量声明

由let或const开始，然后是由,分隔的一个或多个以下形式的绑定：

• 标识符
• 标识符 = 赋值表达式
• 绑定模式 = 赋值表达式

函数声明

形如function 标识符 ( 形参列表 ) { 函数体 }或function ( 形参列表 ) { 函数体 }，其中

• 形参列表为由零个或多个由,分隔形参组成：
  • 绑定元素
  • 最后一个也可以是...后接标识符或绑定模式
• 函数体为可选的语句列表

值得一提的是，在严格模式下函数体可进行尾调用优化。

生成器声明

形如function * 标识符 ( 形参列表 ) { 函数体 }或function * ( 形参列表 ) { 函数体 }

脚本和模块

脚本就是零个或多个语句或声明的列表。

模块则是零个或多个导入声明、导出声明、语句或声明的列表。

导入声明形如以下之一：

• `import 标识符 from 字符串字面值 ;
• `import * as 标识符 from 字符串字面值 ;
• `import { 标识符 , …} from 字符串字面值 ;
• `import 标识符 , * as 标识符 from 字符串字面值 ;
• `import 标识符 , { 标识符 , …} from 字符串字面值 ;
• import 字符串字面值 ;

导出声明形如以下之一：

• export * from 字符串字面值 ;
• export {标识符 , ...} from 字符串字面值 ;
• export {标识符 , ...} ;
• export 变量语句
• export 声明
• export default 函数声明或生成器声明
• export default 类声明
• export default [lookahead ∉ { function , class }] 赋值表达式 ;

内置对象

如无特殊说明，约定：

• 如果调用时参数不足，没给定的视为undefined；如果参数过多，多余的会被忽略或用于实现有关的用途。
• 内置函数和构造器的原型为Function.prototype，其它内置对象的原型为Object.prototype。
• 内置函数的length属性值为接受的最多命名参数个数，不可写、不可枚举、可设置。
• 非匿名内置函数的name属性值为函数名，不可写、不可枚举、可设置。
• 其它数据属性可写、不可枚举、可设置。
• 其它访问器属性不可枚举、可设置。

全局对象

惟一的全局对象在进入任何执行正文前创建，原型与实现有关，不能作为函数或构造器。

构造器属性|说明 :—|:— Array ( . . . ) ArrayBuffer ( . . . ) Boolean ( . . . ) DataView ( . . . ) Date ( . . . )18.3.6 Error ( . . . ) EvalError ( . . . ) Float32Array ( . . . ) Float64Array ( . . . ) Function ( . . . ) Int8Array ( . . . ) Int16Array ( . . . ) Int32Array ( . . . ) Map ( . . . ) Number ( . . . ) Object ( . . . ) Proxy ( . . . ) Promise ( . . . ) RangeError ( . . . ) ReferenceError ( . . . ) Set ( . . . ) String ( . . . ) Symbol ( . . . ) SyntaxError ( . . . ) TypeError ( . . . ) Uint8Array ( . . . ) Uint8ClampedArray ( . . . ) Uint16Array ( . . . ) Uint32Array ( . . . ) URIError ( . . . ) WeakMap ( . . . ) WeakSet ( . . . )

基本的对象

Object

Object原型为函数原型。

属性|说明 :—|:— Object.assign ( target, …sources )|把各source的各自身可枚举属性都复制到target Object.create ( O, Properties )|创建以O为原型的对象并加入指定属性 Object.defineProperties ( O, Properties )|给O加入指定属性 Object.defineProperty ( O, P, Attributes )|给O加入指定属性 Object.freeze ( O )|冻结对象 Object.getOwnPropertyDescriptor ( O, P )|返回自身属性描述 Object.getOwnPropertyNames ( O )|返回自身属性名数组 Object.getOwnPropertySymbols ( O )|返回自身属性名符号数组 Object.getPrototypeOf ( O )|返回原型 Object.is ( value1, value2 )|返回两者是否等值 Object.isExtensible ( O )返回是否可扩展 Object.isFrozen ( O )|返回O是否被冻结 Object.isSealed ( O )|返回O是否没有被冻结 Object.keys ( O )|返回键数组 Object.preventExtensions ( O )|禁止扩展 Object.prototype|原型，不可写、不可配置 Object.seal ( O )|解冻O Object.setPrototypeOf ( O, proto )|设置原型

Object.prototype原型为null。

Function

Boolean

Symbol

Error

原生的运行期错误EvalError、RangeError、ReferenceError、SyntaxError、TypeError、URIError有类似结构，但不是Error，以下用NativeError指代它们：

数值和日期

Number

Number属性|说明 Number.EPSILON|1与比1大的最小数值的距离，约为$2.2204460492503130808472633361816x10^{‐16}$，不可写、不可配置 This property has the attributes { [[Writable]]: false, [[Enumerable]]: false, [[Con伀氂igurable]]: false }. Number.isFinite ( number )|返回number是否有限的数值 Number.isInteger ( number )|返回number是否视为整数数值 Number.isNaN ( number )|返回number是否NaN数值 Number.isSafeInteger ( number )|返回number是否绝对值不超过$2^{53}-1$的整数数值 Number.MAX_SAFE_INTEGERNOTE|最大的整数使它和它的后继可精确表示为数值，即$2^{53}‐1$，不可写、不可配置 Number.MAX_VALUE|最大的数值，约$1.7976931348623157 × 10^{308}$，不可写、不可配置 Number.MIN_SAFE_INTEGER|最小的整数使它和它的前驱可精确表示为数值，即$-2^{53}+1$，不可写、不可配置 Number.MIN_VALUE|最小的正数值，约$5×10^{‐324}$，不可写、不可配置 Number.NaN|NaN数值，不可写、不可配置 Number.NEGATIVE_INFINITY|负无穷数值，不可写、不可配置 Number.parseFloat ( string )|同parseFloat Number.parseInt ( string, radix )|同parseInt Number.POSITIVE_INFINITY|正无穷数值，不可写、不可配置

Math

以下函数会把参数先转换为数值：

Date

Date对象有时间值，即从1970年起的毫秒数。

另外，转换Date对象为基本类型对象时，”default”视为”string”

文本

String

另外String有不可写、不可配置的length属性表示代码单元数，还可以对代码点迭代。

RegExp

RegExp对象封闭正则表达式和一些标志。

RegExp对象还有不可配置的lastIndex属性表示下次运行的开始位置

数组

数组

数组对象还有属性length，并且可迭代。

类型化数组

以下用TypedArray指代上述的构造器。

%TypedArray%是各TypedArray构造器都继承的内部对象，它的构造器总抛出异常。

属性|说明 :—|:— get %TypedArray%.prototype.buffer|返回已读缓冲 get %TypedArray%.prototype.byteLength|返回字节长度 get %TypedArray%.prototype.byteOffset|返回字节偏移 %TypedArray%.prototype.constructor|初始为%TypedArray% %TypedArray%.prototype.copyWithin (target, start [ , end ] )|类似Array.prototype.copyWithin %TypedArray%.prototype.entries ( )|返回键值对迭代器 %TypedArray%.prototype.every ( callbackfn [ , thisArg ] )类似Array.prototype.every %TypedArray%.prototype.fill (value [ , start [ , end ] ] )|类似Array.prototype.fill %TypedArray%.prototype.filter ( callbackfn [ , thisArg ] )|类似Array.prototype.filter %TypedArray%.prototype.find (predicate [ , thisArg ] )|类似Array.prototype.find %TypedArray%.prototype.findIndex ( predicate [ , thisArg ] )|类似Array.prototype.findIndex %TypedArray%.prototype.forEach ( callbackfn [ , thisArg ] )|类似Array.prototype.forEach %TypedArray%.prototype.indexOf (searchElement [ , fromIndex ] )|类似Array.prototype.indexOf %TypedArray%.prototype.includes ( searchElement [ , fromIndex ] )|类似Array.prototype.includes %TypedArray%.prototype.join ( separator )|串接为字符串 %TypedArray%.prototype.keys ( )|返回数组键迭代器 %TypedArray%.prototype.lastIndexOf ( searchElement [ , fromIndex ] )|返回指定元素的最后出现位置 get %TypedArray%.prototype.length|长度 %TypedArray%.prototype.map ( callbackfn [ , thisArg ] )|映射 %TypedArray%.prototype.reduce ( callbackfn [ , initialValue ] )|左折叠 %TypedArray%.prototype.reduceRight ( callbackfn [ , initialValue ] )|右折叠 %TypedArray%.prototype.reverse ( )|反转 %TypedArray%.prototype.set ( overloaded [ , offset ])|设置 %TypedArray%.prototype.slice ( start, end )|取子数组的复制品 %TypedArray%.prototype.some ( callbackfn [ , thisArg ] )|类似于Array.prototype.some %TypedArray%.prototype.sort ( comparefn )|排序 %TypedArray%.prototype.subarray( begin, end )|取子数组 %TypedArray%.prototype.toLocaleString ([ reserved1 [ , reserved2 ] ])|类似Array.prototype.toLocaleString %TypedArray%.prototype.toString ( )|同%TypedArray%.prototype.toString %TypedArray%.prototype.values ( )|返回数组值迭代器

另外，TypedArray可迭代

映射表

键用SameValueZero区分

Map

Map对象可以迭代。

Set

Set对象可以迭代。

WeakMap

WeakSet

结构化数据

ArrayBuffer

DataView

JSON

控制抽象

迭代

约定迭代器:

• 属性next值为一个返回迭代结果的函数，并且一旦返回过done属性为true的迭代结果，以后也要返回done属性为true的迭代结果
• 可选属性return值为一个返回迭代结果的函数，在不会再调用next时被调用，通常返回done属性为true的迭代结果，其值则为参数
• 可选属性throw值为一个返回迭代结果的函数，用于通知错误条件被发现，通常抛出参数或通常返回done属性为true的迭代结果

约定迭代结果:

• done属性表示是否没有可用值（未定义这属性表示false）
• value属性表示当前迭代元素值（若非done）或返回值（没有则undefined）

GeneratorFunction

另外，GeneratorFunction的实例有属性length、name、prototype

Generator

Promise

反射

Reflect

构造器|说明 :—|:— Proxy ( target, handler )

Proxy

其它对象

HTML DOM

由于JavaScript最常用于网页中的客户端脚本，经常要通过DOM与HTML文档打交道，所以经常用到有关的API。具体情况请参考W3和浏览器厂商的文档：

• http://www.w3.org/DOM/DOMTR

JavaScript框架

此外，JavaScript还有很多有用的第三方库，例如：

• JQuery提供了访问DOM、事件处理和AJAX等的一些便捷的方式