Der Unterschied zwischen Anweisungen und Ausdrücken wird deutlicher, wenn wir uns Mitglieder der beiden syntaktischen Kategorien ansehen, die ähnlich sind: die if-Anweisung und der ternäre Operator (ein Ausdruck).

Das Folgende ist ein Beispiel für eine if-Anweisung:

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

Es gibt eine ähnliche Art von Ausdruck, den ternären Operator. Die vorherigen Anweisungen sind äquivalent zum folgenden Code:

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

Der Code zwischen dem Gleichheitszeichen und dem Semikolon ist ein Ausdruck. Die Klammern sind nicht notwendig, aber ich finde den ternären Operator leichter zu lesen, wenn ich ihn in Klammern setze.

Zwei Arten von Ausdrücken sehen wie Anweisungen aus – sie sind hinsichtlich ihrer syntaktischen Kategorie mehrdeutig:

Um Mehrdeutigkeiten während des Parsens zu vermeiden, lässt JavaScript keine Objektliterale und Funktionsausdrücke als Anweisungen zu. Das heißt, Ausdrucksanweisungen dürfen nicht beginnen mit

Wenn ein Ausdruck mit einem dieser Token beginnt, kann er nur in einem Ausdruckskontext erscheinen. Sie können diese Anforderung erfüllen, indem Sie beispielsweise Klammern um den Ausdruck setzen. Als Nächstes werden wir uns zwei Beispiele ansehen, bei denen dies notwendig ist.

eval parst sein Argument in einem Anweisungskontext. Sie müssen Klammern um ein Objektliteral setzen, wenn Sie möchten, dass eval ein Objekt zurückgibt:

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

Der folgende Code ist ein sofort aufgerufener Funktionsausdruck (IIFE), eine Funktion, deren Körper sofort ausgeführt wird (was Sie über IIFEs erfahren, lesen Sie in Einführung eines neuen Gültigkeitsbereichs über ein IIFE)

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

Wenn Sie die Klammern weglassen, erhalten Sie einen Syntaxfehler, da JavaScript eine Funktionsdeklaration sieht, die nicht anonym sein kann.

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

Wenn Sie einen Namen hinzufügen, erhalten Sie ebenfalls einen Syntaxfehler, da Funktionsdeklarationen nicht sofort aufgerufen werden können.

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

Was auch immer einer Funktionsdeklaration folgt, muss eine legale Anweisung sein und () ist keine.

Der folgende Code enthält einen Zeilenumbruch gefolgt von einem ungültigen Token:

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

Das Token console ist nach 0 ungültig und löst ASI aus.

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

Im folgenden Code wird die Anweisung innerhalb der geschweiften Klammern nicht durch ein Semikolon beendet:

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

ASI erstellt eine syntaktisch korrekte Version des vorherigen Codes.

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

ASI wird auch ausgelöst, wenn nach dem Schlüsselwort return ein Zeilenumbruch steht. Zum Beispiel:

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

ASI verwandelt das Vorherige in

return;
{
    name: 'John'
};

Das ist ein leeres Return, gefolgt von einem Block mit der Markierung name vor der Ausdrucksanweisung 'John'. Nach dem Block gibt es eine leere Anweisung.

Manchmal beginnt eine Anweisung in einer neuen Zeile mit einem Token, das als Fortsetzung der vorherigen Anweisung zulässig ist. Dann wird ASI nicht ausgelöst, obwohl es den Anschein hat, als sollte es das. Zum Beispiel:

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

Die eckigen Klammern in der zweiten Zeile werden als Index in das von func() zurückgegebene Ergebnis interpretiert. Das Komma in den Klammern wird als KommaOperator interpretiert (der in diesem Fall 'ol' zurückgibt; siehe Der Komma-Operator). Daher sieht JavaScript den vorherigen Code so:

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

Im Strikten Modus müssen alle Funktionen auf der obersten Ebene eines Gültigkeitsbereichs (globaler Gültigkeitsbereich oder direkt innerhalb einer Funktion) deklariert werden. Das bedeutet, dass Sie keine Funktionsdeklaration innerhalb eines Blocks platzieren können. Wenn Sie dies tun, erhalten Sie eine aussagekräftige SyntaxError. Zum Beispiel sagt V8 Ihnen: „In striktem Code können Funktionen nur auf oberster Ebene oder unmittelbar innerhalb einer anderen Funktion deklariert werden“:

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

Das ist ohnehin nichts Nützliches, da die Funktion im Gültigkeitsbereich der umgebenden Funktion erstellt wird, nicht „innerhalb“ des Blocks.

Wenn Sie diese Einschränkung umgehen möchten, können Sie eine Funktion innerhalb eines Blocks über eine Variablendeklaration und einen Funktionsausdruck erstellen.

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

Die Regeln für Funktionsparameter sind weniger permissiv: die doppelte Verwendung desselben Parameternamens ist verboten, ebenso wie lokale Variablen, die denselben Namen wie ein Parameter haben.

Das arguments-Objekt ist im Strikten Modus einfacher: die Eigenschaften arguments.callee und arguments.caller wurden entfernt, Sie können der Variablen arguments keine Werte zuweisen, und arguments verfolgt keine Änderungen an Parametern (wenn sich ein Parameter ändert, ändert sich das entsprechende Array-Element nicht mit ihm). Veraltete Funktionen von arguments erklärt die Details.

Im Locker Modus ist der Wert von this in Nicht-Methoden-Funktionen das globale Objekt (window in Browsern; siehe Das globale Objekt):

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

Im Strikten Modus ist es undefined.

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

Dies ist nützlich für Konstruktoren. Zum Beispiel ist der folgende Konstruktor, Point, im Strikten Modus:

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

Aufgrund des Strikten Modus erhalten Sie eine Warnung, wenn Sie versehentlich new vergessen und ihn als Funktion aufrufen.

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

Im Locker Modus erhalten Sie keine Warnung, und die globalen Variablen x und y werden erstellt. Konsultieren Sie Tipps zur Implementierung von Konstruktoren für Details.