如果我们看一下两个语法类别中相似的成员：if 语句和条件运算符（一个表达式），那么语句和表达式之间的区别就会更加清晰。

以下是一个if 语句的示例：

var salutation;
if (male) {
    salutation = 'Mr.';
} else {
    salutation = 'Mrs.';
}

有一种类似的表达式，称为条件运算符。前面的语句等效于以下代码：

var salutation = (male ? 'Mr.' : 'Mrs.');

等号和分号之间的代码是一个表达式。括号不是必需的，但我发现如果将条件运算符放在括号中，则更容易阅读。

有两种表达式看起来像语句，它们在语法类别方面存在歧义：

为了防止在解析过程中出现歧义，JavaScript 不允许你将对象字面量和函数表达式用作语句。也就是说，表达式语句不能以以下内容开头

如果表达式以这两个标记中的任何一个开头，则它只能出现在表达式上下文中。你可以通过例如将表达式放在括号中来满足该要求。接下来，我们将看两个需要这样做的例子。

eval 在语句上下文中解析其参数。如果你希望 eval 返回一个对象，则必须将对象字面量放在括号中：

> eval('{ foo: 123 }')
123
> eval('({ foo: 123 })')
{ foo: 123 }

以下代码是一个立即调用函数表达式 (IIFE)，它的主体会立即执行（你将在通过 IIFE 引入新的作用域 中了解 IIFE 的用途）

> (function () { return 'abc' }())
'abc'

如果省略括号，则会出现语法错误，因为 JavaScript 会将其视为函数声明，而函数声明不能是匿名的

> function () { return 'abc' }()
SyntaxError: function statement requires a name

如果添加名称，也会出现语法错误，因为函数声明不能立即调用

> function foo() { return 'abc' }()
SyntaxError: Unexpected token )

函数声明后面的任何内容都必须是合法的语句，而 () 不是。

以下代码包含一个行终止符，后跟一个非法标记：

if (a < 0) a = 0
console.log(a)

标记 console 在 0 之后是非法的，会触发 ASI

if (a < 0) a = 0;
console.log(a);

在以下代码中，花括号内的语句不以分号结尾：

function add(a,b) { return a+b }

ASI 创建了前面代码的语法正确版本

function add(a,b) { return a+b; }

如果关键字 return 后面有一个行终止符，也会触发 ASI。例如：

// Don't do this
return
{
    name: 'John'
};

ASI 将前面的代码转换为

return;
{
    name: 'John'
};

这是一个空的 return 语句，后面跟着一个代码块，代码块中带有标签 name，标签前面是表达式语句 'John'。代码块后面是一个空语句。

有时，新行中的语句以一个标记开头，该标记允许作为前一条语句的延续。在这种情况下，即使看起来应该触发 ASI，也不会触发它。例如：

func()
[ 'ul', 'ol' ].forEach(function (t) { handleTag(t) })

第二行中的方括号被解释为对 func() 返回的结果进行索引。方括号内的逗号被解释为逗号运算符（在本例中返回 'ol'；请参阅逗号运算符）。因此，JavaScript 将前面的代码视为：

func()['ol'].forEach(function (t) { handleTag(t) });

在严格模式下，所有函数都必须在作用域的顶层声明（全局作用域或直接在函数内部）。这意味着您不能将函数声明放在块内。如果您这样做，您将收到一个描述性的SyntaxError。例如，V8 会告诉您：“在严格模式代码中，函数只能在顶层或直接在另一个函数内部声明”：

function strictFunc() {
    'use strict';
    if (true) {
        // SyntaxError:
        function nested() {
        }
    }
}

这无论如何都没有用，因为函数是在周围函数的作用域中创建的，而不是在块的“内部”。

如果要解决此限制，可以通过变量声明和函数表达式在块内创建函数

function strictFunc() {
    'use strict';
    if (true) {
        // OK:
        var nested = function () {
        };
    }
}

函数参数的规则不那么宽松：禁止两次使用相同的参数名，以及与参数同名的局部变量。

arguments 对象在严格模式下更简单：属性arguments.callee 和arguments.caller 已被删除，您不能分配给变量arguments，并且arguments 不会跟踪参数的变化（如果参数发生变化，则相应的数组元素不会随之变化）。arguments 已弃用的功能解释了详细信息。

在草率模式下，非方法函数中this 的值是全局对象（浏览器中的window；请参阅全局对象）：

function sloppyFunc() {
    console.log(this === window);  // true
}

在严格模式下，它是undefined

function strictFunc() {
    'use strict';
    console.log(this === undefined);  // true
}

这对构造函数很有用。例如，以下构造函数Point处于严格模式：

function Point(x, y) {
    'use strict';
    this.x = x;
    this.y = y;
}

由于严格模式，当您不小心忘记new 并将其作为函数调用时，您会收到警告

> var pt = Point(3, 1);
TypeError: Cannot set property 'x' of undefined

在草率模式下，您不会收到警告，并且会创建全局变量x 和y。有关详细信息，请参阅实现构造函数的技巧。