C/C++多參數函數參數的計算順序與壓棧順序

一、前言

　　今天在看Thinking in C++這本書時，書中的一個例子引起了我的注意，具體是使用了下面這句

　　

單看這條語句的語義會發現僅僅是使用一個簡單的string的substr函數將所得子串push_back到strings。但是在閱讀時我卻對於substr的參數傳遞產生了疑惑，到底是先執行了++current，還是先執行了last-current？

經過查閱資料，發現了兩個相關知識點----參數的計算順序與壓棧順序。

二、參數壓棧順序

　　C/C++中規定了函數參數的壓棧順序是從右至左，對於含有不定參數的printf函數，其原型是printf（const char* format,…）；其中format確定了printf的參數（通過format的%個數判斷）。假設是從左至右壓棧，那么先入棧的是format（這里我們簡化理解為參數個數），然后依次入棧未知參數，此時想要知道參數個數，就必須找到format，而要找到format，就必須知道參數個數，陷入一個邏輯矛盾。因此C/C++中規定參數壓棧為從右至左，這樣對於不定參數，最后入棧的是參數個數，只需要取棧頂就可以得到。可以通過下面的程序驗證：

#include <stdio.h>
void foo(int x, int y, int z)
{
        printf("x = %d at [%X]\n", x, &x);
        printf("y = %d at [%X]\n", y, &y);
        printf("z = %d at [%X]\n", z, &z);
}
int main(int argc, char *argv[])
{
        foo(100, 200, 300);
        return 0;
}

通過輸出結果可以看到x,y,z的棧內地址依次是 x < y < z；而棧的生長方向是從高到低，也就是先入棧的占高地址，因此z先入棧，其次是y，最后是x，即壓棧順序從右至左。

三、參數計算順序

　　知道參數壓棧順序從右至左，是不是可以得出結論strings.push_back( s.substr(++current, last-current)); 先執行last-current，再執行++current呢？其實不然，先執行哪個參數和參數的計算順序有關，而C/C++中沒有規定函數參數的計算順序，即計算順序依照編譯器，編譯器規定從右至左計算就先執行last-current，規定從左至右就先執行++current，筆者試過codeblocks與vscode的計算順序都是從右至左。

　　也正因為函數參數的計算順序依照編譯器的實現，因此，C/C++的代碼編寫中並不支持編寫諸如 func(++x, x+y)這種的程序，在不同編譯器下可能產生不同的結果，所以上述代碼應該分開寫為：

        int len = last - current;
        ++current;
        strings.push_back(
            s.substr(current, len));