语法(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 表达式的匹配算法与 === 相同。