一、前言

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

單看這條語句的語義會發(fā)現(xiàn)僅僅是使用一個簡單的string的substr函數(shù)將所得子串push_back到strings。但是在閱讀時我卻對于substr的參數(shù)傳遞產(chǎn)生了疑惑，到底是先執(zhí)行了++current，還是先執(zhí)行了last-current？

經(jīng)過查閱資料，發(fā)現(xiàn)了兩個相關(guān)知識點----參數(shù)的計算順序與壓棧順序。

二、參數(shù)壓棧順序

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

#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;
}

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

三、參數(shù)計算順序

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

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

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

總結(jié)

到此這篇關(guān)于C/C++多參數(shù)函數(shù)參數(shù)的計算順序與壓棧順序的示例代碼的文章就介紹到這了,更多相關(guān)c/c++函數(shù)參數(shù)壓棧順序內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論