深入理解You Don't Know JS中的JavaScript语法规则

语句与表达式的本质区别

在JavaScript中，语句(Statement)和表达式(Expression)是两个核心但常被混淆的概念。理解它们的区别对于掌握JavaScript语法至关重要。

语句就像完整的句子，执行特定操作但不一定有返回值。例如：

var a = 3 * 6;  // 声明语句
if (true) { /*...*/ }  // 条件语句

表达式则像短语，总是会计算出一个值。例如：

3 * 6  // 计算为18
a = 42  // 计算为42

语句的完成值

每个语句都有一个完成值(Completion Value)，即使这个值是undefined。在开发者控制台中，最后执行的语句的完成值会被显示出来。

有趣的是，块级作用域{...}的完成值是其最后一个语句/表达式的完成值：

var b;
if (true) {
  b = 4 + 38;  // 整个if块的完成值是42
}

虽然目前无法直接获取语句完成值用于赋值，但未来可能的语法扩展可能改变这一现状：

var a = do {
  if (true) {
    4 + 38;  // do表达式的值为42
  }
};

表达式的副作用

大多数表达式是纯净的，但有些会产生副作用：

递增/递减运算符

++和--运算符的位置决定了其行为：

var a = 42;
a++;  // 返回42，然后a变为43
++a;  // a先变为44，然后返回44

常见误区是认为(a++)能延迟副作用，实际上括号只改变优先级，不影响执行顺序。

逗号运算符

使用逗号运算符可以串联多个表达式：

var a = 42, b;
b = (a++, a);  // a先递增到43，然后b赋值为43

delete运算符

delete用于删除对象属性或数组元素，返回操作是否成功：

var obj = { a: 42 };
delete obj.a;  // 返回true，obj.a变为undefined

赋值运算符

赋值操作本身也是一个表达式，其值为被赋的值：

var a;
console.log(a = 42);  // 输出42

这使得链式赋值成为可能：

var a, b, c;
a = b = c = 42;  // 从右向左依次赋值

上下文相关的语法规则

JavaScript中相同的语法在不同上下文可能有不同含义。

花括号{}的多重身份

对象字面量

var obj = { 
  foo: bar()  // 对象字面量
};

代码块与标签语句

{
  foo: bar()  // 这是一个带标签的代码块
}

这里的foo:是标签语句，可用于break和continue的定向跳转：

outer: for (var i=0; i<3; i++) {
  for (var j=0; j<3; j++) {
    if (i === 1 && j === 1) break outer;
    console.log(i, j);
  }
}
// 当i=1,j=1时跳出外层循环

运算符优先级

理解运算符优先级能避免很多常见错误。例如：

var a = 42;
var b = a++;  // b=42, a=43

var c = (a++, a);  // 需要括号确保执行顺序

自动分号插入(ASI)

JavaScript会在某些情况下自动插入分号，但依赖这一特性可能导致意外：

function foo() {
  return  // ASI在此插入分号
    { a: 1 };
}
// 实际返回undefined而非对象

总结

深入理解JavaScript语法规则能帮助开发者：

1. 区分语句和表达式的不同行为
2. 识别可能产生副作用的表达式
3. 正确理解上下文相关的语法
4. 掌握运算符优先级规则
5. 避免自动分号插入的陷阱

这些知识对于编写健壮、可预测的JavaScript代码至关重要。