摘要：此處有兩個(gè)坑，一是變量聲明提升，二是函數(shù)表達(dá)式。同理，原題中代碼最終執(zhí)行時(shí)的是只提升變量聲明提升函數(shù)聲明，覆蓋的聲明最終的賦值再次覆蓋聲明最終輸出第三問第三問的先執(zhí)行了函數(shù)，然后調(diào)用函數(shù)的返回值對(duì)象的屬性函數(shù)。

此部分以一道題目來做解釋

題目如下：

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

//請(qǐng)寫出以下輸出結(jié)果：
Foo.getName();
getName();
Foo().getName();
getName();
new Foo.getName();
new Foo().getName();
new new Foo().getName();

答案是：

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

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

此題涉及的知識(shí)點(diǎn)眾多，包括變量聲明提升、this指針指向、運(yùn)算符優(yōu)先級(jí)、原型、繼承、全局變量污染、對(duì)象屬性及原型屬性優(yōu)先級(jí)等等。

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

先看此題的上半部分做了什么，首先定義了一個(gè)叫Foo的函數(shù)，之后為Foo創(chuàng)建了一個(gè)叫g(shù)etName的 靜態(tài)屬性 存儲(chǔ)了一個(gè)匿名函數(shù)，之后為Foo的 原型對(duì)象 新創(chuàng)建了一個(gè)叫getName的匿名函數(shù)。之后又通過 函數(shù)變量表達(dá)式 創(chuàng)建了一個(gè)getName的函數(shù)，最后再 聲明 一個(gè)叫getName函數(shù)。

第一問的?Foo.getName?自然是訪問Foo函數(shù)上存儲(chǔ)的靜態(tài)屬性，自然是2，沒什么可說的。

第二問，直接調(diào)用?getName?函數(shù)。既然是直接調(diào)用那么就是訪問當(dāng)前上文作用域內(nèi)的叫g(shù)etName的函數(shù)，所以跟1 2 3都沒什么關(guān)系。此處有兩個(gè)坑，一是變量聲明提升，二是函數(shù)表達(dá)式。

即所有聲明變量或聲明函數(shù)都會(huì)被提升到當(dāng)前函數(shù)的頂部。

例如下代碼:

console.log(‘x’ in window);//true
var x;

x = 0;

代碼執(zhí)行時(shí)js引擎會(huì)將聲明語句提升至代碼最上方，變?yōu)椋?/p>

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

var getName與function getName都是聲明語句，區(qū)別在于?var getName?是 函數(shù)表達(dá)式 ，而?function getName?是 函數(shù)聲明 。關(guān)于JS中的各種函數(shù)創(chuàng)建方式可以看 大部分人都會(huì)做錯(cuò)的經(jīng)典JS閉包面試題 這篇文章有詳細(xì)說明。

函數(shù)表達(dá)式最大的問題，在于js會(huì)將此代碼拆分為兩行代碼分別執(zhí)行。

例如下代碼：

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

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

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

所以最終函數(shù)聲明的x覆蓋了變量聲明的x，log輸出為x函數(shù)。

同理，原題中代碼最終執(zhí)行時(shí)的是：

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

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

getName();//最終輸出4

第三問的?Foo().getName();?先執(zhí)行了Foo函數(shù)，然后調(diào)用Foo函數(shù)的返回值對(duì)象的getName屬性函數(shù)。

Foo函數(shù)的第一句? getName = function () { console.log(1); };? 是一句函數(shù)賦值語句，注意它沒有var聲明，所以先向當(dāng)前Foo函數(shù)作用域內(nèi)尋找getName變量，沒有。再向當(dāng)前函數(shù)作用域上層，即外層作用域內(nèi)尋找是否含有g(shù)etName變量，找到了，也就是第二問中的alert(4)函數(shù)，將此變量的值賦值為?function(){alert(1)}。

此處實(shí)際上是將外層作用域內(nèi)的getName函數(shù)修改了。

