Warum werden Tabellenliterale anders als Tabellenreferenzen in Lua behandelt?

Question

Hier ist ein Lua-Transkript 5.2.2, die Erklärung und die Indizierung einer Tabelle zeigt:

> mylist = {'foo', 'bar'} 
> print(mylist[1]) 
foo 

Warum nicht die folgende Anweisung legal ist?

> print({'foo', 'bar'}[1]) 
stdin:1: ')' expected near '[' 

ich keine andere Sprache denken kann, wo eine wörtliche kann nicht für einen Verweis ersetzt werden (außer natürlich, wenn ein L-Wert erforderlich ist).

FWIW, einklammern die Tabelle wörtliche die Aussage Recht macht:

> print(({'foo', 'bar'})[1]) 
foo 

Answer 1

Es wird auch auf die Tatsache, dass in Lua diese Syntax gilt:

myfunc { 1, 2, 3 } 

und entspricht:

myfunc({ 1, 2, 3 }) 

daher ein Ausdruck wie:

myfunc { 1, 2, 3 } [2] 

als analysiert:

myfunc({ 1, 2, 3 })[2] 

so zunächst der Funktionsaufruf ausgewertet wird, dann ist die Indizierung stattfindet.

Wenn {1,2,3}[2] als gültige Indexierungsoperation analysiert werden könnte, könnte dies zu Mehrdeutigkeiten im vorherigen Ausdruck führen, die mehr Lookahead erfordern würden. Das Lua-Team entschied sich dafür, den Lua-Bytecode-Compiler schnell zu machen, indem er es zu einem Single-Pass-Compiler machte. Daher scannt es den Quellcode nur einmal mit einem Minimum an Lookahead. This message to lua mailing list from Roberto Ierusalimschy (lead Lua developer) Punkte in diese Richtung.

Dasselbe Problem besteht für Zeichenfolgenliterale und Methodenaufrufe. Dies ist ungültig:

"my literal":sub(1) 

aber gilt:

("my literal"):sub(1) 

Wieder Lua ermöglicht dies:

func "my literal" 

als gleichwertig dazu:

func("my literal") 

Answer 2

die Grammatik geht here definiert, ist der Grund, dass die nicht eingeklammerten Version ist ungültig noch die geklammerten ist, wird, da der Syntaxbaum nimmt eine anderer Pfad und erwartet eine schließende Klammer ) weil dort sollte kein anderes Symbol in diesem Zusammenhang sein.

Im ersten Fall:

functioncall ::= prefixexp args | prefixexp `:´ Name args 

    prefixexp => 
     prefixexp ::= var | functioncall | `(´ exp `)´ 

      var -> print 
    THEREFORE prefixexp -> print 

    args => 
     args ::= `(´ [explist] `)´ | tableconstructor | String 
      match '(' 

      explist => 
       explist ::= {exp `,´} exp 
        exp => 
         exp ::= nil | false | true | Number | String | `...´ | function | prefixexp | tableconstructor | exp binop exp | unop exp 
          tableconstructor => 
        explist-> {'foo','bar'} 

      THEREFORE explist = {'foo','bar'} 

      match ')' ERROR!!! found '[' expected ')' 

Auf der anderen Seite mit Klammern:

functioncall ::= prefixexp args | prefixexp `:´ Name args 

    prefixexp => 
     prefixexp ::= var | functioncall | `(´ exp `)´ 

      var -> print 
    THEREFORE prefixexp -> print 

    args => 
     args ::= `(´ [explist] `)´ | tableconstructor | String 
      match '(' 

      explist => 
       explist ::= {exp `,´} exp 
        exp => 
         exp ::= nil | false | true | Number | String | `...´ | function | prefixexp | tableconstructor | exp binop exp | unop exp 
          prefixexp => 
           prefixexp ::= var | functioncall | `(´ exp `)´ 
            var => 
             var ::= Name | prefixexp `[´ exp `]´ | prefixexp `.´ Name 
              prefixexp => 
               prefixexp ::= var | functioncall | `(´ exp `)´ 
               match '(' 
               exp => 
                exp ::= nil | false | true | Number | String | `...´ | function | prefixexp | tableconstructor | exp binop exp | unop exp 
                tableconstructor => 
               THEREFORE exp = {'foo','bar'} 
               match ')' 
              THEREFORE prefixexp = ({'foo','bar'}) 
              match '[' 
              exp => Number = 1 
              match ']' 
            THEREFORE VAR = ({'foo','bar'})[1] 
          THEREFORE prefixexp = VAR 
        THEREFOER exp = VAR 
      THEREFORE explist = VAR 
      match ')' 
    THEREFORE args = (VAR) 
=> print(VAR)