附属書 C (参考) ECMAScript の Strict モード

strict モードの制約と例外

implements、interface、let、package、private、protected、public、static、および yield は strict モードコード内では予約語です。（12.7.2）。
適合実装は strict モードコードを処理するとき、生成規則 NumericLiteral :: LegacyOctalIntegerLiteral および DecimalIntegerLiteral :: NonOctalDecimalIntegerLiteral のインスタンスを許可してはなりません。
適合実装は strict モードコードを処理するとき、生成規則 EscapeSequence :: LegacyOctalEscapeSequence および EscapeSequence :: NonOctalDecimalEscapeSequence のインスタンスを許可してはなりません。
宣言されていない識別子またはその他の解決不能な参照への代入は、グローバルオブジェクトにプロパティを作成しません。strict モードコード内で単純代入が行われる場合、その LeftHandSideExpression は解決不能な Reference に評価されてはなりません。その場合、ReferenceError 例外がスローされます（6.2.5.6）。また、LeftHandSideExpression は、属性値 { [[Writable]]: false } を持つデータプロパティ、属性値 { [[Setter]]: undefined } を持つアクセサープロパティ、または [[Extensible]] 内部スロットが false であるオブジェクトの存在しないプロパティへの参照であってはなりません。これらの場合、TypeError 例外がスローされます（13.15）。
StringValue が "eval" または "arguments" である IdentifierReference は、Assignment 演算子（13.15）または UpdateExpression（13.4）の LeftHandSideExpression、あるいは Prefix Increment（13.4.4）または Prefix Decrement（13.4.5）演算子が作用する UnaryExpression として現れてはなりません。
strict 関数の Arguments オブジェクトは、アクセス時に TypeError 例外をスローする、configurable でないアクセサープロパティ "callee" を定義します（10.4.4.6）。
strict 関数の Arguments オブジェクトは、その配列インデックス付きプロパティ値を、対応する関数の仮引数束縛と動的に共有しません。（10.4.4）。
strict 関数について arguments オブジェクトが作成された場合、ローカル識別子 arguments の arguments オブジェクトへの束縛は不変であるため、代入式のターゲットにはできません。（10.2.11）。
strict モードコード内で BindingIdentifier の StringValue が "eval" または "arguments" のいずれかである場合、SyntaxError です（13.1.1）。
strict モードの eval コードは、eval の呼出し元の変数環境内で変数または関数をインスタンス化できません。代わりに、新しい変数環境が作成され、その環境が eval コードの宣言束縛のインスタンス化に使用されます（19.2.1）。
strict モードコード内で this が評価される場合、this 値はオブジェクトへ強制変換されません。undefined または null の this 値はグローバルオブジェクトへ変換されず、プリミティブ値はラッパーオブジェクトへ変換されません。関数呼出しを介して渡される this 値（Function.prototype.apply および Function.prototype.call を使用する呼出しを含む）は、渡された this 値をオブジェクトへ強制変換しません（10.2.1.2、20.2.3.1、20.2.3.3）。
strict モードコード内に delete 演算子が現れる場合、その UnaryExpression が変数、関数引数、または関数名への直接参照であれば SyntaxError がスローされます（13.5.1.1）。
strict モードコード内に delete 演算子が現れる場合、削除対象のプロパティが属性 { [[Configurable]]: false } を持つか、その他の理由で削除できない場合、TypeError がスローされます（13.5.1.2）。
strict モードコードは WithStatement を含むことができません。そのような文脈で WithStatement が現れることは SyntaxError です（14.11.1）。
strict モードコード内に CatchParameter が現れ、その BoundNames が eval または arguments のいずれかを含む場合、SyntaxError です（14.15.1）。
strict 関数の FormalParameters 内に同じ BindingIdentifier が複数回現れる場合、SyntaxError です。Function、Generator、または AsyncFunction コンストラクターを使用してそのような関数を作成しようとすることも SyntaxError です（15.2.1、20.2.1.1.1）。
実装は、関数インスタンスの "caller" または "arguments" という名前のプロパティについて、strict 関数内での意味をこの仕様で定義されるものを超えて拡張してはなりません。