float zu unsigned int: Verhalten bei negativen Zahlen

[Michi (Gast)]

Ich habe folgendes Stück Code, das mit einem GCC 4.6.3 kompiliert wird. 
GetValue() liefert als Rückgabewert einen float.

unsigned long helper;
float value;

value = GetValue();

helper = (value * 1000);

Muss ich damit rechnen, dass das Vorzeichen abgeschnitten wird und der 
Inhalt von 'helper' immer positiv ist?

[Nop (Gast)]

Das Ergebnis ist nicht definiert für negative Zahlen, weil die 
Darstellung negativer signed integer nicht festgelegt ist. Es wird schon 
irgendein Bitmuster herauskommen, das als unsigned integer interpretiert 
dann natürlich positiv ist. Höchstwahrscheinlich wird aber z.B. eine 
-2.0 nicht als 2 enden.

[Ingo L. (corrtexx)]

Michi schrieb:
> Muss ich damit rechnen, dass das Vorzeichen abgeschnitten wird und der
> Inhalt von 'helper' immer positiv ist?
Ich würde vor der Rückgabe prüfen ob der Wert <0 ist:

if (Rueckgabe < 0) Rueckgabe = 0;

[Yalu X. (yalu) (Moderator)]

Wie Nop schon geschrieben hat, ist das Ergebnis undefiniert. In der
ISO-Norm kannst du das nachlesen:

When a finite value of real floating type is converted to an integer
type other than _Bool, the fractional part is discarded (i.e., the value
is truncated toward zero). If the value of the integral part cannot be
represented by the integer type, the behavior is undefined.

Der GCC scheint in solchen Fällen den nächstliegenden darstellbaren Wert
zu nehmen. Bei der Konvertierung eines negativen double oder float in
ein unsigned int ist dieser immer 0.

[Theor (Gast)]

Man könnte vielleicht Yalus Gedanken so weiterführen:

Falls ein bestimmtes Verhalten undefiniert ist, dann ist es nützlich, 
das erwünschte Verhalten ausdrücklich als Code hin zu schreiben. Das hat 
zwei positive Effekte.

1. und ganz offensichtlich, wird eben genau das erwünschte Verhalten 
erreicht. Und zwar nichts Anderes und definitiv und mit absoluter 
Sicherheit.
2. Die Varianten des unterschiedlichen Compilerverhaltens in einem, dem 
Standard nach undefinierten Fall, müssen nicht jeweils erinnert und 
festgestellt werden und der Code ist ohne weiteres portabel. Es reicht 
im Code eine Bemerkung wie: "Explicitly describing conversion behaviour 
due to undefined case (converting negative floats to unsigned) from 
standard" oder sinngemäß.

Das wäre so meine Idee dazu. Hoffe, dass ist nützlich.

[Peter D. (peda)]

Theor schrieb:
> Falls ein bestimmtes Verhalten undefiniert ist, dann ist es nützlich,
> das erwünschte Verhalten ausdrücklich als Code hin zu schreiben.

Gute Idee.
Z.B.:

uint32_t convert( float val )
{
  if( val <= 0 )
    return 0;
  if( val >= (uint32_t)-1 )
    return -1;
  return val;
}

[Markus F. (mfro)]

Peter D. schrieb:
> Theor schrieb:
>> Falls ein bestimmtes Verhalten undefiniert ist, dann ist es nützlich,
>> das erwünschte Verhalten ausdrücklich als Code hin zu schreiben.
>
> Gute Idee.
> Z.B.:
>

> uint32_t convert( float val )
> {
>   if( val <= 0 )
>     return 0;
>   if( val >= (uint32_t)-1 )
>     return -1;
>   return val;
> }
>

Nö. Genau so eigentlich nicht. Undefiniertes Verhalten lässt sich nicht 
mit undefiniertem Verhalten ( (uint32_t) -1) "wegprogrammieren".

Die ISO Dokumentation empfiehlt so was, z.B.:

(unsigned long) fmod(fabs(rint(f)), LONG_MAX + 1.0)

[(prx) A. K. (prx)]

Peter D. schrieb:
>   if( val >= (uint32_t)-1 )

Sowas wie UINT_MAX wär wohl besser.

[Markus F. (mfro)]

Markus F. schrieb:
> Nö. Genau so eigentlich nicht. Undefiniertes Verhalten lässt sich nicht
> mit undefiniertem Verhalten ( (uint32_t) -1) "wegprogrammieren".

Nehme alles zurück und behaupte das Gegenteil. Ich hab' da in der Hitze 
des Gefechts (uint32_t) -1.0 gesehen, sorry.

[Peter D. (peda)]

A. K. schrieb:
> Sowas wie UINT_MAX wär wohl besser.

Ich wußte grad den Namen des Macros nicht.

[Michi (Gast)]

Danke für die zahlreichen Rückmeldungen. Was wäre denn der korrekte Weg 
um das Vorzeichen zu behalten? 'unsigned long' => 'long', aber war's das 
schon?

[Johann L. (gjlayde)]

Peter D. schrieb:
> A. K. schrieb:
>> Sowas wie UINT_MAX wär wohl besser.
>
> Ich wußte grad den Namen des Macros nicht.

UINT32_MAX aus stdint.h / cstdint.