pregunta acerca de los especificadores de formato de impresión incompatibles

Question

Estaba buscando en la página de manual de printf y se me ocurrió algo. Me preguntaba si hay algún "abogado de idiomas" aquí que pueda responder a una pregunta relativamente simple :-P.

Así que el modificador 't' se define como

La siguiente conversión entera corresponde a un argumento ptrdiff_t.

Entonces, ¿qué es supone que suceda si se combina esto con una conversión de entero sin signo? Está claro que o, u, xy X son todos interpretados como valores sin signo, mientras que d e i están firmados. También hay versiones con y sin firma para todos los modificadores (int/unsigned int, size_t/ssize_t, etc.) excepto ptrdiff_t.

En la práctica, no pasa nada malo ya que las versiones sin firmar de los tipos ocupan la misma cantidad de espacio que las versiones firmadas. Así que la derecha de bytes se saca de la pila.

Así que nada "malo" que ocurre, de hecho, en grabados el valor esperado para todas las cosas probadas, excepto el "INT_MIN" (suponiendo que sizeof(int) == sizeof(ptrdiff_t).

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

impresiones

2147483648 -2147483648 

en una Sistema de 32 bits

¿La norma tiene alguna opinión al respecto? Me imagino que la respuesta será "comportamiento indefinido". Pero pensé en preguntar;).

Answer 1

Nada que ver aquí. El código que has escrito es legal.

Sólo algunos hechos de por qué:

• todos los tipos de enteros con signo tienen homólogos sin signo, con los mismos requisitos de tamaño/alineación
• ptrdiff_t se prescribe para ser un tipo entero con signo por la norma. Por lo tanto, tiene un gemelo sin firmar. (De hecho, la lógica similar se aplica a size_t así - ssize_t no es C, pero POSIX)
• la t longitud especificador debe trabajar con d, i, o, u, x, X tipos