tipo de caracteres en va_arg

Tengo la siguiente función que escribe argumentos pasados ​​​​a un archivo binario.

void writeFile(FILE *fp, const int numOfChars, ...)
{
   va_list ap;
   va_start(ap, numOfChars);
   for(int i = 0; i < numOfChars; i++)
   {
      const char c = va_arg(ap, char);
      putc(c, fp);
   }
   va_end(ap);
}

Al compilar, recibo la siguiente advertencia del compilador

 warning: second argument to 'va_arg' is of promotable type 'char'; this va_arg
      has undefined behavior because arguments will be promoted to 'int' [-    Wvarargs]

Ahora, según tengo entendido, C quiere promover el tipo char a int. ¿Por qué C quiere hacer esto? En segundo lugar, ¿es la mejor solución volver a convertir el int en un char?

Ahora, según tengo entendido, C quiere promover el tipo char a int. ¿Por qué C quiere hacer esto?

Porque eso es lo que dice la norma. Si pasa un valor integral con un rango de conversión más pequeño que el de int (p.ej char, bool o short) a una función que toma un número variable de argumentos, se convertirá a int. Presumiblemente, la razón de esto tiene sus raíces en el rendimiento, donde era (y de hecho, a menudo todavía lo es hoy en día) mejor pasar valores alineados con un límite de palabra de máquina.

En segundo lugar, ¿es la mejor solución volver a convertir el int en un char?

Sí, pero ni siquiera necesitas un molde, una conversión implícita servirá:

char ch = va_arg(ap, int);

Las funciones variádicas se tratan de forma especial.

Para una función no variádica, el prototipo (declaración) especifica los tipos de todos los parámetros. Los parámetros pueden ser de cualquier tipo (sin matriz, sin función), incluidos los tipos más estrechos que int.

Para una función variádica, el compilador no conoce los tipos de los parámetros correspondientes a la , .... Por razones históricas y para facilitar el trabajo del compilador, los argumentos correspondientes de tipos más estrechos que int son promovidos a int o para unsigned inty cualquier argumento de tipo float son promovidos a double. (Esta es la razón por printf utiliza los mismos especificadores de formato para float o double argumentos.)

Entonces una función variádica no puedo recibir argumentos de tipo char. Puede llamar a una función de este tipo con un char argumento, pero será promovido a int.

(En las primeras versiones de C, antes de que se introdujeran los prototipos, todos funciones se comportaron de esta manera. Incluso C11 permite declaraciones que no son prototipos, en las que se promueven argumentos estrechos para int, unsigned into double. Pero dada la existencia de prototipos, realmente no hay razón para escribir código que dependa de dichas promociones, excepto en el caso especial de las funciones variádicas).

Por eso, no tiene sentido tener va_arg() aceptar char como argumento de tipo.

Pero el lenguaje no prohibir tal invocación de va_arg(); de hecho, la sección de la norma que describe <stdarg.h> no menciona la promoción del argumento. La regla se establece en la sección sobre llamadas a funciones, N1570 6.5.2.2 párrafo 7:

Si la expresión que denota la función llamada tiene un tipo que incluye un prototipo, los argumentos se convierten implícitamente, como por asignación, a los tipos de los parámetros correspondientes, tomando el tipo de cada parámetro como la versión no calificada de su declarado. escribe. La notación de puntos suspensivos en un declarador de prototipo de función hace que la conversión de tipo de argumento se detenga después del último parámetro declarado. Las promociones de argumento predeterminadas se realizan en argumentos finales.

Y la descripción de la va_arg() macro, 7.16.1.1, dice (énfasis añadido):

Si no hay un siguiente argumento real, o si el tipo no es compatible con el tipo del siguiente argumento real (como promocionado según el argumento por defecto promociones), el comportamiento es indefinido, excepto en los siguientes casos:
[SNIP]

Las “promociones de argumentos predeterminados” convierten los argumentos estrechos en int, unsigned into double. (Un argumento de tipo entero sin signo cuyo valor máximo excede INT_MAX será promovido a unsigned int. Es teóricamente posible para char comportarse de esta manera, pero solo en una implementación muy inusual).

En segundo lugar, ¿es la mejor solución volver a convertir el int en un char?

No, no en este caso. Los yesos rara vez son necesarios; en la mayoría de los casos, las conversiones implícitas pueden hacer el mismo trabajo. En este caso particular:

const char c = va_arg(ap, char);
putc(c, fp);

el primer argumento para putc ya es de tipo intpor lo que esto se escribe mejor como:

const int c = va_arg(ap, int);
putc(c, fp);

los int el valor se convierte por putc a unsigned char y escrito a fp.