Est-il garanti qu'un nombre entier flottant divisé par lui-même soit égal à 1.f ?

Question

Si j'écris :

int x = /* any non-zero integer value */;
float y = x;
float z = y / y;

Est z garantie d'être exactement 1.f ?

Answer 1

Si votre implémentation C++ utilise IEEE754, alors oui, c'est garanti. (L'opérateur de division est nécessaire pour renvoyer la meilleure valeur possible en virgule flottante).

El uniquement exceptions pour y / y en général, ne pas être 1.f sont les cas où y est NaN , +Inf , -Inf , 0.f y -0.f ou si vous êtes sur une plateforme où int est si large que certaines de ses instances ne peuvent pas être représentées dans une float sans cela float étant réglé sur +Inf o -Inf 1 . En mettant de côté ce dernier point, dans votre cas, cela signifie que int x = 0; produira la seule exception.

Le IEEE754 est extrêmement courant. Mais pour en être sûr, testez la valeur de

std::numeric_limits<float>::is_iec559;

---

1 Une plate-forme, par exemple, avec un système d'exploitation de 128 bits. int et un IEEE754 32 bits float présenterait ce comportement pour certaines valeurs de x .

Answer 2

Non, pas dans tous les cas, même pour IEEE754.

Par exemple, avec int x = 0; vous obtiendrez NaN. ( En direct )