JavaScript 语法

语法（grammar）

本篇文章中主要探讨 JavaScript 中一些容易让人产生困惑、误解的语法。

1. 语句（statement）和表达式（expression）

在计算机语言中，执行特定任务的一组单词、数字和运算符被称为语句。如下：

a = b * 2;

语句由一个或多个表达式组成。表达式是对一个变量或值的引用，或者是一组值和变量与运算符的组合，可以返回一个结果值。

举例来说，a = b * 2; 这个语句中有四个表达式。

2 是一个字面值表达式。
b 是一个变量表达式，表示获取它的当前值。
b * 2 是一个算术表达式，表示进行乘法运算。
a = b * 2 是一个赋值表达式，意思是将表达式 b * 2 的结果赋值给变量 a。

1.1 语句的结果值

语句也会有一个结果值，获取语句结果值的最直接办法就是在控制台输入语句，默认情况下控制台会打印出最后一条语句的结果值。

// 该表达式的结果值是 undefined，因为 var 的结果值是 undefined
var a = 3 * 6;

在代码中，是无法获取结果值的，语法暂时不允许将获得语句的结果值赋值给变量：

// 该语句的结果值是 42，即最后一个语句 b = 4 + 38 的结果值
var b;
if (true) {
  b = 4 + 38;
}

不过可以通过 eval 得到结果值（开发中避免使用）：

var a, b;
a = eval("if (true) { b = 4 + 38; }");
a; // 42

1.2 表达式的副作用

大部分表达式没有副作用，副作用会将变量的值改变。比如递增运算符++，执行完成后会，变量本身会被改变。

如下表达式会报错，根据优先级首先执行 a++，返回 42，然后执行 ++42，这时候就会报错，因为 ++ 无法直接在 42 这样的值上产生副作用。

++a++; // ReferenceError

2. 自动分号

有时 JavaScript 会自动为代码行补上缺失的分号，即自动分号插入(Automatic Semicolon Insertion，ASI)。

注意: ASI 只在换行符处起作用，而不会在代码行的中间插入分号。

如果 JavaScript 解析器发现代码行可能因为缺失分号而导致错误，那么它就会自动补上分号。并且，只有在代码行末尾与换行符之间
除了空格和注释之外没有别的内容时，它才会这样做。

如下代码，会在 b 之后补上分号：

var a = 42, b
c;

另外及 ASI 的情况是 break、continue、return 和 yield(ES6)等关键字。

ASI 是一个语法纠错机制。不要为了追求“代码的美观”，省去一些键盘输入。所以在所有需要的地方加上分号，将对 ASI 的依赖降到最低。

3. try...finally

finally 中的代码总是会在 try 之后执行，如果有 catch 的话则在 catch 之后执行。

3.1 try 中有 return 语句

如下 return 先执行，将 foo 的返回值设置为 42，当 try 执行完毕，接着执行 finally，最后函数执行完毕。

function foo() {
  try {
    return 42;
  } finally {
    console.log("Hello");
  }
  console.log("never runs");
}
console.log(foo());

// Hello
// 42

3.2 try 中的 throw

规则同上。

function foo() {
  try {
    throw 42;
  } finally {
    console.log("Hello");
  }
  console.log("never runs");
}

console.log(foo());
// Hello
// Uncaught Exception: 42

3.3 finally 中抛出异常

如果 finally 中抛出异常，函数就会终止，try 中 return 设置的返回值也会被丢弃：

function foo() {
  try {
    return 42;
  } finally {
    throw "Oops!";
    console.log("never runs");
  }
}
console.log(foo()); // Uncaught Exception: Oops!

3.4 try 中的 continue 和 break

如下，continue 在每次循环之后，会在 i++ 执行之前执行 console.log(i)

for (var i = 0; i < 10; i++) {
  try {
    continue;
  } finally {
    console.log(i);
  }
}
// 0 1 2 3 4 5 6 7 8 9

3.5 finally 中的 return

finally 中的 return 会覆盖 try 和 catch 中 return 的返回值：

function foo() {
  try {
    return 42;
  } finally {
    // 没有返回语句，所以没有覆盖
  }
}
function bar() {
  try {
    return 42;
  } finally {
    // 覆盖前面的 return 42
    return;
  }
}
function baz() {
  try {
    return 42;
  } finally {
    // 覆盖前面的 return 42
    return "Hello";
  }
}
foo(); // 42
bar(); // undefined
baz(); // Hello

4. switch

case 表达式的匹配算法与 === 相同。