Entier de la division de l'arrondissement avec les négatifs en C++

Supposons que a et b sont tous deux de type int, et b est différente de zéro. Considérons la suite de l'exécution de a/b dans les cas suivants:

  1. a et b sont tous les deux positifs.
  2. a et b sont tous les deux négatifs.
  3. Exactement l'un d'eux est négatif.

Dans le Cas 1, le résultat est arrondi à l'entier le plus proche. Mais quelle est la norme de dire à propos de Cas 2 et 3? Un vieux projet que j'ai trouvé flottant sur l'Internet indique qu'il est dépendant de l'implémentation (oui, même les cas 2), mais le comité s'est penché vers le rendant toujours " tour vers zéro." Personne ne sait ce que la (dernière) standard dit? Merci de répondre uniquement basé sur la norme, pas ce qui fait sens, ou de ce particulier les compilateurs n'.

  • Incroyable possibilité de recherche compte tenu de la 1200 page de la nature de la norme. Je vais lui donner un coup de grep et d'abandonner 🙂
InformationsquelleAutor | 2008-11-26
  1. 22

    Selon Mai 2008 sur la révision,

    Vous avez raison:

    Le binaire /opérateur donne le quotient et le binaire opérateur % rendements le reste de la division de la première expression par le second. Si le second opérande de l' /ou % est zéro, le comportement est indéfini; sinon (a/b)*b + a%b est égal à un. Si les deux opérandes sont non négatifs alors le reste est non négatif; dans le cas contraire, le signe de la quantité restante est mise en œuvre-defined75).

    Note 75 dit:

    Selon le travail en cours vers la révision de l'ISO C, la solution de l'algorithme de division entière suit les règles définies dans la norme ISO norme Fortran, ISO/IEC 1539:1991, dans lequel le quotient est toujours arrondi vers zéro.

    Les Chances sont que C++ gal C à cet égard. Comme il est, il est indéfini, mais ils ont un oeil vers le changer.

    Je travail dans le même ministère que Stroustrup, et avec un membre du comité. Les choses prennent une éternité pour obtenir accompli, et son infini politique. Si il semble idiot, il l'est probablement.

    • La cité la déclaration est vieux. Il remonte à la C++98 standard et se réfère à la C99 de révision. C99 spécifie arrondi vers zéro et le C++11 suit.
    InformationsquelleAutor Stefan Mai
  2. 18

    Comme une mise à jour pour les autres réponses:

    La dernière version de C++11, n3242 qui est à toutes fins pratiques identiques à la réalité de C++11, dit ce de 5,6 point 4 (page 118):

    Intégral pour des opérandes de l'opérateur /rendements algébrique quotient
    avec toute partie fractionnaire jeté; (voir note 80)

    Note de 80 membres (à noter que les notes sont non-normatif):

    80) Ce qui est souvent appelé la troncature vers zéro.

    Point 4 stipule:

    si le quotient a/b est représentable dans le type du résultat,
    (a/b)*b + a%b est égal à un.

    qui peut être montré pour exiger le signe de a%b être le même que le signe de a (lorsqu'il n'est pas zéro).

    InformationsquelleAutor Sjoerd
  3. 7

    Juste un commentaire. L'actuel projet de travail pour le C++ standard, en effet, corrige la "mise en œuvre définies par l'" de l'émission et de la demande pour la troncature vers zéro. Ici est la page web du comité, et ici est le projet. La question est à la page 112.

    InformationsquelleAutor Federico A. Ramponi
  4. -2

    Parfois, nous avons besoin de prendre un peu de recul et regardez juste les mathématiques de l'informatique:

    Donné int x, int y

    si int i1 = x/y et
    int i2 = x%y

    alors y * i1 + i2 doit être x

    Donc ce n'est pas tellement au sujet de la norme, mais il n'y a qu'une seule façon cela peut peut-être. Si des normes permet de toute autre façon, la norme est mal, et cela signifie que la langue est cassé.

    InformationsquelleAutor user3283405