一道體現JavaScript綜合能力的基礎面試題

題目如下：

function Foo() {
    getName = function () { alert (1); };
    return this;
}
Foo.getName = function () { alert (2);};
Foo.prototype.getName = function () { alert (3);};
var getName = function () { alert (4);};
function getName() { alert (5);}

//請寫出以下輸出結果：
Foo.getName();
getName();
Foo().getName();
getName();
new Foo.getName();
new Foo().getName();
new new Foo().getName();

答案是：

function Foo() {
    getName = function () { alert (1); };
    return this;
}
Foo.getName = function () { alert (2);};
Foo.prototype.getName = function () { alert (3);};
var getName = function () { alert (4);};
function getName() { alert (5);}

//答案：
Foo.getName();//2
getName();//4
Foo().getName();//1
getName();//1
new Foo.getName();//2
new Foo().getName();//3
new new Foo().getName();//3

此題包含7小問，分別說下。

第一問

先看此題的上半部分做了什麼，首先定義了一個叫Foo的函數，之後爲Foo創建了一個叫getName的靜態屬性存儲了一個匿名函數，之後爲Foo的原型對象新創建了一個叫getName的匿名函數。之後又通過函數變量表達式創建了一個getName的函數，最後再聲明一個叫getName函數。
第一問的 Foo.getName 自然是訪問Foo函數上存儲的靜態屬性，自然是2，沒什麼可說的。

第二問

第二問，直接調用 getName 函數。既然是直接調用那麼就是訪問當前上文作用域內的叫getName的函數，所以跟1 2 3都沒什麼關係。此題有無數面試者回答爲5。此處有兩個坑，一是變量聲明提升，二是函數表達式。

變量聲明提升

即所有聲明變量或聲明函數都會被提升到當前函數的頂部。
例如下代碼:

console.log('x' in window);//true
var x;
x = 0;

代碼執行時js引擎會將聲明語句提升至代碼最上方，變爲：

var x;
console.log('x' in window);//true
x = 0;

函數表達式

var getName 與 function getName 都是聲明語句，區別在於 var getName 是函數表達式，而 function getName 是函數聲明。關於JS中的各種函數創建方式可以看 大部分人都會做錯的經典JS閉包面試題 這篇文章有詳細說明。
函數表達式最大的問題，在於js會將此代碼拆分爲兩行代碼分別執行。
例如下代碼：

console.log(x);//輸出：function x(){}
var x=1;
function x(){}

實際執行的代碼爲，先將 var x=1 拆分爲 var x; 和 x = 1; 兩行，再將 var x; 和 function x(){} 兩行提升至最上方變成：

var x;
function x(){}
console.log(x);
x=1;

所以最終函數聲明的x覆蓋了變量聲明的x，log輸出爲x函數。
同理，原題中代碼最終執行時的是：

function Foo() {
    getName = function () { alert (1); };
    return this;
}
var getName;//只提升變量聲明
function getName() { alert (5);}//提升函數聲明，覆蓋var的聲明

Foo.getName = function () { alert (2);};
Foo.prototype.getName = function () { alert (3);};
getName = function () { alert (4);};//最終的賦值再次覆蓋function getName聲明

getName();//最終輸出4

補充一點：函數聲明只會被提升到塊級作用域的最上方，不會再往上聲明

第三問

第三問的 Foo().getName(); 先執行了Foo函數，然後調用Foo函數的返回值對象的getName屬性函數。
Foo函數的第一句 getName = function () { alert (1); }; 是一句函數賦值語句，注意它沒有var聲明，所以先向當前Foo函數作用域內尋找getName變量，沒有。再向當前函數作用域上層，即外層作用域內尋找是否含有getName變量，找到了，也就是第二問中的alert(4)函數，將此變量的值賦值爲 function(){alert(1)}。
此處實際上是將外層作用域內的getName函數修改了。
注意：此處若依然沒有找到會一直向上查找到window對象，若window對象中也沒有getName屬性，就在window對象中創建一個getName變量。
之後Foo函數的返回值是this，而JS的this問題在別的文章中有說明，這裏不再多說。
簡單的講，this的指向是由所在函數的調用方式決定的。而此處的直接調用方式，this指向window對象。
遂Foo函數返回的是window對象，相當於執行 window.getName() ，而window中的getName已經被修改爲alert(1)，所以最終會輸出1
此處考察了兩個知識點，一個是變量作用域問題，一個是this指向問題。

第四問

直接調用getName函數，相當於 window.getName() ，因爲這個變量已經被Foo函數執行時修改了，遂結果與第三問相同，爲1。

第五問

第五問 new Foo.getName(); ,此處考察的是js的運算符優先級問題。
通過查詢優先級表的詳細數據得知：點（.）的優先級高於new操作，遂相當於是:
new (Foo.getName)();
所以實際上將getName函數作爲了構造函數來執行，遂彈出2。

第六問

第六問 new Foo().getName() ，首先看運算符優先級括號高於new，實際執行爲
(new Foo()).getName()
遂先執行Foo函數，而Foo此時作爲構造函數卻有返回值，所以這裏需要說明下js中的構造函數返回值問題。

構造函數的返回值

在傳統語言中，構造函數不應該有返回值，實際執行的返回值就是此構造函數的實例化對象。
而在js中構造函數可以有返回值也可以沒有。
1、沒有返回值則按照其他語言一樣返回實例化對象。
2、若有返回值則檢查其返回值是否爲引用類型。如果是非引用類型，如基本類型（string,number,boolean,null,undefined）則與無返回值相同，實際返回其實例化對象。
3、若返回值是引用類型，則實際返回值爲這個引用類型。
原題中，返回的是this，而this在構造函數中本來就代表當前實例化對象，遂最終Foo函數返回實例化對象。
之後調用實例化對象的getName函數，因爲在Foo構造函數中沒有爲實例化對象添加任何屬性，遂到當前對象的原型對象（prototype）中尋找getName，找到了。
遂最終輸出3。

第七問

第七問, new new Foo().getName(); 同樣是運算符優先級問題。
最終實際執行爲：
new ((new Foo()).getName)();
先初始化Foo的實例化對象，然後將其原型上的getName函數作爲構造函數再次new。
遂最終結果爲3