Есть ли ошибки, использующие varargs со ссылочными параметрами? - PullRequest
Новая
       14

Есть ли ошибки, использующие varargs со ссылочными параметрами?

28 голосов
/ 21 октября 2008

У меня есть этот кусок кода (в обобщенном виде) ... 

AnsiString working(AnsiString format,...)
{
    va_list argptr;
    AnsiString buff;

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

    va_end(argptr);
    return buff;
}

И, исходя из того, что передача по ссылке предпочтительнее, где это возможно, я изменил ее таким образом. 

AnsiString broken(const AnsiString &format,...)
{
... the rest, totally identical ...
}

Мой код вызова такой: - 

AnsiString s1, s2;
    s1 = working("Hello %s", "World");
    s2 = broken("Hello %s", "World");

Но s1 содержит «Hello World», а s2 - «Hello (null)». Я думаю, это связано с тем, как работает va_start, но я не совсем уверен, что происходит.

Ответы [ 6 ]

40 голосов
/ 21 октября 2008

Если вы посмотрите на то, что расширяет 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");
14 голосов
/ 21 октября 2008

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

Ограничения, налагаемые ISO C второй параметр va_start() макрос в заголовке <stdarg.h> отличаются в этом Международный стандарт. Параметр parmN является идентификатором крайний правый параметр в переменной список параметров функции определение (тот, что перед ...). Если параметр parmN объявлен с функцией, массивом или ссылкой тип, или с типом, который не совместим с типом, который приводит при передаче аргумента для которого нет параметра, поведение не определено .

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

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

4 голосов
/ 21 октября 2008

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

2 голосов
/ 21 октября 2008

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

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

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

1 голос
/ 19 июня 2013

Вот мой простой обходной путь (скомпилирован с 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);
}
0 голосов
/ 21 октября 2008

Примечание:

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

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

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

...