這篇文章主要介紹“Lua的語(yǔ)法是無(wú)歧義的嗎”，在日常操作中，相信很多人在Lua的語(yǔ)法是無(wú)歧義的嗎問題上存在疑惑，小編查閱了各式資料，整理出簡(jiǎn)單好用的操作方法，希望對(duì)大家解答”Lua的語(yǔ)法是無(wú)歧義的嗎”的疑惑有所幫助！接下來(lái)，請(qǐng)跟著小編一起來(lái)學(xué)習(xí)吧！

創(chuàng)新互聯(lián)公司專注于古田企業(yè)網(wǎng)站建設(shè),成都響應(yīng)式網(wǎng)站建設(shè)公司,成都商城網(wǎng)站開發(fā)。古田網(wǎng)站建設(shè)公司,為古田等地區(qū)提供建站服務(wù)。全流程定制設(shè)計(jì)，專業(yè)設(shè)計(jì)，全程項(xiàng)目跟蹤，創(chuàng)新互聯(lián)公司專業(yè)和態(tài)度為您提供的服務(wù)

首先定義如下幾個(gè)函數(shù):

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)

如果試圖編譯執(zhí)行上面這段程序，那么解釋器就會(huì)報(bào)告 "ambiguous syntax (function call x new  statement) near '(' "  這樣的錯(cuò)誤。為什么呢?或許寫程序的人原本的意思就是***行foo(goo)為一個(gè)單獨(dú)的函數(shù)調(diào)用語(yǔ)句(statement)，而第二行(hoo) (1979)又為另一個(gè)單獨(dú)的函數(shù)調(diào)用語(yǔ)句(Lua中語(yǔ)句之間的分隔符——分號(hào)并非必需，而是可選的)。但是不要忘記了foo(goo)(hoo)是一個(gè) 語(yǔ)法上完全合法的函數(shù)調(diào)用形式(在編譯過(guò)程中換行符作為空白符會(huì)被忽略掉)，foo(goo)(hoo)(1979)也可以成為一個(gè)完整的函數(shù)調(diào)用語(yǔ)句。 這樣的話，編譯器就無(wú)法知道程序員的真正意圖了。

我們可以再深入到編譯過(guò)程里頭一點(diǎn)看看。Lua語(yǔ)法的形式定義(轉(zhuǎn)換成BNF標(biāo)準(zhǔn)形式)包含如下幾個(gè)產(chǎn)生式：

(1) stat -> functioncall (語(yǔ)句的產(chǎn)生式)

(2) prefixexp -> functioncall (前綴表達(dá)式的產(chǎn)生式)

(3) functioncall -> prefixexp args

| prefixexp ':' Name args (函數(shù)調(diào)用的產(chǎn)生式)

可以發(fā)現(xiàn)，functioncall既可以被規(guī)約(reduce)為stat，也可以被規(guī)約成prefixexp，(1)和(2)兩個(gè)產(chǎn)生式發(fā)生了沖突，編譯器不知道用哪一個(gè)對(duì)foo(goo)進(jìn)行規(guī)約，所以便出現(xiàn)了錯(cuò)誤。

其實(shí)要解決這個(gè)問題歧義問題也很簡(jiǎn)單，在***行后面加一個(gè)語(yǔ)句分隔符——分號(hào)，編譯器就會(huì)把代碼編譯成兩個(gè)獨(dú)立的語(yǔ)句?；蛘甙褍尚泻喜⒊梢恍校?那么foo(goo)(hoo)(1979)就被看作是一個(gè)完整的函數(shù)調(diào)用(其實(shí)此時(shí)仍然是有歧義的，但是Lua5.04通過(guò)優(yōu)先選擇prefixexp  -> functioncall進(jìn)行規(guī)約解決了二義性)。

實(shí)際上，還有另外3種情況也會(huì)引起歧義：

-- prefixexp -> functioncall 與 -- exp -> functioncall 沖突。 -- 編譯器不知道該把foo(goo)解釋成表達(dá)式(exp)還是前綴表達(dá)式 local v = foo(goo) (hoo)(1979) -- exp -> var 與 prefixexp -> var 沖突 -- 第二行的變量(var)m不知道該被看成表達(dá)式還是前綴表達(dá)式 m = foo local v = m (goo)(1979) -- prefixexp -> '(' exp ')' 與 -- exp -> '(' exp ')' 沖突 -- 不知道該把(t.fn)看成表達(dá)式還是前綴表達(dá)式 t = {fn = foo} local v = (t.fn) (goo)(1979)

到此，關(guān)于“Lua的語(yǔ)法是無(wú)歧義的嗎”的學(xué)習(xí)就結(jié)束了，希望能夠解決大家的疑惑。理論與實(shí)踐的搭配能更好的幫助大家學(xué)習(xí)，快去試試吧！若想繼續(xù)學(xué)習(xí)更多相關(guān)知識(shí)，請(qǐng)繼續(xù)關(guān)注創(chuàng)新互聯(lián)網(wǎng)站，小編會(huì)繼續(xù)努力為大家?guī)?lái)更多實(shí)用的文章！