Есть ли ошибки с использованием varargs со ссылочными параметрами

Хороший анализ того, почему вы этого не хотите, можно найти в N0695.

Согласно Стандартам кодирования C++ (Саттер, Александреску):

varargs никогда не следует использовать с C++:

Они небезопасны по типу и имеют НЕОПРЕДЕЛЕННОЕ поведение для объектов типа класса, что, вероятно, вызывает вашу проблему.

Если вы посмотрите, до чего расширяется va_start, вы увидите, что происходит:

va_start(argptr, format); 

становится (примерно)

argptr = (va_list) (&format+1);

Если формат является типом значения, он помещается в стек прямо перед всеми вариативными аргументами. Если формат является ссылочным типом, в стек помещается только адрес. Когда вы берете адрес ссылочной переменной, вы получаете адрес или исходную переменную (в данном случае временную строку AnsiString, созданную до вызова Broken), а не адрес аргумента.

Если вы не хотите передавать полные классы, вы можете либо передать по указателю, либо ввести фиктивный аргумент:

AnsiString working_ptr(const AnsiString *format,...)
{
    ASSERT(format != NULL);
    va_list argptr;
    AnsiString buff;

    va_start(argptr, format);
    buff.vprintf(format->c_str(), argptr);

    va_end(argptr);
    return buff;
}

...

AnsiString format = "Hello %s";
s1 = working_ptr(&format, "World");

или же

AnsiString working_dummy(const AnsiString &format, int dummy, ...)
{
    va_list argptr;
    AnsiString buff;

    va_start(argptr, dummy);
    buff.vprintf(format.c_str(), argptr);

    va_end(argptr);
    return buff;
}

...

s1 = working_dummy("Hello %s", 0, "World");

Вот что стандарт C++ (18.7 - Поддержка других сред выполнения) говорит о va_start() (выделено мной):

The restrictions that ISO C places on the second parameter to the va_start() macro in header <stdarg.h> are different in this International Standard. The parameter parmN is the identifier of the rightmost parameter in the variable parameter list of the function definition (the one just before the ...). If the parameter parmN is declared with a function, array, or reference type, or with a type that is not compatible with the type that results when passing an argument for which there is no parameter, the behavior is undefined.

Как уже упоминалось, использование varargs в C++ опасно, если вы используете его с элементами, отличными от C (и, возможно, даже другими способами).

Тем не менее, я все время использую printf () ...

Примечание:

Поведение для типов классов в качестве аргументов varargs может быть неопределенным, но, по моему опыту, оно согласуется. Компилятор помещает sizeof (класс) памяти класса в стек. Т.е. в псевдокоде:

alloca(sizeof(class));
memcpy(stack, &instance, sizeof(class);

В качестве действительно интересного примера того, как это используется очень творчески, обратите внимание, что вы может передаете экземпляр CString вместо LPCTSTR функции varargs напрямую, и это работает, и при этом не требуется приведение типов. Я оставляю читателю в качестве упражнения разобраться, как они это сделали.

Вот мой простой обходной путь (скомпилирован с Visual C++ 2010):

void not_broken(const string& format,...)
{
  va_list argptr;
  _asm {
    lea eax, [format];
    add eax, 4;
    mov [argptr], eax;
  }

  vprintf(format.c_str(), argptr);
}