Javascript中大括号"{}"有四种语义作用：
语义1. 组织复合语句，这是最常见的：
view source
print?
1 |
if( condition ) { |
2 |
//... |
3 |
}else { |
4 |
//... |
5 |
} |
6 |
for() { |
7 |
//... |
8 |
} |
语义2，对象直接量声明：
view source
print?
1 |
var obj = { |
2 |
name : ‘jack‘, |
3 |
age : 23 |
4 |
}; |
整个是个赋值语句，其中的{name:‘jack‘,age:23}是个表达式。
语义3，声明函数或函数直接量：
view source
print?
1 |
function f1(){ |
2 |
//... |
3 |
} |
4 |
var f2 = function(){ |
5 |
//... |
6 |
} |
f1与非f2的区别是前者在语法解释期，后者在运行期。区别在于：如果调用该函数的代码在函数定义之后，则没有区别；如果调用该函数的代码在函数定义之前，则f1仍然可以调用，f2则会报错，提示f2未定义。镇江市测绘局
语义4，结构化异常处理的语法符号：
view source
print?
1 |
try { |
2 |
//... |
3 |
}catch( ex ){ |
4 |
//... |
5 |
}finally{ |
6 |
//... |
7 |
} |
这里的大括号与符合语句(语义1 )是有区别的，大括号中如果只有一条语句，在if/else/for等中大括号是可以省略的，但try/catch/finally则不能省略。
以下代码纠结了偶N久：
view source
print?
1 |
function(){}() //匿名函数立即执行， 语法分析期报 |
2 |
{}.constructor //获取对象直接量的构造器，语法分析期报错 |
令人不解的是为何[].constructor这么写却不报错呢，一个是想获取对象直接量的构造器，一个是获取数组直接量的构造器而已。
当然添加个变量接收也不会报错，var c = {}.constructor;
同样的情况如：var fn = function(){}()，也不会报错。
实际上是js的"语句优先"在作怪，即{}被理解成复合语句块(语义1 )而不是对象直接量(语义2 )或声明函数(语义3 )的语义。
function(){}()，大括号被理解成复合语句，自然前面的function()声明函数的语法不完整导致语法分析期出错。{}.constructor，大括号被理解成复合语句，大括号后面是点运算符，点运算符前没有合理的对象自然也报错。
修复方式众所周知：加个强制运算符()
(function(){})()，(function(){});//强制其理解为函数(语义3 )，"函数()"表示执行该函数，即声明后立即执行了。({}).constructor //({})强制把大括号理解成对象直接量(语义2 )，"对象.xx"表示获取对象的成员，自然后面的点运算符可以正常执行了。
function(){}(); 语法错误的原因和 ();函数调用运算符无关。
本质原因是， function(){} ，根据词法分析期对token的有效分组。function被看成这个ExpressionStatement 的start 位置的第一个token元素。这是EMCA262所不允许的。不允许的原因很明确，就是怕引起函数表达式和函数声明的歧义。你可以理解为 function 关键字永远不能在一个ExpressionStaement的首位。
来看看赋值语句f = function(){};
view source
print?
1 |
f : LeftHandSideExpression |
2 |
= : AssignmentOperator |
function(){};此时被看做是整个语句的赋值表达式部分即 AssignmentExpression。 所以他合理合法的通过了语法检查,成为了一个函数表达式.FunctionExpression.
所以这时候，即使你 f = function(){}(); 在语法上也是合法的。