question sur les spécificateurs de format printf incompatibles

Question

Je regardais simplement la page de manuel pour printf et quelque chose m'est venu à l'esprit. Je me demandais s'il y avait ici des «juristes» qui pourraient répondre à une question relativement simple: -P.

Ainsi, le modificateur 't' est défini comme

La conversion entière suivante correspond à un argument de ptrdiff_t.

Alors quel est censé arriver si vous combinez cela avec une conversion entier non signé? Il est clair que o, u, x et X sont tous destinés à être interprétés comme des valeurs non signées, alors que d et i sont signés. De même, il existe des versions signées/non signées pour tous les modificateurs (int/unsigned int, size_t/ssize_t, etc) sauf ptrdiff_t.

En pratique, rien ne se passe mal puisque les versions non signées de types occupent la même quantité d'espace que les versions signées. Ainsi, le droit d'octets est retiré de la pile.

donc rien de "mauvais" qui se passe, en fait, en imprime la valeur attendue pour toutes choses testées à l'exception du "INT_MIN" (en supposant que sizeof(int) == sizeof(ptrdiff_t).

printf("%tu %td\n", INT_MIN, INT_MIN); 

impressions

2147483648 -2147483648 

sur un Système 32 bits

Est-ce que le standard a une opinion à ce sujet? Je suppose que la réponse sera "un comportement non défini." Mais j'ai pensé que je demanderais;).

Answer 1

Rien à voir ici. Le code que vous avez écrit est légal.

Juste quelques faits pour expliquer pourquoi:

• tous les types entiers signés ont homologues non signés, avec les mêmes dimensions/exigences d'alignement
• ptrdiff_t est prescrit pour être un type entier signé par la norme. Par conséquent, il a un jumeau non signé. (En fait, la même logique s'applique à size_t aussi bien - ssize_t est pas C, mais Posix)
• le spécificateur de longueur t doit travailler avec d, i, o, u, x, X types