学习 C/C++ (Part 16: variadic function)

假设我们需要对n个数进行求和，设计函数: sum(int, ...);, 虽然C支持可变函数, 但是在sum函数中无法获取可变参数的数量，它只是往栈上去压参数，所以必须人为设定数量，就有了如下实现:

int sum(int n, ...) {
  va_list args;
  int sum = 0;

  va_start(args, n);

  for (int i = 0; i < n; ++i) {
    sum += va_arg(args, int);
  }

  va_end(args);

  return sum;
}

va_start, va_arg, va_end是三个macro，va_start将args指向可变参数列表的第一个，这里n为最后一个非可变参数，然后va_arg就是将args指针往后移动sizeof(type)，va_end将args=NULL
所以调用时需要设置数量 sum(3, 99, 100, 101)

那么问题来了，为什么printf不需要设置数量，也能获取所有的可变参数呢？

void mockprintf(const char *fmt, ...) {
    va_list ap;
    va_start(ap, fmt);
    for (const char *s = fmt; *s; ++s) {
        switch(*s) {
            case 'd':
                printf("meet d\n");
                int d = va_arg(ap, int);
                printf("%d\n", d);
                break;
            case 's':
                printf("meet s\n");
                const char *str = va_arg(ap, char*);
                printf("%s\n", str);
                break;
            case 'c':
                printf("meet c\n");
                char c = va_arg(ap, int);
                printf("%c\n", c);
                break;
            default:
                printf("unknown format specifier\n");
        }
    }
    va_end(ap);
}

int main() {
    mockprintf("cdfs", 'A', 0x45, "string");
    return 0;
}

这是参考阅读中uxff的blog中的一个mock printf, printf依靠第一个format中的%来提取可变参数，阴险。。。

printf() family

常规的printf family:

int printf(const char *fmt, ...);
int fprintf(FILE stream, const char fmt, ...);
int sprintf(char str, const char fmt, ...);
int snprintf(char str, size_t size, const char fmt, ...);
int vprintf(const char *fmt, va_list ap);
int vfprintf(FILE stream, const char fmt, va_list ap);
int vsprintf(char str, const char fmt, va_list ap);
int vsnprintf(char str, size_t size, const char fmt, va_list ap);

简单来说,

printf/fprintf/sprintf/snprintf这组是给开发人员直接使用，传入可变参数
而v开头的是给封装人员使用，比如写个log什么，直接将va_list传进去，如果没有v这组，岂不是每个logger都要自己实现printf

nonocast / me

学习 C/C++ (Part 16: variadic function) #281

printf() family

参考阅读