"use strict"
最近のモダンな JavaScript では、必ず
つまり、各々のプログラムや、関数なかの最初にある複数ありうる文字列の中で
関係ない文字列があってもOK
コメントがあっても、スペースがあってもOK
でもこれはダメ
こういうのもダメ
手抜きなのですが、ECMA-262 の Annex C - The Strict Mode of ECMAScript に詳しいです。全部列挙するのは大変なので原文に目をお通しください。
間違いや typo の指摘やアドバイスは @niw まで是非!
では、
"use strict"
"use strict" でググると Perl のそれが出てきますが、Perl の話はしません。あとセミコロンの話もしません。
"use strict"とはそもそもなにか
"use strict" は、Use Strict Directive と呼ばれています。
これは ECMA-262 の 14.1 Directive Prologues and the Use Strict Directive によって示されています。
AUse Strict Directive is an ExpressionStatement in a Directive Prologue
whose StringLiteral is either the exact character sequences "use strict"or'use strict'.
A Use Strict Directive may not contain an EscapeSequenceorLineContinuation.
つまり、Directive Prologue のなかの ExpressionStatement で、その StringLiteral が完全に "use strict" か 'use strict' に一致するもの、という事ですね。エスケープとか入ってちゃダメよ、とも書いてあります。
じゃあ Directive Prologue とは、となります。それは ECMA-262 の同じセクションで示されています。
ADirective Prologue is the longest sequence of ExpressionStatement productions
occurring as the initial SourceElement productions of a ProgramorFunctionBody
and where each ExpressionStatement in the sequence consists entirely of a StringLiteral
token followed a semicolon.
The semicolon may appear explicitly or may be inserted by automatic semicolon insertion.
A Directive Prologue may be an empty sequence.
第二文はみんな大好きセミコロンの話なので横においておくと、この無茶苦茶に長い第一文が Directive Prologue とは何かについて語っています。で、長いのですが注意深く読むと、プログラムや関数の最初に連続して現れる文字列たちのことだとわかります。
"use strict"の例
つまり、各々のプログラムや、関数なかの最初にある複数ありうる文字列の中で "use strict" か 'use strict' に完全に一致する文字列が Use Strict Directive となります。ということは次のような例が挙げられます。
プログラムの先頭にある
"use strict" // Use Strict Directive
var a = 1
…
"use puni puni"
"use strict" // Use Strict Directive
var a = 1
...
// Comment
"use strict" // Use Strict Directive
var a = 1
...
FunctionBody の中でもOK
function f() {
"use strict"
var a = 1
...
}
var a = 1
"use strict" // NOT Use Strict Directive
...
"us\145 strict" // NOT Use Strict Directive
var a = 1
...
"use strict"があるとどうなるのか
Use Strict Directive があると、ECMA-262 の 10.1.1 Strict Mode Code に記載のある通り、文法が Strict Mode になります。ふんわか解釈するとこんな感じです。
●Global code is strict global code if it begins with a Directive Prologue that
contains a Use Strict Directive (see 14.1).
プログラムの先頭の Directive Prologue に Use Strict Directive があればそのコード全体が Strict Mode になります。
●Eval code is strict eval code if it begins with a Directive Prologue that
contains a Use Strict Directive or if the call to eval is a direct call (see 15.1.2.1.1) to
the eval function that is contained in strict mode code.
eval のコードの先頭の Directive Prologue に Use Strict Directive があるか、Strict Mode のコードから直接呼び出される eval のコードは Strict Mode になります。
●Function code that is part of a FunctionDeclaration, FunctionExpression,
or accessor PropertyAssignment is strict function code
if its FunctionDeclaration, FunctionExpression, or PropertyAssignment is contained
in strict mode code or if the function code begins with a Directive Prologue that contains
a Use Strict Directive.
●Function code that is supplied as the last argument to the built-in Function constructor
is strict function code if the last argument is a String that when processed as a FunctionBody
begins with a Directive Prologue that contains a Use Strict Directive.
関数のコードの先頭の Directive Prologue に Use Strict Directive があればその関数全体が Strict Mode になります。あるいは、その関数を定義する場所が Strict Mode であればその場合も Strict Mode になります。
"use strict"の意地悪な例
"use strict" の含まれるコードや eval の中身、関数の中身はその全体が Strict Mode になるところがポイントです。
ですので、わりと稀有なというかかなり意地悪な例としてはこんなのが考えられます。
"us\145 puni puni"
"use strict" // Use Strict Directive
var a = 1
...
"use strict" は正しい Use Strict Directive です。ですのでコード全体が Strict Mode になります。
しかし Strict Mode では文字列中での \nnn による8進数のエスケープは許されませんから、1行目の \145 は SyntaxError です。ということで以下のありがちな思い込みは誤りです。
●"use strict" は先頭にないといけない
●"use strict" と書いた以降が Strict Mode になる
最近一部で有名なあの言語のソースでも誤って使われていたりするので気をつけましょう。
これは Strict Mode な気分でコード書いてんねんで、っていう意思表示には十分ですが、機能していません。
"use strict"があるとどうなるのか
手抜きなのですが、ECMA-262 の Annex C - The Strict Mode of ECMAScript に詳しいです。全部列挙するのは大変なので原文に目をお通しください。
"use strict" を使って楽しい JavaScript ライフを!