Warum funktioniert der Vergleich zwischen einem signed und einem unsigned int?
Dafür müsste ja einer der beiden Paramter in den Typen der anderen
umgewandelt werden.

Bsp:

unsigned long int U = std::numeric_limits< unsigned long int >::max();
signed long int S = std::numeric_limits< signed long int >::min();

if( U > S )
{
    ;
}

Beide Zahlen haben jetzt einen Wert den der andere nicht annehmen kann,
da dieser außerhalb dessen Bereiches liegt.

Wie funktioniert nun der Vergleich?

Ist im C++ Standard unter 5 /9 - "usual arithmetic conversions" beschrieben.

Beide Zahlen haben jetzt einen Wert den der andere nicht annehmen kann,
da dieser außerhalb dessen Bereiches liegt.

ist nich IMMER der Fall, solange für die Zahlen das erste Bit keine rolle spielt bzw. die zahlen so klein gehalten werden damit das erste bit nich verwendet wird^^

Nochmal mein Beispiel:

unsigned long int U = std::numeric_limits< unsigned long int >::max();
signed long int S = std::numeric_limits< signed long int >::min();

if( U > S )
{
    ;
}

Ich habe es kompiliert und der Vergleich stimmt, aber ich kann es mir nicht erklären.

Nachlesen kannst du das im Standard unter 4.7 "Integral conversions".

Wenn der signed long nicht in unsigned long abbildbar ist weil negativ, ist das Ergebnis "implementation defined" - aus dem einfachen Grund, dass der Standard keine binäre Repräsentation vorschreibt. Bei 2er-Komplement-Darstellung sollte dir aber klar sein, was passiert, oder?

Nachlesen kannst du das im Standard unter 4.7 "Integral conversions".

3.9.1/7 Satz 3 sowie
4.7/2 und 3.9.1/4 lesen.

Das Ergebnis ist nur insoweit von der Implementation abhängig, wie der ursprüngliche vorzeichenbehaftete Wert es ist. Bzgl. des Ergebnisses der Umwandlung hat die Implementation keinen Spielraum.

Ich war mir auch noch nicht bewusst, dass unsigned Arithmetik per Definition nicht überlaufen kann, bzw. das Ergebnis trotzdem immer definiert ist.

Bei den "Usual arithmetic Conversions" ist nie von dem
long long int die Rede. Bei einem Vergleich zwischen long int
und long long int, wird doch beides in einen long long int gecastet, oder?
Im std steht davon nämlich nichts.