文と式の違いは、類似した2つの構文カテゴリのメンバー、つまりif文と条件演算子（式）を見るとより明確になります。

以下はif文の例です。

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

類似した種類の式、条件演算子があります。前の文は、次のコードと同等です。

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

等号とセミコロンの間のコードは式です。括弧は必須ではありませんが、括弧で囲むと条件演算子をより読みやすくできると考えています。

2種類の式は文のように見えます。構文カテゴリに関して曖昧です。

解析中の曖昧さを防ぐために、JavaScriptではオブジェクトリテラルと関数式を文として使用できません。つまり、式文は次で始まることはできません。

式がこれらのトークンのいずれかで始まる場合、式コンテキストでのみ表示できます。たとえば、式を括弧で囲むことで、この要件を満たすことができます。次に、それが必要な2つの例を見ていきます。

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; }

ASIは、キーワードreturnの後に行終端子がある場合にもトリガーされます。例：

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

ASIは上記を次のように変換します。

return;
{
    name: 'John'
};

これは、空のreturnに、ラベルnameが前にある式文'John'を含むブロックが続くものです。ブロックの後に、空文があります。

改行で始まる文が、前の文の続きとして許容されるトークンで始まる場合があります。その場合、ASIはトリガーされません。一見トリガーされそうに見えますが、そうではありません。例：

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

2行目の角括弧は、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 () {
        };
    }
}

関数パラメータのルールは、より制限的です。同じパラメータ名を2回使用することは禁止されており、パラメータと同じ名前のローカル変数も禁止されています。

厳格モードでは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が作成されます。詳細はコンストラクタの実装に関するヒントを参照してください。