媒介
网上还没用发明有人对定名函数表达式进去反复深切的议论，正因为云云，网上涌现了林林总总的误会，本文将从道理和实践两个方面来讨论JavaScript关于定名函数表达式的优缺点。
简朴的说，定名函数表达式只要一个用户，那就是在==Debug==或许==Profiler==剖析的时刻来形貌函数的称号，也可以运用函数名完成递归，但很快你就会发明现实上是不切现实的。固然，如果你不关注调试，那就没什么可忧郁的了，不然，如果你想相识兼容性方面的东西的话，你照样应当继承往下看看。
我们先最先看看，什么叫函数表达式，然后再说一下当代调试器怎样处置惩罚这些表达式，如果你已对这方面很熟悉的话，请直接跳过此小节。
本文中后半部份说了许多JScript,基本上是过期的东西，我以为直接略过就行
函数表达式和函数声明
在ECMAScript中，建立函数的最经常使用的两个要领是函数表达式和函数声明，二者时期的区分是有点晕，因为ECMAScript范例只明白了一点：函数声明必需带有标示符（==Identifier==）（就是人人常说的函数称号），而函数表达式则可以省略这个标示符：
函数声明:
function 函数称号 (参数：可选){ 函数体 }函数表达式：
function 函数称号（可选）(参数：可选){ 函数体 }所以，可以看出，如果不声明函数称号，它肯定是表达式，可如果声清晰明了函数称号的话，怎样推断是函数声明照样函数表达式呢？==ECMAScript==是经由历程上下文来辨别的，如果function foo(){}是作为赋值表达式的一部份的话，那它就是一个函数表达式，如果function foo(){}被包含在一个函数体内，或许位于递次的最顶部的话，那它就是一个函数声明。
function foo(){} // 声明，因为它是递次的一部份
var bar = function foo(){}; // 表达式，因为它是赋值表达式的一部份
new function bar(){}; // 表达式，因为它是new表达式
(function(){
function bar(){} // 声明，因为它是函数体的一部份
})();另有一种函数表达式不太罕见，就是被括号括住的(function foo(){})，他是表达式的缘由是因为括号 ()是一个分组操纵符，它的内部只能包含表达式，我们来看几个例子：
function foo(){} // 函数声明
(function foo(){}); // 函数表达式：包含在分组操纵符内
try {
(var x = 5); // 分组操纵符，只能包含表达式而不能包含语句：这里的var就是语句
} catch(err) {
// SyntaxError
}你可以会想到，在运用eval对JSON举行实行的时刻，JSON字符通同常被包含在一个圆括号里：eval('(' + json + ')')，如许做的缘由就是因为分组操纵符，也就是这对括号，会让剖析器强迫将JSON的花括号剖析成表达式而不是代码块。
try {
{ "x": 5 }; // "{" 和 "}" 做剖析成代码块
} catch(err) {
// SyntaxError
}
({ "x": 5 }); // 分组操纵符强迫将"{" 和 "}"作为对象字面量来剖析表达式和声明存在着异常玄妙的差别，起首，函数声明会在任何表达式被剖析和求值之前先被剖析和求值，纵然你的声明在代码的末了一行，它也会在同作用域内第一个表达式之前被剖析/求值，参考以下例子，函数fn是在alert今后声明的，然则在alert实行的时刻，fn已有定义了：
alert(fn());
function fn() {
return 'Hello world!';
}别的，另有一点须要提示一下，函数声明在前提语句内虽然可以用，然则没有被规范化，也就是说差别的环境可以有差别的实行效果，所以如许状况下，最好运用函数表达式：
// 千万别如许做！
// 因为有的浏览器会返回first的这个function，而有的浏览器返回的倒是第二个
if (true) {
function foo() {
return 'first';
}
}else {
function foo() {
return 'second';
}
}
foo();
// 相反，如许状况，我们要用函数表达式
var foo;
if (true) {
foo = function() {
return 'first';
};
}else {
foo = function() {
return 'second';
};
}
foo();函数声明的现实划定规矩以下：
函数声明只能涌如今递次或函数体内。从句法上讲，它们 不能涌如今Block（块）（{ … }）中，比方不能涌如今 if、while 或 for 语句中。因为 Block（块） 中只能包含Statement语句， 而不能包含函数声明如许的源元素。另一方面，细致看一看划定规矩也会发明，唯一可以让表达式涌如今Block（块）中情况，就是让它作为表达式语句的一部份。然则，范例明白划定了表达式语句不能以症结字function开首。而这现实上就是说，函数表达式一样也不能涌如今Statement语句或Block（块）中（因为Block（块）就是由Statement语句组成的）。
函数语句
在ECMAScript的语法扩大中，有一个是函数语句，如今只要基于Gecko的浏览器完成了该扩大，所以关于下面的例子，我们仅是抱着进修的目标来看，平常来讲不引荐运用（除非你针对Gecko浏览器举行开辟）。
平常语句能用的处所，函数语句也能用，固然也包含Block块中：
if (true) {
function f(){ }
}else {
function f(){ }
}函数语句可以像其他语句一样被剖析，包含基于前提实行的情况
if (true) {
function foo(){ return 1; }
}else {
function foo(){ return 2; }
}
foo(); // 1
// 注：别的客户端会将foo剖析成函数声明
// 因而，第二个foo会掩盖第一个，效果返回2，而不是1函数语句不是在变量初始化时期声明的，而是在运行时声明的——与函数表达式一样。不过，函数语句的标识符一旦声明能在函数的全部作用域见效了。标识符有用性恰是致使函数语句与函数表达式差别的症结所在（下一小节我们将会展现定名函数表达式的细致行动）。
// 如今，foo还没用声明
typeof foo; // "undefined"
if (true) {
// 进入这里今后，foo就被声明在全部作用域内了
function foo(){ return 1; }
}else {
// 历来不会走到这里，所以这里的foo也不会被声明
function foo(){ return 2; }
}
typeof foo; // "function"不过，我们可以运用下面如许的相符规范的代码来形式上面例子中的函数语句：
var foo;
if (true) {
foo = function foo(){ return 1; };
}else {
foo = function foo() { return 2; };
}函数语句和函数声明（或定名函数表达式）的字符串示意相似，也包含标识符：
if (true) {
function foo(){ return 1; }
}
String(foo); // function foo() { return 1; }别的一个，初期基于Gecko的完成（Firefox 3及之前版本）中存在一个bug，即函数语句掩盖函数声明的体式格局不正确。在这些初期的完成中，函数语句不知何以不能掩盖函数声明：
// 函数声明
function foo(){ return 1; }
if (true) {
// 用函数语句重写
function foo(){ return 2; }
}
foo(); // FF3以下返回1，FF3.5以上返回2
// 不过，如果前面是函数表达式，则没用题目
var foo = function(){ return 1; };
if (true) {
function foo(){ return 2; }
}
foo(); // 一切版本都返回2再次强调一点，上面这些例子只是在某些浏览器支撑，所以引荐人人不要运用这些，除非你就在特征的浏览器上做开辟。
定名函数表达式
函数表达式在现实运用中照样很罕见的，在web开辟中友个经常使用的形式是基于对某种特征的测试来假装函数定义，从而到达机能优化的目标，但因为这类体式格局都是在统一作用域内，所以基本上肯定要用函数表达式：
// 该代码来自Garrett Smith的APE Javascript library库(http://dhtmlkitchen.com/ape/)
var contains = (function() {
var docEl = document.documentElement;
if (typeof docEl.compareDocumentPosition != 'undefined') {
return function(el, b) {
return (el.compareDocumentPosition(b) & 16) !== 0;
};
}
else if (typeof docEl.contains != 'undefined') {
return function(el, b) {
return el !== b && el.contains(b);
};
}
return function(el, b) {
if (el === b) return false;
while (el != b && (b = b.parentNode) != null);
return el === b;
};
})();提到定名函数表达式，天经地义，就是它得有名字，前面的例子var bar = function foo(){};就是一个有用的定名函数表达式，但有一点须要记着：这个名字只在新定义的函数作用域内有用，因为范例划定了标示符不能在外围的作用域内有用：
var f = function foo(){
return typeof foo; // foo是在内部作用域内有用
};
// foo在外部用因而不可见的
typeof foo; // "undefined"
f(); // "function"既然，这么请求，那定名函数表达式到底有啥用啊？为啥要取名？
正如我们开首所说：给它一个名字就是可以让调试历程更轻易，因为在调试的时刻，如果在挪用栈中的每一个项都有自身的名字来形貌，那末调试历程就太爽了，感觉不一样嘛。
调试器中的函数名
如果一个函数有名字，那调试器在调试的时刻会将它的名字显如今挪用的栈上。有些调试器（Firebug）有时刻还会为你们函数取名并显现，让他们和那些运用该函数的方便具有雷同的角色，但是通常状况下，这些调试器只装置简朴的划定规矩来取名，所以说没有太大价钱，我们来看一个例子：
function foo(){
return bar();
}
function bar(){
return baz();
}
function baz(){
debugger;
}
foo();
// 这里我们运用了3个带名字的函数声明
// 所以当调试器走到debugger语句的时刻，Firebug的挪用栈上看起来异常清晰清晰明了
// 因为很明白地显现了称号
baz
bar
foo
expr_test.html()经由历程检察挪用栈的信息，我们可以很清晰明了地晓得foo挪用了bar, bar又挪用了baz（而foo自身有在expr_test.html文档的全局作用域内被挪用），不过，另有一个比较爽处所，就是适才说的Firebug为匿名表达式取名的功用：
function foo(){
return bar();
}
var bar = function(){
return baz();
}
function baz(){
debugger;
}
foo();
// Call stack
baz
bar() //看到了么？
foo
expr_test.html()然后，当函数表达式轻微庞杂一些的时刻，调试器就不那末聪清晰明了，我们只能在挪用栈中看到问号：
function foo(){
return bar();
}
var bar = (function(){
if (window.addEventListener) {
return function(){
return baz();
};
}
else if (window.attachEvent) {
return function() {
return baz();
};
}
})();
function baz(){
debugger;
}
foo();
// Call stack
baz
(?)() // 这里但是问号哦
foo
expr_test.html()别的，当把函数赋值给多个变量的时刻，也会涌现使人忧郁的题目：
function foo(){
return baz();
}
var bar = function(){
debugger;
};
var baz = bar;
bar = function() {
alert('spoofed');
};
foo();
// Call stack:
bar()
foo
expr_test.html()这时刻，挪用栈显现的是foo挪用了bar，但现实上并非云云，之所以有这类题目，是因为baz和别的一个包含alert(‘spoofed’)的函数做了援用交换所致使的。
归根结柢，只要给函数表达式取个名字，才是最稳妥的方法，也就是运用定名函数表达式。我们来运用带名字的表达式来重写上面的例子（注重马上挪用的表达式块里返回的2个函数的名字都是bar）：
function foo(){
return bar();
}
var bar = (function(){
if (window.addEventListener) {
return function bar(){
return baz();
};
}
else if (window.attachEvent) {
return function bar() {
return baz();
};
}
})();
function baz(){
debugger;
}
foo();
// 又再次看到了清晰的挪用栈信息了耶!
baz
bar
foo
expr_test.html()OK，又学了一招吧？不过在愉快之前，我们再看看差别寻常的JScript吧。
JScript
这一部份讲的全都是JScript而不是Javascript这两个真不是一种东西
netscape开辟了在Navigator中运用的LiveScript言语，后改名为JavaScript
Microsoft刊行jscript用于internet explorer.
最初的jscript和javascript差别过大，web递次员不能不痛楚的为两种浏览器编写两种剧本。因而诞生了ECMAScript,是一种国际规范化的javascript版本。如今的主流浏览器都支撑这类版本。
javascript是一个通用的称号，一切浏览器都熟悉，而jscript只要IE熟悉。
其他言语细节上的区分，不是一两下能说完的。编程时最好遵照ECMAscript规范。如许可以保证兼容性。
趁便说一下,javascript本来叫Livescript，厥后Sun的java风头正盛的时刻netscape就把名字改成javascript。
个人感觉这一段基本上可以疏忽了 但为了尊敬作者我照样把它整顿了一下。
JScript的Bug
比较恶的是，IE的ECMAScript完成JScript严峻殽杂了定名函数表达式，搞得现许多人都出来阻挡定名函数表达式，而且即便是最新的一版（IE8中运用的5.8版）依然存在以下题目。
下面我们就来看看IE在完成中终究犯了那些毛病，俗语说知已知彼，才百战不殆。我们来看看以下几个例子：
例1：函数表达式的标示符走漏到外部作用域
var f = function g(){};
typeof g; // "function"上面我们说过，定名函数表达式的标示符在外部作用域是无效的，但JScript显著是违反了这一范例，上面例子中的标示符g被剖析成函数对象，这就乱了套了，许多难以发明的bug都是因为这个缘由致使的。
==注：IE9貌似已修复了这个题目==
例2：将定名函数表达式同时看成函数声明和函数表达式
typeof g; // "function"
var f = function g(){};特征环境下，函数声明会优先于任何表达式被剖析，上面的例子展现的是JScript现实上是把定名函数表达式当做函数声清晰明了，因为它在现实声明之前就剖析了g。
这个例子引出了下一个例子。
例3：定名函数表达式会建立两个判然差别的函数对象！
var f = function g(){};
f === g; // false
f.expando = 'foo';
g.expando; // undefined看到这里，人人会以为题目严峻了，因为修改任何一个对象，别的一个没有什么转变，这太恶了。经由历程这个例子可以发明，建立2个差别的对象，也就是说如果你想修改f的属性中保留某个信息，然后想固然地经由历程援用雷同对象的g的同名属性来运用，那题目就大了，因为基础就不可以。
再来看一个轻微庞杂的例子：
例4：仅仅递次剖析函数声明而疏忽前提语句块
var f = function g() {
return 1;
};
if (false) {
f = function g(){
return 2;
};
}
g(); // 2这个bug查找就难多了，但致使bug的缘由却异常简朴。起首，g被看成函数声明剖析，因为JScript中的函数声明不受前提代码块束缚，所以在这个很恶的if分支中，g被看成另一个函数function g(){ return 2 }，也就是又被声清晰明了一次。然后，一切“通例的”表达式被求值，而此时f被给予了另一个新建立的对象的援用。因为在对表达式求值的时刻，永久不会进入“这个可恶if分支，因而f就会继承援用第一个函数function g(){ return 1 }。剖析到这里，题目就很清晰了：如果你不够仔细，在f中挪用了g，那末将会挪用一个毫不相干的g函数对象。
你可以会文，将差别的对象和arguments.callee相比较时，有什么样的区分呢？我们来看看：
var f = function g(){
return [
arguments.callee == f,
arguments.callee == g
];
};
f(); // [true, false]
g(); // [false, true]可以看到，arguments.callee的援用一直是被挪用的函数，现实上这也是功德，稍后会诠释。
另有一个风趣的例子，那就是在不包含声明的赋值语句中运用定名函数表达式：
(function(){
f = function f(){};
})();根据代码的剖析，我们原本是想建立一个全局属性f（注重不要和平常的匿名函数殽杂了，内里用的是带名字的性命），JScript在这里扰乱了一把，起首他把表达式当做函数声明剖析了，所以左侧的f被声明为局部变量了（和平常的匿名函数里的声明一样），然后在函数实行的时刻，f已是定义过的了，右侧的function f(){}则直接就赋值给局部变量f了，所以f基础就不是全局属性。
相识了JScript这么变态今后，我们就要实时防备这些题目了，起首提防标识符走漏带外部作用域，其次，应当永久不援用被用作函数称号的标识符；还记得前面例子中谁人讨人厌的标识符g吗？——如果我们可以当g不存在，可以防止若干不必要的贫苦哪。因而，症结就在于一直要经由历程f或许arguments.callee来援用函数。如果你运用了定名函数表达式，那末应当只在调试的时刻应用谁人名字。末了，还要记着一点，肯定要把定名函数表达式声明时期毛病建立的函数清算清洁。
关于，上面末了一点，我们还得再诠释一下。
WebKit的displayName
WebKit团队在这个题目采取了有点儿另类的战略。介于匿名和定名函数云云之差的表现力，WebKit引入了一个“特别的”displayName属性（本质上是一个字符串），如果开辟人员为函数的这个属性赋值，则该属性的值将在调试器或机能剖析器中被显如今函数“称号”的位置上。Francisco Tolmasky细致地诠释了这个战略的道理和完成。
ECMAScript-5
在ECMAScript-262第5版引入了严厉形式（strict mode）。开启严厉形式的完成会禁用言语中的那些不稳定、不可靠和不平安的特征。听说出于平安方面的斟酌，arguments.callee属性将在严厉形式下被“封杀”。因而，在处于严厉形式时，接见arguments.callee会致使TypeError（拜见ECMA-262第5版的10.6节）。而我之所以在此提到严厉形式，是因为如果在基于第5版规范的完成中没法运用arguments.callee来实行递归操纵，那末运用定名函数表达式的可以性就会大大增添。从这个意义上来讲，明白定名函数表达式的语义及其bug也就显得越发重要了。
// 此前，你可以会运用arguments.callee
(function(x) {
if (x <= 1) return 1;
return x * arguments.callee(x - 1);
})(10);
// 但在严厉形式下，有可以就要运用定名函数表达式
(function factorial(x) {
if (x <= 1) return 1;
return x * factorial(x - 1);
})(10);
// 要么就退一步，运用没有那末天真的函数声明
function factorial(x) {
if (x <= 1) return 1;
return x * factorial(x - 1);
}
factorial(10);申谢
理查德· 康福德（Richard Cornford），是他领先诠释了JScript中定名函数表达式所存在的bug。理查德诠释了我在这篇文章中说起的大多数bug，所以我强烈发起人人去看看他的诠释。我还要感谢Yann-Erwan Perio和道格拉斯·克劳克佛德（Douglas Crockford），他们早在2003年就在comp.lang.javascript论坛中说起并议论NFE题目了。
约翰-戴维·道尔顿（John-David Dalton）对“终究解决计划”提出了很好的发起。
托比·兰吉的点子被我用在了“替换计划”中。
盖瑞特·史密斯（Garrett Smith）和德米特里·苏斯尼科（Dmitry Soshnikov）对本文的多方面作出了补充和修改。
英文原文：http://kangax.github.com/nfe/
参考译文：衔接接见 (<span style=”text-decoration: underline;”>SpiderMonkey的怪癖</span>今后的章节参考该文)
关于本文
本文转自TOM大叔的深切明白JavaScript系列本文有大批删减，检察原文
【深切明白JavaScript系列】文章，包含了原创，翻译，转载，整顿等各范例文章，原文是TOM大叔的一个异常不错的专题，现将其重新整顿宣布。感谢大叔。
