tipos de datos autopromueven

Question

leí a través del método para utilizar las funciones variadic en C a http://www.gnu.org/s/libc/manual/html_node/Argument-Macros.html#Argument-Macros

Sin embargo, he podido captar el significado de los tipos de datos de autopromoción. ¿Qué son & cómo son diferentes de los tipos de datos que no se promueven a sí mismos?

Answer 1

Aquí está el C99 standard; Los tipos de "autopromoción" son aquellos que se promocionan a sí mismos cuando se aplican las promociones de argumento predeterminado (§6.5.2.2 párrafo 6, que hace referencia a las promociones enteras descritas en §6.3.1.1).

Mi lectura de la definición va_arg (§7.15.1.1) es que esta limitación es implícita en el estándar. La parte pertinente se encuentra en el párrafo 2:

[...] o si tipo no es compatible con el tipo del siguiente argumento real (como se promueve de acuerdo a las promociones de argumentos por defecto) [... ]

que es bastante claro el tipo del siguiente argumento real que está siendo promovido, pero como no lee decir nada sobre el tipo está promoviendo. (Creo que la cláusula "(como promovido ...)" es solo un recordatorio de que las promociones predeterminadas de argumento se realizan en los argumentos finales cuando se llama a una función varargs.)

Este elemento en la lista de comportamiento indefinido en § J.2 apoya esta lectura:

- la macro va_arg se invoca cuando no hay ningún argumento próxima real, o con un tipo especificado que no es compatible con el tipo promovido de lo actual argumento siguiente, con cierta excepciones (7.15.1.1).

(aunque sí, lo sé, el Anexo J es "informativo" en lugar de "normativo" ...).

En cuyo caso: va_arg(ap, float) (por ejemplo) no puede ser válido - tipo en ese caso es float, pero el tipo promovido del siguiente argumento real no puede ser posiblemente float (un argumento float sería promovido a double).

Answer 2

Esto parece ser una restricción glibc, el estándar C no tiene eso.

La idea detrás de esto es que los tipos de enteros que tienen los llamados "rango de conversión" más pequeño que int automáticamente se transfieren a signed o unsignedint. Una función va_arg encuentra entonces un argumento más amplio. La macro va_arg debe leer primero el argumento más amplio del tipo int, por ejemplo, y luego devolverlo al tipo original.

(mismo vale para float w.r.t a double.)

Para el programador conscientes que esto puede tener resultado sorprendente, por lo que están de acuerdo con la idea de que esto debe ser evitado. La descripción que está citando parece implicar que se impone no usar un tipo pequeño. Esto es falso y, como dije, no está alineado con el estándar. Por otro lado, si escribe código, ya que sugieren que nunca tendrá un problema de portabilidad porque es una restricción y no una extensión.