注意：此處若依然沒有找到會(huì)一直向上查找到window對(duì)象，若window對(duì)象中也沒有getName屬性，就在window對(duì)象中創(chuàng)建一個(gè)getName變量。

之后Foo函數(shù)的返回值是this，而JS的this問題博客園中已經(jīng)有非常多的文章介紹，這里不再多說。

簡單的講， this的指向是由所在函數(shù)的調(diào)用方式?jīng)Q定的 。而此處的直接調(diào)用方式，this指向window對(duì)象。

遂Foo函數(shù)返回的是window對(duì)象，相當(dāng)于執(zhí)行?window.getName()?，而window中的getName已經(jīng)被修改為alert(1)，所以最終會(huì)輸出1

此處考察了兩個(gè)知識(shí)點(diǎn)，一個(gè)是變量作用域問題，一個(gè)是this指向問題。

直接調(diào)用getName函數(shù)，相當(dāng)于?window.getName()?，因?yàn)檫@個(gè)變量已經(jīng)被Foo函數(shù)執(zhí)行時(shí)修改了，遂結(jié)果與第三問相同，為1

第五問?new Foo.getName();?,此處考察的是js的運(yùn)算符優(yōu)先級(jí)問題。

js運(yùn)算符優(yōu)先級(jí):

參考鏈接： https://developer.mozilla.org/zh-CN/docs/Web/JavaScript/Reference/Operators/Operator_Precedence

通過查上表可以得知點(diǎn).的優(yōu)先級(jí)高于new操作，遂相當(dāng)于是:

new (Foo.getName)(); 

所以實(shí)際上將getName函數(shù)作為了構(gòu)造函數(shù)來執(zhí)行，遂彈出2。

第六問?new Foo().getName()?，首先看運(yùn)算符優(yōu)先級(jí)()高于new，實(shí)際執(zhí)行為

(new Foo()).getName()

遂先執(zhí)行Foo函數(shù)，而Foo此時(shí)作為構(gòu)造函數(shù)卻有返回值，所以這里需要說明下js中的構(gòu)造函數(shù)返回值問題。

在傳統(tǒng)語言中，構(gòu)造函數(shù)不應(yīng)該有返回值，實(shí)際執(zhí)行的返回值就是此構(gòu)造函數(shù)的實(shí)例化對(duì)象。

而在js中構(gòu)造函數(shù)可以有返回值也可以沒有。

1、沒有返回值則按照其他語言一樣返回實(shí)例化對(duì)象。

function F(){}
new F()
//>F {}  

2、若有返回值則檢查其返回值是否為 引用類型 。如果是非引用類型，如基本類型（string,number,boolean,null,undefined）則與無返回值相同，實(shí)際返回其實(shí)例化對(duì)象。

function F(){return 1;}
new F()
//>F {}

3、若返回值是引用類型，則實(shí)際返回值為這個(gè)引用類型。

function F(){return {a:1};}
new F()
//>Object {a: 1}

原題中，返回的是this，而this在構(gòu)造函數(shù)中本來就代表當(dāng)前實(shí)例化對(duì)象，遂最終Foo函數(shù)返回實(shí)例化對(duì)象。

之后調(diào)用實(shí)例化對(duì)象的getName函數(shù)，因?yàn)樵?b>Foo構(gòu)造函數(shù)中沒有為實(shí)例化對(duì)象添加任何屬性，遂到當(dāng)前對(duì)象的原型對(duì)象（prototype）中尋找getName，找到了。

遂最終輸出3。

第七問,?new new Foo().getName();?同樣是運(yùn)算符優(yōu)先級(jí)問題。

最終實(shí)際執(zhí)行為：

new ((new Foo()).getName)();

先初始化Foo的實(shí)例化對(duì)象，然后將其原型上的getName函數(shù)作為構(gòu)造函數(shù)再次new。

遂最終結(jié)果為3