JavaScript多种括号的语义

JavaScript中小括号有五种语义
       语义1，函数声明时参数表
              function func(arg1,arg2){  
              // ...
              }  
       语义2，和一些语句联合使用以达到某些限定作用
              // 和for in一起使用
                      for(var a in obj){  
              // ...
              }  
              // 和if一起使用
                      if(boo){  
              //...
              }  
              // 和while一起使用
              while(boo){  
              // ...
              }  
              // 和do while一起使用 do{  
              // ...
              }
              while(boo)  
              注意：在与if、while及do while一起使用时小括号会将其中的表达式结果隐式的转换成布尔值。见无处不在的隐式类型转换 。
       语义3，和new一起使用用来传值(实参)
              // 假设已经定义了类Person，它有两个字段姓名（name），年龄（age）      
              var p1 = new Person('Jack',26);  
       语义4，作为函数或对象方法的调用运算符(如果定义了参数也可与语义3一样传实参)
              // 假设已经定义了函数func     
               func();  
              // 假设已经定义了对象obj，且拥有func方法
              obj.func();  
              这里提下typeof运算符，有人喜欢这么使用
              请注意typeof后的小括号并非语义4(即不是函数调用)，而是后面提到的语义5。我使用typeof一般不加后面的小括号。见 具名函数的多种调用方式

       语义5， 分组运算符, 作用是优先级.

 本质就是舍弃其他可能的多余的语法树

              function strToJson(str){                  // eval 中字符串两旁加了强制运算符()
               var json = eval('(' + str + ')');       
              return json;  
              }  
              关于语义5，大家最熟悉的莫过于使用eval解析JSON
              又如使用较多的是匿名函数自执行          
              (function(){  
               // ...
              })();  
              注意，以上代码第1对小括号是语义5，第3对则是语义4。

             之所以要这样做的原因是{} 花括号二义性造成的. 
                eval('{a:1}')//不会抛出异常.
                eval('{a:1,b:2}')//抛出异常
             这并不是eval的错. 错误来自语法分析时, {}被当做 statement block,而不是一个 JSONObject.
             所以.抛出异常是因为a:1被解析成lableStatement 了.那么它后面的 "," 逗号，就使得parser不得不停下来了.因为逗             号运算符不能出现在lableStatement后面.
             所以
                  {
                   a:1,
                   b:2
                   }
             在任何被解析为statement block的情况下.都将导致异常.
             解决办法.把他们并入表达式.让parser使用 JSONObject的语法树.比如
                 ({a:1,b:2})
                  1,{a:1,b:2}
                  +{a:1,b:2}
                 var a ={a:1,b:2}
             等等等等...
             说说为什么()不是强制运算符,因为它不具备这个功能.
             分组运算符 同 delete typeof 等运算符类似. 不会对运算元.造成 GetValue() .

             举个例子:
             delete 玩笑; //不会抛出异常.
             原因是运行时，执行到 delete 玩笑; 时, 并不会对标识符-玩笑,进行GetValue(). 

             delete (玩笑);//同样不会抛出异常.
             可见分组运算符() 并没有对 标识符 -玩笑 做额外的工作. 它仅仅是影响语法树的产生过程.

             从ECMA262的角度来看此问题亦如此. 这里涉及到 Reference Type 的base property 为null时的情况下,对                         其GetValue()才抛出异常.

大括号
       JavaScript中大括号有四种语义作用

       语义1，组织复合语句,这是最常见的

              if( condition ) {  
              //... 
              }else {  
              //... 
              }  for() {  
              //... 
              }  

       语义2，对象直接量声明

              var obj = {      name : 'jack',      age : 23  };  

       整个是个赋值语句，其中的{name:'jack',age:23}是个表达式。

       语义3，声明函数或函数直接量

              function f1(){  
              //... 
              }  
              var f2 = function(){  
              //... 
              }  

        f1与非f2的区别是前者在语法解释期，后者在运行期。区别在于：如果调用该函数的代码在函数定义之后，则没有区别;如果调用该函数的代码在函数定义之前，则f1仍然可以调用，f2则会报错，提示f2未定义。

       语义4，结构化异常处理的语法符号
              try {  
              //... 
              }catch( ex ){  
              //... 
              }finally{  
              //... 
              }  

       这里的大括号与符合语句(语义1 )是有区别的，大括号中如果只有一条语句，在if/else/for等中大括号是可以省略的，但try/catch/finally则不能省略。

以下代码纠结了偶N久

              function(){}() //匿名函数立即执行， 语法分析期报 
              {}.constructor //获取对象直接量的构造器，语法分析期报错


       令人不解的是为何[].constructor这么写却不报错呢，一个是想获取对象直接量的构造器，一个是获取数组直接量的构造器而已。

       当然添加个变量接收也不会报错

       同样的情况如

              var fn = function(){}()，也不会报错。

       实际上是js的“语句优先”在作怪，即{}被理解成复合语句块(语义1 )而不是对象直接量(语义2 )或声明函数(语义3 )的语义。

function(){}()，大括号被理解成复合语句，自然前面的function()声明函数的语法不完整导致语法分析期出错。

       {}.constructor，大括号被理解成复合语句，大括号后面是点运算符，点运算符前没有合理的对象自然也报错。

       修复方式众所周知：加个强制运算符()

       (function(){})()，(function(){});//强制其理解为函数(语义3 )，“函数()”表示执行该函数，即声明后立即执行了。

       ({}).constructor //({})强制把大括号理解成对象直接量(语义2 )，“对象.xx”表示获取对象的成员，自然后面的点运算符可以正常执行了。


中括号
       JavaScript中括号有四种语义

       语义1，声明数组

              var ary = []; // 声明一个空数组
              var ary = [1,3]; // 声明一个数组，同时赋初值


       语义2，取数组成员

              var ary = [1,2,3];  var item = ary[0];  

       语义3，定义对象成员 (可以不遵循标识符规则 )

              var obj = {};  
              // 为obj添加一个属性name，name是合法的标识符，即也可以通过obj.name方式来定义
              obj['name'] = 'jack';   
              // 为obj添加一个属性2a，2a不是合法的标识符（不能以数字开头），不能通过obj.2a来定义
              obj['2a'] = 'test';   

       语义4，取对象成员

              var obj = {name:'jack'};  obj['2a'] = 'test';  
              obj['name']; // --> jack
              obj['2a']; // --> test (不能通过obj.2a获取)