如何以嵌套方式使用 va_list 对象，尤其是在 gcc x64 编译器上

Question

请查看我的小 C/C++ 程序。

// va_nest.c
#include <stdarg.h>
#include <stdio.h>

void nest2(const char *fmt, ...)
{
    va_list args2, args_dig;
    int *pi, i;

    va_start(args2, fmt);

    args_dig = va_arg(args2, va_list); 
        // !!! try to fetch the nested va_list object.
    pi = va_arg(args_dig, int*);
    i = va_arg(args_dig, int);

    printf("Inner: @%p , %d\n", pi, i);

    va_end(args2);
}

void nest1(const char *fmt, ...)
{
    va_list args1;
    va_start(args1, fmt);

    nest2(fmt, args1);

    va_end(args1);
}

int main()
{
    int var = 11;
    printf("Outer: @%p , %d\n", &var, var);
    nest1("abc", &var, var);
    return 0;
}

在 openSUSE 13.1 x86 上，它输出只是我期望的（无论使用 gcc 还是 g++），

Outer: @0xbfa18d8c , 11
Inner: @0xbfa18d8c , 11

但是，它在 openSUSE 13.1 x64 机器上使用 x86_64 编译器失败。

如果我用 编译它gcc，它编译正常，但输出是意外的。

$ gcc -o vac va_nest.c

$ ./vac
Outer: @0x7fffb20f766c , 11
Inner: @0x1b01000000636261 , 4209411

如果我用 编译它g++，它甚至无法编译。

$ g++ -o vacpp va_nest.c
va_nest.c: In function ‘void nest2(const char*, ...)’:
va_nest.c:12:11: error: invalid array assignment
  args_dig = va_arg(args2, va_list);
           ^

gcc 和 g++ 版本是 4.8.1

有人可以帮我吗？我希望在 x64 上获得与在 Linux x86 编译器中相同的结果。

Answer 1

不要试图巧妙地使用va_list. 相反，使用这样的代码：

nest2(fmt, args1);

（即确保所有函数都使用隐藏在 后面的相同结构va_list）。然后你可以像这样定义第二个函数：

void nest2(const char *fmt, va_list args1)

还要确保您只调用va_end() 一次。嵌套不会可靠地工作（即，如果它有效，那比其他任何事情都更幸运）。

如果有疑问，请查看 GLIBC 的源代码，尤其是fprintf.c和vfprintf.c。

int
__fprintf (FILE *stream, const char *format, ...)
{
  va_list arg;
  int done;

  va_start (arg, format);
  done = vfprintf (stream, format, arg);
  va_end (arg);

  return done;
}

然后：

int
vfprintf (FILE *s, const CHAR_T *format, va_list ap)
{