Integer Division Rundung mit Negativen in C ++

Angenommen a und b sind beide vom Typ intund b ungleich null ist. Betrachten Sie das Ergebnis der Durchführung a/b in den folgenden Fällen:

  1. a und b sind beide nicht negative.
  2. a und b sind beide negativ.
  3. Genau eine von Ihnen negativ ist.

In Fall 1 das Ergebnis gerundet auf die nächste Ganzzahl. Aber was macht der standard-sagen über die Fälle 2 und 3? Einen alten Entwurf fand ich schwimmend im Internet zeigt, dass es ist von der Implementierung abhängig (ja, auch Fall 2) der Ausschuss ist jedoch der Neigung zu machen ist es immer " Runde gegen null.' Weiß jemand, was die (aktuellen) standard sagt? Bitte beantworten Sie nur die auf dem standard basieren, nicht was Sinn macht oder was bestimmte Compiler tun.

InformationsquelleAutor der Frage | 2008-11-26

  1. 22

    Laut der im Mai 2008 revision,

    Du hast Recht:

    Den binäre /" - operator liefert den Quotienten und den binären % - operator liefert den Rest der division des ersten Ausdrucks durch den zweiten. Wenn der zweite operand von /oder % ist null, dann ist das Verhalten undefiniert; sonst (a/b)*b + a%b gleich ist. Wenn beide Operanden sind nicht negative dann wird der Rest nicht negativer; wenn nicht, das Zeichen, der Rest ist Umsetzung-defined75).

    Hinweis zu 75, sagt:

    Nach Arbeit in Richtung der revision von ISO-C, der bevorzugte Algorithmus für ganzzahlige division folgt den Regeln, definiert in der ISO-Fortran-Norm ISO/IEC 1539:1991, in dem der quotient ist immer gerundet gegen null.

    Sind die Chancen, dass C++ wird C lag in dieser Hinsicht. So wie es da steht, ist es undefiniert, aber Sie haben ein Auge Richtung zu ändern.

    Ich arbeiten in der gleichen Abteilung wie Stroustrup und mit einem Mitglied des Ausschusses. Die Dinge nehmen ALTER zu erhalten, erreicht, und Ihren endlos politischen. Wenn es scheint dumm, es ist wahrscheinlich.

    InformationsquelleAutor der Antwort Stefan Mai

  2. 18

    Als update zu den anderen Antworten:

    Den letzten Entwurf von C++11, n3242die für die meisten praktischen Zwecke identisch mit der tatsächlichen C++ - 11-standard, der dies sagt, in 5.6 Punkt 4 (Seite 118):

    Für ganzzahlige Operanden, die der /- operator ergibt das algebraische quotient
    mit jedem Bruchteil verworfen; (siehe Anmerkung 80)

    Hinweis 80 Staaten (beachten Sie, dass die notes sind nicht-normative):

    80) Dies wird oft als das abschneiden in Richtung null.

    Punkt 4 geht es weiter:

    wenn der quotient a/b ist darstellbar in der Art von der Ergebnis,
    (a/b)*b + a%b gleich ist.

    denen gezeigt werden kann, erfordern die Zeichen der a%b die gleiche wie die Zeichen der a (wenn nicht null).

    InformationsquelleAutor der Antwort Sjoerd

  3. 7

    Einfach einen Kommentar. Der aktuelle Arbeitsentwurf für die C++ standard in der Tat korrigiert die "implementation-defined" - Problem auf und fragt nach abschneiden in Richtung null. Hier der Ausschuß ist der Webseite, und hier ist der Entwurf. Das Problem ist auf Seite 112.

    InformationsquelleAutor der Antwort Federico A. Ramponi

  4. -2

    Manchmal müssen wir einen Schritt zurück, und sehen Sie nur die Mathematik:

    Gegeben int x, int y

    wenn int i1 = x/y und
    int i2 = x%y

    dann y * i1 + i2 muss x

    Also das ist nicht so viel über den standard, aber es gibt nur einen Weg, dies möglich zu machen. Wenn alle standards kann es anders sein, dann ist die Norm falsch ist, und das bedeutet, dass die Sprache unterbrochen ist.

    InformationsquelleAutor der Antwort user3283405

Schreibe einen Kommentar