在GCC中動態創建va_list - 可以完成嗎？

Question

我的問題vsprintf是我無法直接獲取輸入參數，我必須先逐個獲取輸入，並將它們保存在void**中，然後將此void**傳遞給vsprintf()，這對Windows來說都很好，但是當我來64位linux，gcc無法編譯，因爲它不允許從void**轉換爲va_list，有沒有人可以給我一些幫助，我應該如何在Linux下做到這一點？

我可以在GCC中動態創建va_list嗎？

void getInputArgs(char* str, char* format, ...) 
{ 
    va_list args; 
    va_start(args, format); 
    vsprintf(str, format, args); 
    va_end(args); 
} 

void process(void) 
{ 
    char s[256]; 
    double tempValue; 
    char * tempString = NULL; 
    void ** args_ptr = NULL; 
    ArgFormatType format; //defined in the lib I used in the code 
    int numOfArgs = GetNumInputArgs(); // library func used in my code 

    if(numOfArgs>1) 
    { 
     args_ptr = (void**) malloc(sizeof(char)*(numOfArgs-1)); 
     for(i=2; i<numOfArgs; i++) 
     { 
      format = GetArgType(); //library funcs 

      switch(format) 
      { 
       case ArgType_double: 
        CopyInDoubleArg(i, TRUE, &tempValue); //lib func 
        args_ptr[i-2] = (void*) (int)tempValue;  
        break; 

       case ArgType_char: 
        args_ptr[i-2]=NULL; 
        AllocInCharArg(i, TRUE, &tempString); //lib func 
        args_ptr[i-2]= tempString; 
       break; 
      } 
     } 
    } 

    getInputArgs(s, formatString, (va_list) args_ptr); //Here 
      // is the location where gcc cannot compile, 
      // Can I and how if I can create a va_list myself? 
} 

Answer 1

我曾嘗試使用libffi，如其他地方所述，它的工作原理。 下面是鏈接，希望它可以幫助其他類似問題的人。 再次感謝我得到的所有幫助！

鏈接： http://www.atmark-techno.com/~yashi/libffi.html - 簡單的例子給出 http://www.swig.org/Doc1.3/Varargs.html - printf（）和其他例子給出

Answer 2

類型的va_list不是void **或任何具有64位gcc相似（在Intel 86/64的機器）。在Mac OS X 10.7.4和RHEL 5上，/usr/include中沒有標頭stdarg.h。考慮下面的代碼：

#include <stdarg.h> 
#include <stdio.h> 
int main(void) 
{ 
    printf("sizeof(va_list) = %zu\n", sizeof(va_list)); 
    return 0; 
} 

在兩個RHEL 5和Mac OS X 10.7的輸出與64位編譯是：

sizeof(va_list) = 24 

使用32位編譯，每個平臺上的輸出是：

sizeof(va_list) = 4 

（你可以認爲我很驚訝地發現，32位和64位版本之間這麼多的差異，我期待12和24之間的值的32位版本。 ）

所以，類型是不透明的;你甚至找不到能夠告訴你任何事情的標題;而且它比64位機器上的單個指針大得多。

即使你的代碼在某些機器上工作，它仍然遠遠不能保證在任何地方工作。

GCC 4.7.1手冊未提及任何允許您在運行時構建va_list的功能。

Answer 3

有一種方法可以做到這一點，但它是特定到gcc在Linux上。它可以在32位和64位版本的Linux（測試過）上工作（甚至可以在Windows上工作在32/64位，但在那裏是UNTESTED）。

免責聲明：我不贊同使用此代碼。它不可攜帶，它是駭人聽聞的，並且坦率地說，它是一條諺語式的走鋼絲上不穩定的平衡大象。我只是證明可以使用gcc動態創建va_list，這是原始問題所要求的。

這就是說，下面的文章詳細介紹瞭如何使用va_list與amd64 ABI：Amd64 and Va_arg。

隨着va_list結構的內部結構的知識，我們可以欺騙va_arg宏成從va_list讀取我們構建自己：

#if (defined(__linux__) && defined(__x86_64__)) 
// AMD64 byte-aligns elements to 8 bytes 
#define VLIST_CHUNK_SIZE 8 
#else 
#define VLIST_CHUNK_SIZE 4 
#define _va_list_ptr _va_list 
#endif 

typedef struct { 
    va_list _va_list; 
#if (defined(__linux__) && defined(__x86_64__)) 
    void* _va_list_ptr; 
#endif 
} my_va_list; 

void my_va_start(my_va_list* args, void* arg_list) 
{ 
#if (defined(__linux__) && defined(__x86_64__)) 
    /* va_args will read from the overflow area if the gp_offset 
     is greater than or equal to 48 (6 gp registers * 8 bytes/register) 
     and the fp_offset is greater than or equal to 304 (gp_offset + 
     16 fp registers * 16 bytes/register) */ 
    args->_va_list[0].gp_offset = 48; 
    args->_va_list[0].fp_offset = 304; 
    args->_va_list[0].reg_save_area = NULL; 
    args->_va_list[0].overflow_arg_area = arg_list; 
#endif 
    args->_va_list_ptr = arg_list; 
} 

void my_va_end(my_va_list* args) 
{ 
    free(args->_va_list_ptr); 
} 

typedef struct { 
    ArgFormatType type; // OP defined this enum for format 
    union { 
     int i; 
     // OTHER TYPES HERE 
     void* p; 
    } data; 
} va_data; 

現在，我們可以生成va_list指針（它是兩者相同的64位和32位版本）使用類似的方法process()或以下：

void* create_arg_pointer(va_data* arguments, unsigned int num_args) { 
    int i, arg_list_size = 0; 
    void* arg_list = NULL; 

    for (i=0; i < num_args; ++i) 
    { 
     unsigned int native_data_size, padded_size; 
     void *native_data, *vdata; 

     switch(arguments[i].type) 
     { 
      case ArgType_int: 
       native_data = &(arguments[i].data.i); 
       native_data_size = sizeof(arguments[i]->data.i); 
       break; 
      // OTHER TYPES HERE 
      case ArgType_string: 
       native_data = &(arguments[i].data.p); 
       native_data_size = sizeof(arguments[i]->data.p); 
       break; 
      default: 
       // error handling 
       continue; 
     } 

     // if needed, pad the size we will use for the argument in the va_list 
     for (padded_size = native_data_size; 0 != padded_size % VLIST_CHUNK_SIZE; padded_size++); 

     // reallocate more memory for the additional argument 
     arg_list = (char*)realloc(arg_list, arg_list_size + padded_size); 

     // save a pointer to the beginning of the free space for this argument 
     vdata = &(((char *)(arg_list))[arg_list_size]); 

     // increment the amount of allocated space (to provide the correct offset and size for next time) 
     arg_list_size += padded_size; 

     // set full padded length to 0 and copy the actual data into the location 
     memset(vdata, 0, padded_size); 
     memcpy(vdata, native_data, native_data_size); 
    } 

    return arg_list; 
} 

最後，我們可以使用它：

va_data data_args[2]; 
data_args[0].type = ArgType_int; 
data_args[0].data.i = 42; 

data_args[1].type = ArgType_string; 
data_args[1].data.p = "hello world"; 

my_va_list args; 
my_va_start(&args, create_arg_pointer(data_args, 2)); 

vprintf("format string %d %s", args._va_list); 

my_va_end(&args); 

而你有它。它的工作原理主要是與正常的va_start和va_end宏相同，但允許您傳遞自己動態生成的字節對齊的指針，而不是依賴調用約定來設置堆棧幀。