Lua的语法是无歧义的吗

这篇文章主要介绍“Lua的语法是无歧义的吗”，在日常操作中，相信很多人在Lua的语法是无歧义的吗问题上存在疑惑，小编查阅了各式资料，整理出简单好用的操作方法，希望对大家解答”Lua的语法是无歧义的吗”的疑惑有所帮助！接下来，请跟着小编一起来学习吧！

首先定义如下几个函数:

function foo(a) print("foo print",a) return a end function goo(a) print("goo print",a) return a end function hoo(a) print("hoo print",a) return a end

试看这一段代码：

foo(goo)

(hoo)(1979)

如果试图编译执行上面这段程序，那么解释器就会报告 "ambiguous syntax (function call x new  statement) near '(' "  这样的错误。为什么呢?或许写程序的人原本的意思就是***行foo(goo)为一个单独的函数调用语句(statement)，而第二行(hoo) (1979)又为另一个单独的函数调用语句(Lua中语句之间的分隔符——分号并非必需，而是可选的)。但是不要忘记了foo(goo)(hoo)是一个 语法上完全合法的函数调用形式(在编译过程中换行符作为空白符会被忽略掉)，foo(goo)(hoo)(1979)也可以成为一个完整的函数调用语句。 这样的话，编译器就无法知道程序员的真正意图了。

我们可以再深入到编译过程里头一点看看。Lua语法的形式定义(转换成BNF标准形式)包含如下几个产生式：

(1) stat -> functioncall (语句的产生式)

(2) prefixexp -> functioncall (前缀表达式的产生式)

(3) functioncall -> prefixexp args

| prefixexp ':' Name args (函数调用的产生式)

可以发现，functioncall既可以被规约(reduce)为stat，也可以被规约成prefixexp，(1)和(2)两个产生式发生了冲突，编译器不知道用哪一个对foo(goo)进行规约，所以便出现了错误。

其实要解决这个问题歧义问题也很简单，在***行后面加一个语句分隔符——分号，编译器就会把代码编译成两个独立的语句。或者把两行合并成一行， 那么foo(goo)(hoo)(1979)就被看作是一个完整的函数调用(其实此时仍然是有歧义的，但是Lua5.04通过优先选择prefixexp  -> functioncall进行规约解决了二义性)。

实际上，还有另外3种情况也会引起歧义：

-- prefixexp -> functioncall 与 -- exp -> functioncall 冲突。 -- 编译器不知道该把foo(goo)解释成表达式(exp)还是前缀表达式 local v = foo(goo) (hoo)(1979) -- exp -> var 与 prefixexp -> var 冲突 -- 第二行的变量(var)m不知道该被看成表达式还是前缀表达式 m = foo local v = m (goo)(1979) -- prefixexp -> '(' exp ')' 与 -- exp -> '(' exp ')' 冲突 -- 不知道该把(t.fn)看成表达式还是前缀表达式 t = {fn = foo} local v = (t.fn) (goo)(1979)

到此，关于“Lua的语法是无歧义的吗”的学习就结束了，希望能够解决大家的疑惑。理论与实践的搭配能更好的帮助大家学习，快去试试吧！若想继续学习更多相关知识，请继续关注亿速云网站，小编会继续努力为大家带来更多实用的文章！