C語言深入講解函數(shù)參數(shù)的使用

更新時(shí)間：2022年04月18日 08:37:13 作者：清風(fēng)自在?流水潺潺

函數(shù)的參數(shù)分為形參和實(shí)參兩種。形參出現(xiàn)在函數(shù)定義中，在整個(gè)函數(shù)體內(nèi)都可以使用，離開該函數(shù)則不能使用。實(shí)參出現(xiàn)在主調(diào)函數(shù)中，進(jìn)入被調(diào)函數(shù)后，實(shí)參變量也不能使用

一、函數(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è)示例說明函數(shù)參數(shù)的求值順序依賴于編譯器的實(shí)現(xiàn)。

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

程序中存在一定的順序點(diǎn)
順序點(diǎn)指的是執(zhí)行過程中修改變量值的最晚時(shí)刻
在程序到達(dá)順序點(diǎn)的時(shí)候，之前所做的—切操作必須完成
每個(gè)完整表達(dá)式結(jié)束時(shí)，即分號處
&&，||，?:，以及逗號表達(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 ，對于 && 運(yùn)算符，每個(gè)操作數(shù)都是一個(gè)順序點(diǎn)。當(dāng)程序從左往后執(zhí)行時(shí)，a-- 對內(nèi)存的修改必須立即完成，所以 a 就變成了 0。

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

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

三、小結(jié)-上

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

四、調(diào)用約定

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

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

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

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

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

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

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

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

五、可變參數(shù)

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

#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語言中可以定義參數(shù)可變的函數(shù)

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

va_list -- 參數(shù)集合
va_arg -- 取具體參數(shù)值
va_start -- 標(biāo)識參數(shù)訪問的開始
va_end -- 標(biāo)識參數(shù)訪問的結(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é)果如下：