Dlaczego w C ++ różnice między liczbami ujemnymi static acast <unsigned> są różne, jeśli liczba jest stała, czy nie

Jakie reguły C ++, które oznaczają równość, są fałszywe ? Dany:

float f {-1.0};
bool equal = (static_cast<unsigned>(f) == static_cast<unsigned>(-1.0));

Np. Https://godbolt.org/z/fcmx2P

#include <iostream>

int main() 
{
          float   f {-1.0};
    const float  cf {-1.0};

    std::cout << std::hex;
    std::cout << " f" << "=" << static_cast<unsigned>(f) << '\n';
    std::cout << "cf" << "=" << static_cast<unsigned>(cf) << '\n';

    return 0;
}

Daje następujące dane wyjściowe:

 f=ffffffff
cf=0

Zachowanie Twojego programu jest niezdefiniowane : standard C ++ nie definiuje konwersji ujemnego typu zmiennoprzecinkowego na unsignedtyp.

(Uwaga: znane zachowanie zawijania dotyczy tylko typów całek ujemnych ).

Dlatego nie ma sensu wyjaśniać wyników programu.