JavaScript 特性

代码结构

语句用分号分隔：

run no-beautify

alert('Hello'); alert('World');

通常，换行符也被视为分隔符，因此下面的例子也能正常运行：

run no-beautify

alert('Hello')
alert('World')

这就是所谓的「自动分号插入」。但有时它不起作用，例如：

run

alert("There will be an error after this message")

[1, 2].forEach(alert)

大多数代码风格指南都认为我们应该在每个语句后面都加上分号。

在代码块 {...} 后以及有代码块的语法结构（例如循环）后不需要加分号：

function f() {
  // 函数声明后不需要加分号
}

for(;;) {
  // 循环语句后不需要加分号
}

……但即使我们在某处添加了「额外的」分号，这也不是错误。分号会被忽略的。

严格模式

为了完全启用现代 JavaScript 的所有特性，我们应该在脚本顶部写上 "use strict" 指令。

'use strict';

...

该指令必须位于 JavaScript 脚本的顶部或函数体的开头。

如果没有 "use strict"，所有东西仍可以正常工作，但某些功能将以老式的“兼容”方式运行。我们通常更喜欢现代的方式。

语言的一些现代特征（比如我们将来要学习的类）会隐式地启用严格模式。

变量

可以使用以下方式声明变量：

let
const（不变的，不能被改变）
var（旧式的，稍后会看到）

一个变量名可以由以下组成：

字母和数字，但是第一个字符不能是数字。
字符 $ 和 _ 是允许的，用法同字母。
非拉丁字母和象形文字也是允许的，但通常不会使用。

变量是动态类型的，它们可以存储任何值：

let x = 5;
x = "John";

有 8 种数据类型：

number — 可以是浮点数，也可以是整数，
bigint — 用于任意长度的整数，
string — 字符串类型，
boolean — 逻辑值：true/false，
null — 具有单个值 null 的类型，表示“空”或“不存在”，
undefined — 具有单个值 undefined 的类型，表示“未分配（未定义）”，
object 和 symbol — 对于复杂的数据结构和唯一标识符，我们目前还没学习这个类型。

typeof 运算符返回值的类型，但有两个例外：

typeof null == "object" // JavaScript 编程语言的设计错误
typeof function(){} == "function" // 函数被特殊对待

更多内容：info:variables 和 info:types。

交互

我们使用浏览器作为工作环境，所以基本的 UI 功能将是：

prompt(question[, default]): 提出一个问题 question，并返回访问者输入的内容，如果他按下「取消」则返回 null。

confirm(question): 提出一个问题 question，并建议用户在“确定”和“取消”之间进行选择。选择结果以 true/false 形式返回。

alert(message): 输出一个消息 message。

这些函数都会产生 模态框，它们会暂停代码执行并阻止访问者与页面的其他部分进行交互，直到用户做出回答为止。

举个例子：

run

let userName = prompt("Your name?", "Alice");
let isTeaWanted = confirm("Do you want some tea?");

alert( "Visitor: " + userName ); // Alice
alert( "Tea wanted: " + isTeaWanted ); // true

更多内容：info:alert-prompt-confirm。

运算符

JavaScript 支持以下运算符：

算数运算符: 常规的：+ - * /（加减乘除），取余运算符 % 和幂运算符 **。

二进制加号 `+` 可以连接字符串。如果任何一个操作数是一个字符串，那么另一个操作数也将被转换为字符串：

run
alert( '1' + 2 ); // '12'，字符串
alert( 1 + '2' ); // '12'，字符串

赋值: 简单的赋值：a = b 和合并了其他操作的赋值：a *= 2。

按位运算符: 按位运算符在最低位级上操作 32 位的整数：详见文档。

三元运算符: 唯一具有三个参数的操作：cond ? resultA : resultB。如果 cond 为真，则返回 resultA，否则返回 resultB。

逻辑运算符: 逻辑与 && 和或 || 执行短路运算，然后返回运算停止处的值（true/false 不是必须的）。逻辑非 ! 将操作数转换为布尔值并返回其相反的值。

空值合并运算符: ?? 运算符从一列变量中，选取值为已定义的值（defined value）的变量。a ?? b 的结果是 a，除非 a 为 null/undefined，这时结果是 b。

比较运算符: 对不同类型的值进行相等检查时，运算符 == 会将不同类型的值转换为数字（除了 null 和 undefined，它们彼此相等而没有其他情况），所以下面的例子是相等的：

run
alert( 0 == false ); // true
alert( 0 == '' ); // true


其他比较也将转换为数字。

严格相等运算符 `===` 不会进行转换：不同的类型总是指不同的值。

值 `null` 和 `undefined` 是特殊的：它们只在 `==` 下相等，且不相等于其他任何值。

大于/小于比较，在比较字符串时，会按照字符顺序逐个字符地进行比较。其他类型则被转换为数字。

其他运算符: 还有很少一部分其他运算符，如逗号运算符。

循环

我们涵盖了 3 种类型的循环：

// 1
while (condition) {
  ...
}

// 2
do {
  ...
} while (condition);

// 3
for(let i = 0; i < 10; i++) {
  ...
}

在 for(let...) 循环内部声明的变量，只在该循环内可见。但我们也可以省略 let 并重用已有的变量。
指令 break/continue 允许退出整个循环/当前迭代。使用标签来打破嵌套循环。

“switch” 结构

“switch” 结构可以替代多个 if 检查。它内部使用 ===（严格相等）进行比较。

例如：

run

let age = prompt('Your age?', 18);

switch (age) {
  case 18:
    alert("Won't work"); // prompt 的结果是一个字符串，而不是数字
    break;

  case "18":
    alert("This works!");
    break;

  default:
    alert("Any value not equal to one above");
}

详情请见：info:switch。

函数

我们介绍了三种在 JavaScript 中创建函数的方式：

函数声明：主代码流中的函数

function sum(a, b) {
  let result = a + b;

  return result;
}

函数表达式：表达式上下文中的函数

let sum = function(a, b) {
  let result = a + b;

  return result;
}

箭头函数：

// 表达式在右侧
let sum = (a, b) => a + b;

// 或带 {...} 的多行语法，此处需要 return：
let sum = (a, b) => {
  // ...
  return a + b;
}

// 没有参数
let sayHi = () => alert("Hello");

// 有一个参数
let double = n => n * 2;

函数可能具有局部变量：在函数内部声明的变量，或在其参数列表中。这类变量只在函数内部可见。
参数可以有默认值：function sum(a = 1, b = 2) {...}。
函数总是返回一些东西。如果没有 return 语句，那么返回的结果是 undefined。

详细内容：请见 info:function-basics，info:arrow-functions-basics。