題目如下:
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