Vérification qu'une valeur d'un type entier correspond à une autre

Question

Il existe deux types Type1 et Type2 fournis par différents en-têtes, qui sont tous les deux typedefs pour certains types d'entiers, mais on ne sait pas lequel (et peut être différent entre les compilateurs, les systèmes d'exploitation , etc. de toute façon). Est-ce programme garanti pour fonctionner correctement (si elle compile)

Type1 a = ...; 
if (a == (Type2) a) { 
    printf("a fits into Type2"); 
else { 
    printf("a doesn't fit into Type2"); 
} 

ou y at-il des cas de coin, je ne prends pas en compte?

Answer 1

Si vous êtes seulement préoccupés par la taille de l'entrée, utilisez sizeof:

if (sizeof(a) == sizeof(Type2)) { 
    printf("a fits into Type2"); 
else { 
    printf("a doesn't fit into Type2"); 
} 

Answer 2

Non, je pense que, malheureusement, cela ne suffit pas. Si par exemple Type1 est short et Type2 est int la valeur sur la gauche serait encore promu à int. Donc, vous comparez la même valeur du même type.

En faisant en sorte de faire la comparaison des deux façons n'aiderait pas en général. Ce que vous devez faire est de vous assurer que vous faites la comparaison des deux côtés et que la valeur que vous avez cast est une valeur qui serait tronquée si elle était convertie en un type plus étroit. Si les deux sont des types non signés, vous pouvez utiliser quelque chose comme

((T1)-1 == (T1)(T2)(T1)-1) && ((T2)-1 == (T2)(T1)(T2)-1) 

Cela a également l'avantage d'être une expression de compilation.

Si l'un ou les deux types sont signés, cela est beaucoup plus difficile en raison des différentes représentations des signes qui sont autorisés dans C.

Edit: Quand j'ai écrit que je négligé en quelque sorte que vous ne vouliez que dans une direction.

(T1)-1 == (T1)(T2)(T1)-1 

vous indique juste en cas de perte d'informations lors de la coulée T1-T2.