auto-promozione Tipi di dati

Question

ho letto attraverso il metodo per utilizzare le funzioni di variadic in C a http://www.gnu.org/s/libc/manual/html_node/Argument-Macros.html#Argument-Macros

Tuttavia, non ero in grado di cogliere il significato di tipi di dati auto-promozione. Cosa sono & in che modo sono diversi dai tipi di dati non auto-promuoventi?

Answer 1

Ecco lo C99 standard; I tipi "auto-promuoventi" sono quelli che si promuovono quando vengono applicate le promozioni di argomento predefinito (paragrafo 6.5.2.2, paragrafo 6, che fa riferimento alle promozioni intere descritte in §6.3.1.1).

La mia lettura della definizione va_arg (§7.15.1.1) è che questa limitazione è implicita dallo standard. La parte rilevante è nel paragrafo 2:

[...] o se tipo non è compatibile con il tipo di argomento attuale successiva (come promosso secondo le promozioni di argomento di default) [... ]

che è abbastanza chiara sul tipo di argomento attuale successiva di essere promosso, ma ho letto da non dire nulla su tipo promosso. (Penso che la clausola "(come promosso ...)" sia solo un promemoria che le promozioni degli argomenti predefiniti vengono eseguite sugli argomenti finali quando viene chiamata una funzione varargs.)

Questo elemento nell'elenco di comportamento non definito in § J.2 supporta questa lettura:

- la va_arg macro viene invocato quando non v'è alcun argomento reale prossimo, o con un tipo specificato che non è compatibile con il tipo promosso del reale argomento successivo, con una certa eccezioni (7.15.1.1).

(anche se sì, lo so, l'allegato J è "informativo" piuttosto che "normativo" ...).

In questo caso: va_arg(ap, float) (per esempio) non può essere valido - tipo in questo caso è float, ma il tipo promosso dell'argomento effettiva successivo potrà eventualmente essere float (un argomento float sarebbe promosso double).

Answer 2

Questa sembra essere una limitazione glibc, lo standard C non ha questo.

L'idea alla base di questo è che i tipi interi che sono i cosiddetti "conversione rango" inferiore rispetto int sono promossi automaticamente signed o unsignedint. Una funzione va_arg trova quindi un argomento più ampio. La macro va_arg deve quindi prima leggere l'argomento più ampio di tipo int, ad esempio, quindi ricondurlo al tipo originale.

(stesso vale per float w.r.t a double.)

Per il programmatore ignaro questo può avere sorprendente risultato, quindi sono d'accordo con l'idea che questo dovrebbe essere evitato. La descrizione che stai citando sembra implicare che si imponga di non usare un tipo piccolo. Questo è falso e come ho detto non in linea con lo standard. D'altra parte se si scrive codice come suggeriscono non si avrà mai un problema di portabilità con quello perché questa è una restrizione e non un'estensione.