一、函數(shù)參數(shù)

• 函數(shù)參數(shù)在本質(zhì)上與局部變量相同在棧上分配空間
• 函數(shù)參數(shù)的初始值是函數(shù)調(diào)用時(shí)的實(shí)參值
• 函數(shù)參數(shù)的求值順序依賴于編譯器的實(shí)現(xiàn)

? ? ? ? 下面看一個(gè)函數(shù)參數(shù)的求值順序的示例：

#include <stdio.h>
 
int func(int i, int j)
{
    printf("i = %d, j = %d\n", i, j);
    
    return 0;
}
 
int main()
{
    int k = 1;
    
    func(k++, k++);
    
    printf("%d\n", k);
    
    return 0;
}
 

? ? ? ? ?輸出結(jié)果如下：

? ? ? ? ?這個(gè)示例說(shuō)明函數(shù)參數(shù)的求值順序依賴于編譯器的實(shí)現(xiàn)。

二、程序的順序點(diǎn)

• 程序中存在一定的順序點(diǎn)
• 順序點(diǎn)指的是執(zhí)行過(guò)程中修改變量值的最晚時(shí)刻
• 在程序到達(dá)順序點(diǎn)的時(shí)候，之前所做的—切操作必須完成
• 每個(gè)完整表達(dá)式結(jié)束時(shí)，即分號(hào)處
• &&，||，?:，以及逗號(hào)表達(dá)式的每個(gè)參數(shù)計(jì)算之后
• 函數(shù)調(diào)用時(shí)所有實(shí)參求值完成后(進(jìn)入函數(shù)體之前)

? ? ? ? 下面看一個(gè)程序中的順序點(diǎn)示例：

#include <stdio.h>
 
int main()
{
    int k = 2;
    int a = 1;
    
    k = k++ + k++;
    
    printf("k = %d\n", k);
    
    if( a-- && a )
    {
        printf("a = %d\n", a);
    }
    
    return 0;
}
 

? ? ? ? 輸出結(jié)果如下：

????????a-- && a?，對(duì)于?&& 運(yùn)算符，每個(gè)操作數(shù)都是一個(gè)順序點(diǎn)。當(dāng)程序從左往后執(zhí)行時(shí)，a-- 對(duì)內(nèi)存的修改必須立即完成，所以 a 就變成了 0。

? ? ? ? ? 為什么會(huì)輸出 6 呢？下面在 VS2012 里面運(yùn)行代碼，進(jìn)行反匯編操作：

? ? ? ? ?這段匯編代碼簡(jiǎn)單的來(lái)說(shuō)，就是先進(jìn)行 + 操作，k = 2 + 2 = 4，然后進(jìn)行兩次 ++ 操作，所以最終結(jié)果就是 6。

三、小結(jié)-上

• 函數(shù)的參數(shù)在棧上分配空間
• 函數(shù)的實(shí)參并沒(méi)有固定的計(jì)算次序
• 順序點(diǎn)是 C 語(yǔ)言中變量修改的最晚時(shí)機(jī)

四、調(diào)用約定

????????函數(shù)參數(shù)的計(jì)算次序是依賴編譯器實(shí)現(xiàn)的，那么函數(shù)參數(shù)的入棧次序是如何確定的呢？

當(dāng)函數(shù)調(diào)用發(fā)生時(shí)

• 參數(shù)會(huì)傳遞給被調(diào)用的函數(shù)
• 而返回值會(huì)被返回給函數(shù)調(diào)用者

調(diào)用約定描述參數(shù)如何傳遞到棧中以及棧的維護(hù)方式

• 參數(shù)傳遞順序
• 調(diào)用棧清理

調(diào)用約定是預(yù)定義的可理解為調(diào)用協(xié)議

調(diào)用約定通常用于庫(kù)調(diào)用和庫(kù)開(kāi)發(fā)的時(shí)候

• 從右到左依次入棧：_stdcall，_cdecl，_thiscall
• 從左到右依次入棧：_pascal，_fastcall

五、可變參數(shù)

? ? ? ? 計(jì)算平均值時(shí)，我們一般可以編寫(xiě)成這樣：

#include <stdio.h>
 
float average(int array[], int size)
{
    int i = 0;
    float avr = 0;
    
    for(i=0; i<size; i++)
    {
        avr += array[i];
    }
    
    return avr / size;
}
 
int main()
{
    int array[] = {1, 2, 3, 4, 5};
    
    printf("%f\n", average(array, 5));
    
    return 0;
}
 

? ? ? ? 輸出結(jié)果如下：

C語(yǔ)言中可以定義參數(shù)可變的函數(shù)

參數(shù)可變函數(shù)的實(shí)現(xiàn)依賴于 stdarg.h 頭文件

• va_list? --? 參數(shù)集合
• va_arg --? 取具體參數(shù)值
• va_start? --? 標(biāo)識(shí)參數(shù)訪問(wèn)的開(kāi)始
• va_end? --? 標(biāo)識(shí)參數(shù)訪問(wèn)的結(jié)束

? ? ? ? 下面看一個(gè)求可變參數(shù)平均值的代碼：

#include <stdio.h>
#include <stdarg.h>
 
float average(int n, ...)
{
    va_list args;
    int i = 0;
    float sum = 0;
    
    va_start(args, n);
    
    for(i=0; i<n; i++)
    {
        sum += va_arg(args, int);
    }
    
    va_end(args);
    
    return sum / n;
}
 
int main()
{
    printf("%f\n", average(5, 1, 2, 3, 4, 5));
    printf("%f\n", average(4, 1, 2, 3, 4));
    
    return 0;
}
 

? ? ? ? 輸出結(jié)果如下：

六、可變參數(shù)的限制

• 可變參數(shù)必須從頭到尾按照順序逐個(gè)訪問(wèn)
• 參數(shù)列表中至少要存在一個(gè)確定的命名參數(shù)
• 可變參數(shù)函數(shù)無(wú)法確定實(shí)際存在的參數(shù)的數(shù)量
• 可變參數(shù)函數(shù)無(wú)法確定參數(shù)的實(shí)際類(lèi)型

? ? ? ? 注意：va_arg 中如果指定了錯(cuò)誤的類(lèi)型，那么結(jié)果是不可預(yù)測(cè)的。

七、小結(jié)-下

• 調(diào)用約定指定了函數(shù)參數(shù)的入棧順序以及棧的清理方式
• 可變參數(shù)是 C 語(yǔ)言提供的一種函數(shù)設(shè)計(jì)技巧
• 可變參數(shù)的函數(shù)提供了一種更方便的函數(shù)調(diào)用方式
• 可變參數(shù)必須順序的訪問(wèn)，無(wú)法直接訪問(wèn)中間的參數(shù)值