lua - 为什么表字面量与 Lua 中的表引用不同？

Question

这是 Lua 5.2.2 的成绩单，显示了表的声明和索引：

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

为什么以下陈述不合法？

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

我想不出任何其他语言不能用文字代替引用（当然，需要左值时除外）。

FWIW，将表文字括起来使语句合法：

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

Answer 1

这也与在 Lua 中此语法有效的事实有关：

myfunc { 1, 2, 3 }

它相当于：

myfunc( { 1, 2, 3 } )

因此，一个表达式，如：

myfunc { 1, 2, 3 } [2]

被解析为：

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

所以首先评估函数调用，然后进行索引。

如果{1,2,3}[2]可以将其解析为有效的索引操作，则可能会导致前一个表达式中的歧义，这需要更多的前瞻。Lua 团队选择通过将 Lua 字节码编译器设置为单通道编译器来加快其速度，因此它只扫描一次源代码，并且具有最少的前瞻。Roberto Ierusalimschy（Lua 首席开发人员）发给 lua 邮件列表的这条消息指向了这个方向。

字符串文字和方法调用也存在同样的问题。这是无效的：

"my literal":sub(1)

但这是有效的：

("my literal"):sub(1)

同样，Lua 允许这样做：

func "my literal"

等同于：

func( "my literal" )

Answer 2

转到此处定义的语法，非括号版本无效但带括号的版本是因为语法树采用不同的路径并期望右括号)，因为在该上下文中不应该有其他符号。

在第一种情况下：

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 ')'

另一方面，带括号：

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)