Forum: Compiler & IDEs avr-libc und div()


von A.K. (Gast)


Lesenswert?

Bin grad drüber gestolpert: m.W. darf in C zwar das Ergebnis von (-3)/2
wahlweise -2 oder -1 sein, der Quotient aus div(-3,2) jedoch muss -2
sein. Ist -1. Riecht nach Fehler in der avr-libc.

von Jörg W. (dl8dtl) (Moderator) Benutzerseite


Lesenswert?

Wo liest du das denn raus?

Insbesondere sehe ich im Standard keinen Unterschied zwischen den
Divisions- und Modulo-Operatoren und der div()-Funktion.  Damit sollte
sich ein div() immer genauso benehmen wie die beiden
Einzeloperationen.

Dass es div() überhaupt gibt, liegt wohl einfach daran, dass die
Division die teuerste Grundrechenoperation ist und dass zwangsweise
bei den verwendeten Algorithmen zusammen mit der Division selbst auch
der Rest übrig bleibt (so wie in der Grundschule mit der schriftlichen
Division ja auch ;-).  Da ein Aufrufer oft beides benötigt, liegt es
nahe, die Operation nur einmal auszuführen.

Der Standard beschreibt für die Division einigermaßen umständlich,
dass die Semantik der Integer-Division ein ``round towards zero''
ist.
Damit ist eigentlich mehr als klar, dass -3 / 2 = 1 ist.

Ich bin gerade auf das rationale zum Standard gestoßen:

http://www.open-std.org/jtc1/sc22/wg14/www/C99RationaleV5.10.pdf

Das Teil ist wirklich nützlich.  Dort wird ausführlich beschrieben,
warum man für die Integer-Division vom C89-``implementation
defined''
approach zum ``round towards zero'' übergegangen ist.

Table 7.2: Results of div, ldiv, and lldiv

|number denom quot  rem
|     7     3    2    1
|    -7     3   -2   -1
|     7    -3   -2    1
|    -7    -3    2   -1

(Mal sehen, wie die Tabelle hier im Forum aussieht...)

von A.K. (Gast)


Lesenswert?

Sorry, Missverständnis meinerseits. div() ist korrekt.

Bitte melde dich an um einen Beitrag zu schreiben. Anmeldung ist kostenlos und dauert nur eine Minute.
Bestehender Account
Schon ein Account bei Google/GoogleMail? Keine Anmeldung erforderlich!
Mit Google-Account einloggen
Noch kein Account? Hier anmelden.