動態地將參數傳遞給可變參數函數

Question

我想知道是否有任何方法將參數動態地傳遞給可變參數函數。即如果我有一個函數

int some_function (int a, int b, ...){/*blah*/} 

，我接受了一堆數值從用戶，我想這些值傳遞到函數的一些方法：

some_function (a,b, val1,val2,...,valn) 

我不想寫所有這些功能的不同版本，但我懷疑沒有其他選擇？

Answer 1

嘗試傳遞一個數組可能會很有趣，然後使用可變參數宏。根據堆棧對齊情況，它可能正常工作（tm）。

這可能不是最佳解決方案，我主要發佈它，因爲我發現這個想法很有趣。 試用後，這種方法在我的Linux x86上工作，但不在x86-64上 - 它可能可以改進。此方法將取決於堆棧對齊，結構對齊和可能更多。

void varprint(int count, ...) 
{ 
    va_list ap; 
    int32_t i; 

    va_start(ap, count); 
    while(count--) { 
     i = va_arg(ap, int32_t); 
     printf("Argument: %d\n", i); 
    } 
    va_end(ap); 
} 

struct intstack 
{ 
    int32_t pos[99]; 
}; 

int main(int argc, char** argv) 
{ 
    struct intstack *args = malloc(sizeof(struct intstack)); 
    args->pos[0] = 1; 
    args->pos[1] = 2; 
    args->pos[2] = 3; 
    args->pos[3] = 4; 
    args->pos[4] = 5; 

    varprint(5, *args); 
    return 0; 
} 

Answer 2

變量函數使用調用約定，其中調用者負責從棧中彈出函數參數，所以是的，可以動態執行此操作。它在C中沒有標準化，通常需要一些程序集手動推送所需的參數，並正確調用可變參數函數。

cdecl調用約定要求參數按正確的順序推送，並且在調用之後，在調用之前作爲參數推送的字節被彈出。通過這種方式，被調用的函數可以接收任意數量的參數，因爲調用者將處理將堆棧指針恢復到它的預調用狀態。 ...之前的參數佔用的空間是推送的字節數的安全下限。額外的可變參數在運行時被解釋。

FFCALL是一個庫，它提供了將參數動態傳遞給可變參數函數的包裝器。您感興趣的功能組是avcall。這裏有一個例子給你打電話了以上的功能：

#include <avcall.h> 

av_alist argList; 
int retVal; 
av_start_int(argList, some_function, retval); 
av_int(argList, a); 
av_int(argList, b); 
av_type(argList, val1); 
... 
av_type(argList, valn); 
av_call(argList); 

您也可能會發現this link討論用C產生繞可變參數函數的包裝，對感興趣的理由，爲什麼這不是標準C.

Answer 3

部分

一個標準的方法是讓每個可變參數函數伴隨着一個va_list評論對象（如在printf和vprintf中）。該可變參數版本只是將...轉換爲va_list（使用來自stdarg.h的宏），並調用其實際工作的va_list-sister。

Answer 4

取決於你傳遞的是什麼，它可能是你在此之後的一個有區別的聯盟（正如評論中暗示的那樣）。這將避免需要可變參數函數或void*的數組，並回答「問題如何some_function知道你實際上通過它」。你可能有代碼是這樣的：

enum thing_code { INTEGER, DOUBLE, LONG }; 

struct thing 
{ 
enum thing_code code; 
union 
{ 
    int a; 
    double b; 
    long c; 
}; 
}; 

void some_function(size_t n_things, struct thing *things) 
{ 
    /* ... for each thing ... */ 
    switch(things[i].code) 
    { 
     case INTEGER: 
     /* ... */ 
    } 
} 

你可以藉此更進一步，通過與一個或多個指針替換code該做些什麼，每個thing有用的功能，避免了開關。例如，如果你想要做的是簡單地打印出每一件事情，你可以有這樣的：

struct thing 
{ 
void (*print)(struct thing*); 
union 
{ 
    ... 
}; 
} 

void some_function(size_t n_things, struct thing *things) 
{ 
    /* .. for each thing .. */ 
    things[i]->print(things[i]); 
    /* ... */ 
}