va_list mal comportamiento en Linux

Question

Tengo un código que convierte parámetros variados en un va_list, luego pasa la lista a una función que luego llama a vsnprintf. Esto funciona bien en Windows y OS X, pero está fallando con resultados extraños en Linux.

En el siguiente ejemplo de código:

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

char *myPrintfInner(const char *message, va_list params) 
{ 
    va_list *original = &params; 
    size_t length = vsnprintf(NULL, 0, message, *original); 
    char *final = (char *) malloc((length + 1) * sizeof(char)); 
    int result = vsnprintf(final, length + 1, message, params); 

    printf("vsnprintf result: %d\r\n", result); 
    printf("%s\r\n", final); 

    return final; 
} 

char *myPrintf(const char *message, ...) 
{ 
    va_list va_args; 
    va_start(va_args, message); 

    size_t length = vsnprintf(NULL, 0, message, va_args); 
    char *final = (char *) malloc((length + 1) * sizeof(char)); 
    int result = vsnprintf(final, length + 1, message, va_args); 

    printf("vsnprintf result: %d\r\n", result); 
    printf("%s\r\n", final); 

    va_end(va_args); 

    return final; 
} 

int main(int argc, char **argv) 
{ 
    char *test = myPrintf("This is a %s.", "test"); 
    char *actual = "This is a test."; 
    int result = strcmp(test, actual); 

    if (result != 0) 
    { 
     printf("%d: Test failure!\r\n", result); 
    } 
    else 
    { 
     printf("Test succeeded.\r\n"); 
    } 

    return 0; 
} 

La salida del segundo vsnprintf llamada es 17, y el resultado de strcmp es 31; pero yo no entiendo por qué vsnprintf regresarían 17 This is a test. ya que tiene 15 caracteres, añadir el NULL y se obtiene 16.

hilos relacionados que he visto, pero no abordan el tema:

• Pass va_list or pointer to va_list?
• Passing one va_list as a parameter to another

---

con la respuesta de @ Mat (estoy reutilizando el va_list objeto, que no está permitido), esto viene directamente al primer hilo relacionado al que me he vinculado. Así que he tratado este código en su lugar:

char *myPrintfInner(const char *message, va_list params) 
{ 
    va_list *original = &params; 
    size_t length = vsnprintf(NULL, 0, message, params); 
    char *final = (char *) malloc((length + 1) * sizeof(char)); 
    int result = vsnprintf(final, length + 1, message, *original); 

    printf("vsnprintf result: %d\r\n", result); 
    printf("%s\r\n", final); 

    return final; 
} 

cual, per the C99 spec (nota al pie en la Sección 7.15), debería funcionar:

Está permitido crear un puntero a una va_list y pasar ese puntero a otro función, en cuyo caso la función original puede hacer uso posterior de la lista original después de que la otra función regrese.

Pero mi compilador (gcc 4.4.5 en modo C99) me da este error con respecto a la primera línea de myPrintfInner:

test.c: In function ‘myPrintfInner’: 
test.c:8: warning: initialization from incompatible pointer type 

Y el binario resultante produce el mismo efecto que en la primera ronda .

---

encontrado esto: Is GCC mishandling a pointer to a va_list passed to a function?

La solución sugerida (que no se garantiza que funcione, pero sí en la práctica) es el uso de arg_copy primera:

char *myPrintfInner(const char *message, va_list params) 
{ 
    va_list args_copy; 
    va_copy(args_copy, params); 

    size_t length = vsnprintf(NULL, 0, message, params); 
    char *final = (char *) malloc((length + 1) * sizeof(char)); 
    int result = vsnprintf(final, length + 1, message, args_copy); 

    printf("vsnprintf result: %d\r\n", result); 
    printf("%s\r\n", final); 

    return final; 
} 

Answer 1

Como notas Mat, el problema es que se está reutilizando el va_list. Si no desea reestructurar su código como él sugiere, se puede utilizar la macro C99 va_copy(), así:

char *myPrintfInner(const char *message, va_list params) 
{ 
    va_list copy; 

    va_copy(copy, params); 
    size_t length = vsnprintf(NULL, 0, message, copy); 
    va_end(copy); 

    char *final = (char *) malloc((length + 1) * sizeof(char)); 
    int result = vsnprintf(final, length + 1, message, params); 

    printf("vsnprintf result: %d\r\n", result); 
    printf("%s\r\n", final); 

    return final; 
} 

En los compiladores que no soportan C99, es posible que pueda use __va_copy() instead or define your own va_copy() implementation (que será no portátil, pero siempre puede usar el rastreo de compilador/plataforma en un archivo de encabezado si realmente lo necesita). Pero en realidad, han pasado 13 años —, cualquier compilador decente debería ser compatible con C99 estos días, al menos si le da las opciones correctas (-std=c99 para GCC).

Answer 2

El problema es que (aparte de la declaración de devolución faltante) está reutilizando el parámetro va_list sin restablecerlo. Eso no es bueno.

intentar algo como:

size_t myPrintfInnerLen(const char *message, va_list params) 
{ 
    return vsnprintf(NULL, 0, message, params); 
} 

char *myPrintfInner(size_t length, const char *message, va_list params) 
{ 
    char *final = (char *) malloc((length + 1) * sizeof(char)); 
    int result = vsnprintf(final, length + 1, message, params); 

    printf("vsnprintf result: %d\r\n", result); 
    printf("%s\r\n", final); 

    return final; 
} 

char *myPrintf(const char *message, ...) 
{ 
    va_list va_args; 
    va_start(va_args, message); 
    size_t length = myPrintfInnerLen(message, va_args); 
    va_end(va_args); 
    va_start(va_args, message); 
    char *ret = myPrintfInner(length, message, va_args); 
    va_end(va_args); 
    return ret; 
} 

(. Y a su vez sobre las advertencias de su compilador)

No creo que la nota se señala que significa lo que usted piensa que lo hace. Lo leí como: si pasa un va_list directamente (como un valor, no como un puntero), lo único que puede hacer en la persona que llama es va_end.Pero si lo pasa como un puntero, podría, por ejemplo, llamar al va_arg en la persona que llama si el destinatario no "consumió" todos los va_list.

Puede intentar con va_copy sin embargo. Algo así como:

char *myPrintfInner(const char *message, va_list params) 
{ 
    va_list temp; 
    va_copy(temp, params); 
    size_t length = vsnprintf(NULL, 0, message, temp); 
    ...