va_args 解析中的分段错误

Question

为什么下面的代码给出EXC_BAD_ACCESS，无法访问内存？

int combine_strings(char **outputStr,...)
{
    va_list ap;
    char *s, *out=0;
    int len=0;

    va_start(ap,outputStr);
    while(s=va_arg(ap,char *))
    {
      len+=strlen(s);
    }
    va_end(ap);


    if(!(out=malloc(len+1)))
        exit(1);

    *outputStr=out;

    va_start(ap,outputStr);
    while(s=va_arg(ap,char *))
    {
      len=strlen(s);
      memcpy(out,s,len);
      out+=len;
    }
    va_end(ap);

    *out=0;

    return 0;
}

Answer 1

我不得不不同意之前其他海报的观点。原始代码不会对同一个 va_list 进行两次迭代。它创建两个不同的列表并依次迭代每个列表，即使使用相同的变量来保存两个列表也是如此。

事实上，我成功地运行了该函数。因此，我的猜测是问题在于函数的调用方式。以下是我的调用方式，请注意尾随的 NULL 和 output 参数的设置：

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

// ... combine_strings() goes here...
int main()
{
  char * res;
  char * * output = &res;
  combine_strings(output, "FOO", "BAR", "BAZ", NULL);
  printf("%s\n", *output);
}

上面的代码按预期输出 FOOBARBAZ。

Answer 2

您不能对同一个 va_list 进行两次迭代。您需要使用va_copy()创建一个副本。

int combine_strings(char **outputStr,...)
{
    va_list ap, ap2;
    char *s, *out=0;
    int len=0;

    va_start(ap,outputStr);
    va_copy(ap2, ap);
    while(s=va_arg(ap2,char *))
    {
      len+=strlen(s);
    }
    va_end(ap2);


    if(!(out=malloc(len+1)))
        exit(1);

    *outputStr=out;

    while(s=va_arg(ap,char *))
    {
      len=strlen(s);
      memcpy(out,s,len);
      out+=len;
    }
    va_end(ap);

    *out=0;

    return 0;
}

Answer 3

在一个函数中使用两次 va_start 很难在所有平台上工作。请参阅此处了解更多信息。

可能最好使用 va_copy。

Answer 4

回答此类问题的简单方法是在调试器中运行它。您将获得完整的堆栈跟踪、代码指针，并且您将能够查看所有变量的值。

要使用gdb，首先使用调试符号（-g 在海湾合作委员会）。然后，运行它：

gdb program_name
(gdb) run

它会崩溃，您将能够明白原因。