Vượt qua số lượng đối số khác nhau xung quanh

Giả sử tôi có một hàm C có số lượng đối số thay đổi: Làm thế nào tôi có thể gọi một hàm khác có số lượng đối số thay đổi từ bên trong nó, chuyển tất cả các đối số đã vào hàm đầu tiên?

Thí dụ:

void format_string(char *fmt, ...);

void debug_print(int dbg_lvl, char *fmt, ...) {
    format_string(fmt, /* how do I pass all the arguments from '...'? */);
    fprintf(stdout, fmt);
 }

Để vượt qua các dấu chấm lửng trên, bạn phải chuyển đổi chúng thành va_list và sử dụng va_list đó trong hàm thứ hai của bạn. Đặc biệt;

void format_string(char *fmt,va_list argptr, char *formatted_string);


void debug_print(int dbg_lvl, char *fmt, ...) 
{    
 char formatted_string[MAX_FMT_SIZE];

 va_list argptr;
 va_start(argptr,fmt);
 format_string(fmt, argptr, formatted_string);
 va_end(argptr);
 fprintf(stdout, "%s",formatted_string);
}

Không có cách nào gọi (ví dụ) printf mà không biết bạn đang chuyển qua bao nhiêu đối số, trừ khi bạn muốn tham gia vào các thủ thuật nghịch ngợm và không di động.

Các giải pháp thường được sử dụng là luôn cung cấp một dạng thay thế các chức năng vararg, vì vậy printfcó vprintfmà phải mất một va_listở vị trí của .... Các ...phiên bản chỉ là bao bọc xung quanh các va_listphiên bản.

Chức năng Variadic có thể nguy hiểm . Đây là một mẹo an toàn hơn:

   void func(type* values) {
        while(*values) {
            x = *values++;
            /* do whatever with x */
        }
    }

func((type[]){val1,val2,val3,val4,0});

Trong C ++ 0x tuyệt vời, bạn có thể sử dụng các mẫu matrixdic:

template <typename ... Ts>
void format_string(char *fmt, Ts ... ts) {}

template <typename ... Ts>
void debug_print(int dbg_lvl, char *fmt, Ts ... ts)
{
  format_string(fmt, ts...);
}

Bạn có thể sử dụng lắp ráp nội tuyến cho cuộc gọi chức năng. (trong mã này tôi giả sử các đối số là ký tự).

void format_string(char *fmt, ...);
void debug_print(int dbg_level, int numOfArgs, char *fmt, ...)
    {
        va_list argumentsToPass;
        va_start(argumentsToPass, fmt);
        char *list = new char[numOfArgs];
        for(int n = 0; n < numOfArgs; n++)
            list[n] = va_arg(argumentsToPass, char);
        va_end(argumentsToPass);
        for(int n = numOfArgs - 1; n >= 0; n--)
        {
            char next;
            next = list[n];
            __asm push next;
        }
        __asm push fmt;
        __asm call format_string;
        fprintf(stdout, fmt);
    }

Bạn cũng có thể thử macro.

#define NONE    0x00
#define DBG     0x1F
#define INFO    0x0F
#define ERR     0x07
#define EMR     0x03
#define CRIT    0x01

#define DEBUG_LEVEL ERR

#define WHERESTR "[FILE : %s, FUNC : %s, LINE : %d]: "
#define WHEREARG __FILE__,__func__,__LINE__
#define DEBUG(...)  fprintf(stderr, __VA_ARGS__)
#define DEBUG_PRINT(X, _fmt, ...)  if((DEBUG_LEVEL & X) == X) \
                                      DEBUG(WHERESTR _fmt, WHEREARG,__VA_ARGS__)

int main()
{
    int x=10;
    DEBUG_PRINT(DBG, "i am x %d\n", x);
    return 0;
}

Mặc dù bạn có thể giải quyết việc chuyển định dạng bằng cách lưu trữ nó trong bộ đệm cục bộ trước, nhưng điều đó cần ngăn xếp và đôi khi có thể là vấn đề cần giải quyết. Tôi đã thử làm theo và nó có vẻ hoạt động tốt.

