變數宣告提升，原型，this指針

題目如下：

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();
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

此題涉及的知識點眾多，包括變數宣告提升、this指標指向、運算子優先權、原型、繼承、全域變數污染、物件屬性及原型屬性優先權等等。

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

第一問

先看此題的上半部做了什麼，首先定義了一個叫Foo的函數，之後為Foo創建了一個叫getName的 靜態屬性 存儲了一個匿名函數，之後為Foo的 原型物件 新建立了一個叫getName的匿名函數。之後又透過 函數變數表達式 建立了一個getName的函數，最後 宣告一個叫getName函數。

第一問的 Foo.getName 自然是存取Foo函數上儲存的靜態屬性，自然是2，沒什麼好說的。

第二問

第二問，直接呼叫 getName 函數。既然是直接呼叫就是存取目前上文作用域內的叫getName的函數，所以跟1 2 3都沒什麼關係。此處有兩個坑，一是變數宣告提升，二是函數表達式。

變數宣告提升

即所有宣告變數或宣告函數都會被提升到目前函數的頂端。

例如下程式碼:

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都是聲明語句，區別是函數表達式 ，而 function getName 是 函數宣告 。

函數表達式最大的問題，在於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 () { console.log(1); };
    return this;
}
var getName;//只提升变量声明
function getName() { console.log(5);}//提升函数声明，覆盖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(); 先執行了Foo函數，然後調用Foo函數的回傳值物件的getName屬性函數。

Foo函數的第一句  getName = function () { console.log(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的运算符优先级问题。

js运算符优先级:

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

通过查上表可以得知点.的优先级高于new操作，遂相当于是:

new (Foo.getName)();

所以实际上将getName函数作为了构造函数来执行，遂弹出2。

第六问

第六问 new Foo().getName() ，首先看运算符优先级()高于new，实际执行为

(new Foo()).getName()

遂先执行Foo函数，而Foo此时作为构造函数却有返回值，所以这里需要说明下js中的构造函数返回值问题。

构造函数的返回值

在传统语言中，构造函数不应该有返回值，实际执行的返回值就是此构造函数的实例化对象。

而在js中构造函数可以有返回值也可以没有。

1、没有返回值则按照其他语言一样返回实例化对象。

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

2、若有返回值则检查其返回值是否为 引用类型 。如果是非引用类型，如基本类型（string,number,boolean,null,undefined）则与无返回值相同，实际返回其实例化对象。

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

原题中，返回的是this，而this在构造函数中本来就代表当前实例化对象，遂最终Foo函数返回实例化对象。

之后调用实例化对象的getName函数，因为在Foo构造函数中没有为实例化对象添加任何属性，遂到当前对象的原型对象（prototype）中寻找getName，找到了。

遂最终输出3。

第七问

第七问, new new Foo().getName(); 同样是运算符优先级问题。

最终实际执行为：

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

先初始化Foo的实例化对象，然后将其原型上的getName函数作为构造函数再次new。

遂最终结果为3