Que dit la norme de langage C++ sur la façon dont static_cast gère la réduction de la taille d'un entier?

Question

Je voudrais connaître les règles spécifiées par la norme de langage C++ pour des situations telles que:

long x = 200; 
short y = static_cast<short>(x); 

est-y 200 garantie d 'être, ou ne la norme laisser cela à la mise en œuvre de décider? Dans quelle mesure les différents compilateurs adhèrent-ils à la norme?

Answer 1

Dans ce cas, le static_cast<> est une conversion de type explicite. la norme a ceci à dire au sujet des conversions intégrales en 4.7/3 « conversions intégrales »:

Si le type de destination est signé, la valeur est inchangée si elle peut être représentée dans le type de destination (et la largeur du champ de bit) sinon, la valeur est définie par l'implémentation.

Depuis short est garanti d'être en mesure de maintenir la valeur 200 (short doit être d'au moins 16 bits), puis pour votre exemple précis, la réponse est oui.

Plusieurs compilateurs adhèrent très bien à ce comportement - c'est ainsi depuis les jours pré-ANSI de C, et tellement de code dépend du comportement que les fournisseurs de compilateurs semblent hésiter à émettre des avertissements sur la possibilité de troncature.

Answer 2

Si la valeur est comprise entre short, la valeur est correcte, ce qui dans votre cas est vrai, donc y == 200.

Si elle est en dehors (par exemple, static_cast<short>(1000000000)), le comportement est indéfini. La plupart des compilateurs tronqueront simplement les chiffres binaires à la taille correcte.