avr-libc und div()

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...)