例外の話

『関数の呼び出し側から与えられるthis 値が実行コンテキストのThisBinding の値になる』 と言いましたが、正確な仕様はECMA-262 5.1th の 10.4.3 に書かれています。 ここでいうthisArg というのは、関数オブジェクトの内部関数[[Call]] 呼び出し時に渡されるthis 値のことです。

• 1. 関数コードが strict code であれば、thisArg がThisBinding になる
• 2. そうでない場合で、thisArg がnull かundefined であれば、ThisBinding にはグローバルオブジェクトがセットされる
• 3. そうでない場合で、Type(thisArg) がオブジェクトでないならば、ThisBinding にはToObject(thisArg) がセットされる
• 4. そうでない場合は、ThisBinding にはthisArg がセットされる

つまり、strict mode じゃなくて、this 値として渡された値がオブジェクトじゃなければ、this 値がそのままthis キーワードの値になるわけではない、ということです。

通常の関数呼び出し (Function Call)

通常の関数呼び出しの式がどのように評価されるかについては、ECMA-262 5.1th の 11.2.3 に書かれています。

関数呼び出しの形式はMemberExpression Arguments というもので、MemberExpression が呼び出される関数を表す式 (変数だったり関数式だったり)、Arguments が括弧でくくられた引数のリストです。 関数呼び出し時の手順 (11.2.3 節に書かれている内容を訳したもの) を以下に示します。

• 1. MemberExpression の実行結果を ref とする
• 2. GetValue(ref) の結果を func とする
• 3. Arguments の実行結果を argList とする
• 4. Type(func) が Object でなければ TypeError 例外を発生させる
• 5. IsCallable(func) が false なら TypeError 例外を発生させる
• 6. Type(ref) が Reference の場合:
  • a. IsPropertyReference(ref) が真の場合:
    • i. GetBase(ref) の結果をthisValue とする
  • b. そうでない場合 (ref の base は Environment Record):
    • i. GetBase(ref) のメソッド ImplicitThisValue を呼び出した結果をthisValue とする
• 7. そうでない場合 (Type(ref) が Reference でない):
  • a.thisValue は undefined
• 8. this の値として thisValue を、引数リストとして argList を提供して func の内部メソッド [[Call]] を呼び出し、その結果を返す

よくわかんないかも知れませんが、Reference 型とは何か*6、などを詳細に説明しだすと長くなってしまうので、具体例を挙げて説明します。

obj.function_name()

with(obj ) {
function_name(); // function_name は obj のプロパティ
}

varfunction = function() { ... };
function();

(function() { ... })();

ここで決定したthisValue が、this 値として内部関数[[Call]] に渡されます。

Function.prototype.call メソッドやFunction.prototype.apply メソッド

ECMA-262 5.1th の 15.3.4.4 やECMA-262 5.1th の 15.3.4.3 を見ればわかるように、これらのメソッドに渡された第 1 引数がそのままthis 値として内部関数[[Call]] に渡されます。

Function.prototype.bind メソッドによって生成された関数オブジェクトの内部メソッド[[Call]] の中

Function.prototype.bind メソッドにより生成された関数オブジェクトは、bind メソッドの第 1 引数として渡された値を内部プロパティ[[BoundThis]] に保持しています。 そして、内部メソッド[[Call]] として、通常の関数オブジェクトとは異なるものをもっています。 この[[Call]] メソッド (ES-15.3.4.5.1) の処理を見ると、内部プロパティ[[BoundThis]] をthis 値として、呼び出し対象関数オブジェクトの[[Call]] メソッドを呼び出しています。 結局のところ、bind メソッドの第 1 引数として渡された値がそのままthis 値として渡されるわけですね。

new演算子によるコンストラクタ呼び出し

ECMA-262 5.1th の 11.2.2 を見ると、new演算子の右辺に書かれた関数オブジェクトの内部メソッド[[Construct]] が呼び出されることがわかります。ECMA-262 5.1th の 13.2.2 を見ると、[[Construct]] の中で新たに生成されたオブジェクトが、最終的に関数の[[Call]] メソッドにthis 値として渡されることがわかります。

その他

その他に関数オブジェクトの内部メソッド[[Call]] が呼ばれることってあるんだろうか。 わかりません。