在ECMAScript中，创建函数的最常用的两个方法是函数表达式和函数声明，两者期间的区别是有点晕，因为ECMA规范只明确了一点：函数声明必须带有标示符（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语句构成的）。

延伸阅读

此文章所在专题列表如下：

1. 我们应该如何去了解JavaScript引擎的工作原理
2. JavaScript探秘：编写可维护的代码的重要性
3. JavaScript探秘：谨慎使用全局变量
4. JavaScript探秘：var预解析与副作用
5. JavaScript探秘：for循环(for Loops)
6. JavaScript探秘：for-in循环(for-in Loops)
7. JavaScript探秘：Prototypes强大过头了
8. JavaScript探秘：eval()是“魔鬼”
9. JavaScript探秘：用parseInt()进行数值转换
10. JavaScript探秘：基本编码规范
11. JavaScript探秘：函数声明与函数表达式
12. JavaScript探秘：命名函数表达式
13. JavaScript探秘：调试器中的函数名
14. JavaScript探秘：JScript的Bug
15. JavaScript探秘：JScript的内存管理
16. JavaScript探秘：SpiderMonkey的怪癖
17. JavaScript探秘：命名函数表达式替代方案
18. JavaScript探秘：对象Object
19. JavaScript探秘：原型链 Prototype chain
20. JavaScript探秘：构造函数 Constructor
21. JavaScript探秘：可执行的上下文堆栈
22. 执行上下文其一：变量对象与活动对象
23. 执行上下文其二：作用域链 Scope Chains
24. 执行上下文其三：闭包 Closures
25. 执行上下文其四：This指针
26. JavaScript探秘：强大的原型和原型链
27. JavaScript函数其一：函数声明
28. JavaScript函数其二：函数表达式
29. JavaScript函数其三：分组中的函数表达式
30. JavaScript函数其四：函数构造器
31. JavaScript变量对象其一：VO的声明
32. JavaScript变量对象其二：VO在不同的执行上下文中
33. JavaScript变量对象其三：执行上下文的两个阶段
34. JavaScript变量对象其四：关于变量
35. JavaScript变量对象其五：__parent__ 属性
36. JavaScript作用域链其一：作用域链定义
37. JavaScript作用域链其二：函数的生命周期
38. JavaScript作用域链其三：作用域链特征
39. JavaScript闭包其一：闭包概论
40. JavaScript闭包其二：闭包的实现
41. JavaScript闭包其三：闭包的用法

本文地址：http://www.nowamagic.net/librarys/veda/detail/1630，欢迎访问原出处。