JavaScript の名前付き関数式の名前への再代入

下記のコードを Node.js 0.10.26 / Chrome 39 / FireFox 33.1 のいずれで実行しても、console.log の引数の func は関数オブジェクトになります。

lang
1(function func(){
2    console.log(func);  // [Function: func]
3    func = 123;
4    console.log(func);  // [Function: func]
5}());

てっきり↓こうなると思っていました。

lang
1(function func(){
2    console.log(func);  // [Function: func]
3    func = 123;
4    console.log(func);  // 123
5}());

関数内部で var func を付けると、func は普通の変数になります。

lang
1(function func(){
2    var func;
3    console.log(func);  // undefined
4    func = 123;
5    console.log(func);  // 123
6}());

もちろん、関数式の外側のスコープに関数式の名前の識別子は存在しません。

lang
1console.log(typeof func); // undefined
2(function func(){
3    var func;
4    console.log(func);    // undefined
5    func = 123;
6    console.log(func);    // 123
7}());
8console.log(typeof func); // undefined

関数宣言の場合は再代入すれば普通に値が変わるため、関数宣言の関数名の識別子は普通の変数のように思います。

lang
1console.log(func);      // [Function: func]
2function func(){
3    console.log(func);  // [Function: func]
4    func = 123;
5    console.log(func);  // 123
6}
7func();
8console.log(func);      // 123

再代入できないものとして this とか null とかを思いつきましたが、これらに再代入しようとするとエラーになります。

lang
1null = 123; // ReferenceError: Invalid left-hand side in assignment

名前付き関数式の内部での関数名の識別子は、これらの再代入できない this や null とも違う動きをしますし、通常の変数の識別子とも違う動きをするように思います。

名前付き関数式の内部での関数名の識別子は、通常の変数とは異なる何かなのでしょうか？

行動規範の内容に同意します

回答2件

ベストアンサー

ECMAscript の仕様書によると、

13 Function Definition

（中略）

The production
FunctionExpression : function Identifier ( FormalParameterListopt ) { FunctionBody }
is evaluated as follows:

Let funcEnv be the result of calling NewDeclarativeEnvironment passing the running execution context’s Lexical Environment as the argument

Let envRec be funcEnv’s environment record.

Call the CreateImmutableBinding concrete method of envRec passing the String value of Identifier as the argument.

　
（後略）

とあり、CreateImmutableBinding とはなんじゃろな、と思ってその項を読むと、

10.2.1.1 Declarative Environment Records

Each declarative environment record is associated with an ECMAScript program scope containing variable and/or function declarations. A declarative environment record binds the set of identifiers defined by the declarations contained within its scope.

In addition to the mutable bindings supported by all Environment Records, declarative environment records also provide for immutable bindings. An immutable binding is one where the association between an identifier and a value may not be modified once it has been established.

とのことで、イミュータブルということらしいですから変更ができないのは仕様通りということになります。

投稿2014/11/24 02:27