#include <stdarg.h>
#include <stdio.h>

void print(char const* fmt, ...)
{
    va_list arg;
    va_start(arg, fmt);
    vprintf(fmt, arg);
    va_end(arg);
}

void printFormatted(char const* fmt, va_list arg)
{
    vprintf(fmt, arg);
}

void showLog(int mdl, char const* type, ...)
{
    print("\nMDL: %d, TYPE: %s", mdl, type);

    va_list arg;
    va_start(arg, type);
    char const* fmt = va_arg(arg, char const*);
    printFormatted(fmt, arg);
    va_end(arg);
}

int main() 
{
    int x = 3, y = 6;
    showLog(1, "INF, ", "Value = %d, %d Looks Good! %s", x, y, "Infact Awesome!!");
    showLog(1, "ERR");
}

Hi vọng điêu nay co ich.

Giải pháp của Ross đã dọn dẹp một chút. Chỉ hoạt động nếu tất cả các đối số là con trỏ. Ngoài ra, việc triển khai ngôn ngữ phải hỗ trợ xóa dấu phẩy trước đó nếu __VA_ARGS__trống (cả Visual Studio C ++ và GCC đều làm).

// pass number of arguments version
 #define callVardicMethodSafely(...) {value_t *args[] = {NULL, __VA_ARGS__}; _actualFunction(args+1,sizeof(args) / sizeof(*args) - 1);}


// NULL terminated array version
 #define callVardicMethodSafely(...) {value_t *args[] = {NULL, __VA_ARGS__, NULL}; _actualFunction(args+1);}

Giả sử bạn có một hàm biến đổi điển hình mà bạn đã viết. Bởi vì ít nhất một đối số được yêu cầu trước đối số biến đổi ..., bạn phải luôn viết thêm một đối số trong cách sử dụng.

Hay bạn

Nếu bạn bọc hàm matrixdic của mình trong một macro, bạn không cần phải có đối số trước. Xem xét ví dụ này:

#define LOGI(...)
    ((void)__android_log_print(ANDROID_LOG_INFO, LOG_TAG, __VA_ARGS__))

Điều này rõ ràng thuận tiện hơn nhiều, vì bạn không cần chỉ định đối số ban đầu mỗi lần.

Tôi không chắc chắn nếu điều này làm việc cho tất cả các trình biên dịch, nhưng nó đã làm việc cho đến nay đối với tôi.

void inner_func(int &i)
{
  va_list vars;
  va_start(vars, i);
  int j = va_arg(vars);
  va_end(vars); // Generally useless, but should be included.
}

void func(int i, ...)
{
  inner_func(i);
}

Bạn có thể thêm ... vào Internal_func () nếu bạn muốn, nhưng bạn không cần nó. Nó hoạt động vì va_start sử dụng địa chỉ của biến đã cho làm điểm bắt đầu. Trong trường hợp này, chúng tôi sẽ cung cấp cho nó một tham chiếu đến một biến trong func (). Vì vậy, nó sử dụng địa chỉ đó và đọc các biến sau đó trên ngăn xếp. Hàm Internal_func () đang đọc từ địa chỉ ngăn xếp của func (). Vì vậy, nó chỉ hoạt động nếu cả hai chức năng sử dụng cùng một phân đoạn ngăn xếp.

Các macro va_start và va_arg thường sẽ hoạt động nếu bạn cung cấp cho chúng bất kỳ var nào làm điểm bắt đầu. Vì vậy, nếu bạn muốn, bạn có thể chuyển con trỏ đến các chức năng khác và sử dụng chúng. Bạn có thể làm cho macro của riêng bạn đủ dễ dàng. Tất cả các macro làm là địa chỉ bộ nhớ typecast. Tuy nhiên, làm cho chúng hoạt động cho tất cả các trình biên dịch và gọi các quy ước là khó chịu. Vì vậy, nói chung dễ sử dụng những cái đi kèm với trình biên dịch.