将引用作为命名参数传递给可变参数函数时出现问题

Question

我在 Visual Studio 2003 中遇到以下问题：

void foo(const char*& str, ...) {
    va_list args;
    va_start(args, str);

    const char* foo;
    while((foo = va_arg(args, const char*)) != NULL) {
        printf("%s\n", foo);
    }
}

当我调用它时：

const char* one = "one";
foo(one, "two", "three", NULL);

我得到：

访问冲突读取位置0xcccccccc

printf() 行上的 - va_arg() 返回 0xcccccccc。我终于发现它的第一个参数是破坏它的引用——如果我将它设为普通的 char* 一切都很好。类型是什么似乎并不重要；作为引用会导致它在运行时失败。这是 VS2003 的已知问题，还是有某种合法行为？这在海湾合作委员会不会发生；我还没有使用较新的 Visual Studio 进行测试来查看该行为是否消失

Answer 1

VS2005 也崩溃了。

问题是 va_start 使用给它的参数的地址，并且由于 str 是一个引用，因此它的地址是调用者定义的“one”变量的地址，而不是堆栈上的地址。

我看不出如何获取堆栈变量的地址（实际上包含正在传递的“one”的地址的参数），但有一些解决方法：

• 使用“const char * &str”代替“const char * &str” "const char *str" 或 "const char **str"
• 将下一个参数也添加到“固定”参数列表

此代码说明了第二种选择：

void foo(const char* &str, const char *arg1, ...) {
    if (arg1) {
       va_list args;
       va_start(args, arg1);
       printf ("%s\n", arg1);
       const char* foo;
       while((foo = va_arg(args, const char*)) != NULL) {
           printf("%s\n", foo);
       }
    }
}