評估順序：未定義的行爲？或編譯器缺陷？

Question

我得到錯誤的彙編代碼從C編譯器下面的測試代碼。 這是由於未定義的行爲？

void SimulatedTest(void) 
{         
    if ((a) || (b && c || d) == 1) 
    { 
     i = 2; 
    } 
    else 
    { 
     i = 4; 
    } 
} 

什麼標準說：

6.5.16賦值運算符

操作數的評價的順序是不確定的。如果試圖 作出修改賦值運算符的結果，或者下一個序列點之後訪問它 ，行爲是不確定

C運算符優先級規則

1. （）
2. ==
3. || & &

對於該問題的情況下：如果（（A）||（B & &Ç|| d）== 1） Compiler將評估以下順序在表達和產生錯誤的代碼

1.（b & &ç|| d） - > R1

2.R1 == 1 - > R2

3.（A）|| R2

但是編譯器生成正確的代碼用於以下情況

案例1：。當沒有關係 '==' 操作

if ((a) || (b && c || d))//compiler generates expected code 

情況2：當括號中加入用於邏輯或運算

if (((a) || (b && c || d)) == 1)//compiler generates expected code 

情形3：操作之間沒有使用括號

if (a || b && c || d == 1)//compiler generates expected code 

想知道這個問題是否情況下，不確定的行爲屬於類或不。

問候，

的Mac

Answer 1

相等運算==具有比所述邏輯或運算符||更高的優先級。因此編譯器是正確的，沒有未定義的行爲。

的評價是相同的：

a || ((b && c || d) == 1) 

Answer 2

此：

if ((a) || (b && c || d) == 1) 

是||的結果與一個整數，而決不是你想要做什麼比較。

規定的邏輯運算符的優先順序，這並不總是人們期望的那樣，它通常是最安全的括號內甩出去讓事情更清晰的讀取，從而

if ((a) || ((b && c) || d) == 1) 

或

if ((a) || (b && (c || d)) == 1) 

來處理&&或||

並取決於你期望==與之比較（如果你真的要做到這一點，我懷疑）

if ((a) || ((b && c || d) == 1)) 

或

if (((a) || (b && c || d)) == 1) 

但編譯器編譯權。這對於人類心靈意味着什麼並不是非常明顯。