C語言深入講解函數引數的使用

2022-04-18 10:00:10

一、函數引數

函數引數在本質上與區域性變數相同在棧上分配空間
函數引數的初始值是函數呼叫時的實參值
函數引數的求值順序依賴於編譯器的實現

下面看一個函數引數的求值順序的範例：

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

輸出結果如下：

這個範例說明函數引數的求值順序依賴於編譯器的實現。

二、程式的順序點

程式中存在一定的順序點
順序點指的是執行過程中修改變數值的最晚時刻
在程式到達順序點的時候，之前所做的—切操作必須完成
每個完整表示式結束時，即分號處
&&，||，?:，以及逗號表示式的每個引數計算之後
函數呼叫時所有實參求值完成後(進入函數體之前)

下面看一個程式中的順序點範例：

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

輸出結果如下：

a-- && a ，對於 && 運運算元，每個運算元都是一個順序點。當程式從左往後執行時，a-- 對記憶體的修改必須立即完成，所以 a 就變成了 0。

為什麼會輸出 6 呢？下面在 VS2012 裡面執行程式碼，進行反組合操作：

這段組合程式碼簡單的來說，就是先進行 + 操作，k = 2 + 2 = 4，然後進行兩次 ++ 操作，所以最終結果就是 6。

三、小結-上

函數的引數在棧上分配空間
函數的實參並沒有固定的計算次序
順序點是 C 語言中變數修改的最晚時機

四、呼叫約定

函數引數的計算次序是依賴編譯器實現的，那麼函數引數的入棧次序是如何確定的呢？

當函數呼叫發生時

引數會傳遞給被呼叫的函數
而返回值會被返回給函數呼叫者

呼叫約定描述引數如何傳遞到棧中以及棧的維護方式

引數傳遞順序
呼叫棧清理

呼叫約定是預定義的可理解為呼叫協定

呼叫約定通常用於庫呼叫和庫開發的時候

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

五、可變引數

計算平均值時，我們一般可以編寫成這樣：

#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("%fn", average(array, 5));
    
    return 0;
}

輸出結果如下：

C語言中可以定義引數可變的函數

引數可變函數的實現依賴於 stdarg.h 標頭檔案

va_list -- 引數集合
va_arg -- 取具體引數值
va_start -- 標識引數存取的開始
va_end -- 標識引數存取的結束

下面看一個求可變引數平均值的程式碼：

#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("%fn", average(5, 1, 2, 3, 4, 5));
    printf("%fn", average(4, 1, 2, 3, 4));
    
    return 0;
}

輸出結果如下：