Lua的語法是無歧義的嗎

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

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

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

(1) stat -> functioncall (語句的產(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)兩個產(chǎn)生式發(fā)生了沖突，編譯器不知道用哪一個對foo(goo)進(jìn)行規(guī)約，所以便出現(xiàn)了錯誤。

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

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

-- 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的語法是無歧義的嗎”的學(xué)習(xí)就結(jié)束了，希望能夠解決大家的疑惑。理論與實(shí)踐的搭配能更好的幫助大家學(xué)習(xí)，快去試試吧！若想繼續(xù)學(xué)習(xí)更多相關(guān)知識，請繼續(xù)關(guān)注億速云網(wǎng)站，小編會繼續(xù)努力為大家?guī)砀鄬?shí)用的文章！