看過(guò)LCC源碼的高人進(jìn)，重溫一下這段代碼的意思。。。

yangnas

最近在看LCC的源代碼在看到分析表達(dá)式一節(jié)中時(shí)遇到一個(gè)函數(shù)，代碼如下：

Tree expr1(int tok) {
        static char stop[] = { IF, ID, 0 };
        Tree p = expr2();

        if (t == '='
        || (prec[t] >=  6 && prec[t] <=  
        || (prec[t] >= 11 && prec[t] <= 13)) {
                int op = t;
                t = gettok();
                if (oper[op] == ASGN)
                        p = asgntree(ASGN, p, value(expr1(0)));
                else
                        {
                                expect('=');
                                p = incr(op, p, expr1(0));
                        }
        }
        if (tok)       
                test(tok, stop);
        return p;
}

這個(gè)函數(shù)是下面賦值表達(dá)式文法的轉(zhuǎn)換函數(shù)，文法如下:

assignment-expression:
    conditional-expression
    unary-expression assign-operator assignment-expression

可是令我不解的是，為什么這個(gè)expr1函數(shù)，一進(jìn)來(lái)就先調(diào)用expr2呢？(expr2是條件表達(dá)式的分析函數(shù))

我一開(kāi)始的想法是，既然assignment-expression的文法，產(chǎn)生式右端的兩項(xiàng)是“或”的關(guān)系，理論上應(yīng)該翻譯成：

if( t 屬于 condition-expression )
  expr2();
else (t 屬于 unary-expression assign-operator assignment-expression ）
other();

才對(duì)呀？

是不是我哪里想錯(cuò)了？

EricFisher

書(shū)上說(shuō)，a = b = c這樣的多重賦值語(yǔ)句，解釋為a = (b = c)，賦值操作為右結(jié)合。

所以，對(duì)于
assignment-expression:
  unary-expression {assign-operator conditional-expression}

應(yīng)該先分析conditional-expression，也就是先調(diào)用expr2。

yangnas

謝謝，EricFisher 。:emn1:

yangnas

有點(diǎn)明白了。。。
原來(lái)是assignment-expression的翻譯，沒(méi)完全遵照文法，為的是有"強(qiáng)大"的錯(cuò)誤處理能力。。。書(shū)上這么說(shuō)的。

yangnas

明白了，原來(lái)是因?yàn)殡m然賦值表達(dá)式的文法如下所示:
assignment-expression:
    conditional-expression
    unary-expression assign-operator assignment-expression
但第一個(gè)產(chǎn)生式被去掉，然后第二個(gè)產(chǎn)生式被修改。
最后新的產(chǎn)生式，實(shí)際上是
assignment-expression:
    conditional-expression assign-operator assignment-expression
因?yàn)閏onditional-expression包含unary-expression，這樣以來(lái)，只要等分析返回時(shí)通過(guò)語(yǔ)義分析就可判定出那些不合法的產(chǎn)生式。這樣就實(shí)現(xiàn)了更強(qiáng)的出錯(cuò)處理能力了。