括號和賦值運算符順序

Question

我正在編寫c表達式解析器並發現我不理解的行為：

#include <iostream>
#include <sstream>

int main()
{
    std::string string1;
    std::string string2 = std::string((string1 = std::string("first")) + " " + (string1 = std::string("second")));

    std::cout << string1 << std::endl;
    std::cout << string2 << std::endl;

    int int1;
    int int2 = (int1 = 1) + (int1 = 2);

    std::cout << int1 << std::endl;
    std::cout << int2 << std::endl;

    std::cin.get();

    return 0;
}

輸出：

first
first first
2
4

我曾預料到：

second
first second
2
3

在C＃中運行相同的程序時，我得到了預期的輸出。 你能解釋一下那里發生了什么嗎？

C＃代碼： https ： //gist.github.com/Kukkimonsuta/59543cfc4f7f73b8bebd

Answer 1

此代碼在C ++中具有未定義的行為，因為單個表達式對同一變量產生多個副作用（即，對string1兩個賦值）。 int1變量也是如此。

在您的情況下，編譯器將按照與您預期相反的順序應用這兩個副作用。 即使它按照您預期的順序應用它們，該程序仍然無效。

在C＃中運行相同的程序時，我得到了預期的輸出。

與C ++不同，C＃並沒有給編譯器開發人員留下太多的決定。 這些表達式的評估順序以及在C ++中產生未定義行為的許多其他表達式都由語言標准很好地定義。

Answer 2

這是C和C ++中未定義的行為。 變量int1在同一語句中被多次修改。

見序列點 ：

一個經常被引用的例子是C表達式i=i++ ，它顯然都將i分配給它先前的值並遞增i ....在C和C ++中，評估這樣的表達式會產生不確定的行為。

和腳注：

C99規范的第6.5＃2條：“ 在前一個和下一個序列點之間，一個對象的表達式的評估最多只能修改一次它的存儲值。此外，只能訪問先前的值來確定值。存儲。 “

---

除此之外，假設我們有不同的變量，結果仍然無法保證。 與C＃相反， C ++沒有指定表達式部分的計算順序。