Warum erlaubt vim eine Ganzzahldivision durch Null?

15

Ich habe gerade herausgefunden, dass vim offensichtlich die Division durch Null erlaubt:

:let a=42/0
:echo a

druckt 2147483647(das ist der Wert von a).

Ist dies irgendwo dokumentiert und warum erlaubt vim die Division durch Null?

vimscript arithmetic

— René Nyffenegger
quelle

2

Versuchen Sie :echo 42/0.0, ein anderes Ergebnis zu sehen :)

— VanLaser

8

Dieses Verhalten ist im Abschnitt eval dokumentiert :

When dividing a Number by zero the result depends on the value:
      0 / 0  = -0x80000000  (like NaN for Float)
     >0 / 0  =  0x7fffffff  (like positive infinity)
     <0 / 0  = -0x7fffffff  (like negative infinity)
    (before Vim 7.2 it was always 0x7fffffff)

— cuonglm
quelle

15

Hier ist warum:

42 / 0 tends to +infinity

Und wie repräsentiert Vim die größte verfügbare Anzahl?

2147483647

Sehen :h limits

Darüber hinaus heißt es in der float2nrFunktionsdokumentation:

When the value of {expr} is out of range for a |Number| the
result is truncated to 0x7fffffff or -0x7fffffff.  NaN results
in -0x80000000.

Sie haben also hier Ihre 2 Nummern: + 2147483647und - 2147483647.

Die letzte Zahl -2147483648wird zur Darstellung des NaNWertes verwendet.

Dies wird durch den evalAbschnitt darauf bestätigt (mea culpa: @cuonglm hat es direkt vor mir gepostet ):

When dividing a Number by zero the result depends on the value:
    0 / 0  = -0x80000000    (like NaN for Float)
   >0 / 0  =  0x7fffffff    (like positive infinity)
   <0 / 0  = -0x7fffffff    (like negative infinity)

Wie @VanLaser feststellte, funktioniert dies nur für Ganzzahlen, für Gleitkommazahlen haben Sie mehr Konsistenz:

 1/0.0     =  inf
 1/0.0 + 1 =  inf
 1/0.0 - 1 =  inf

-1/0.0     = -inf
-1/0.0 - 1 = -inf
-1/0.0 + 1 = -inf

— nobe4
quelle

Warum ist in diesem Fall die Division einer negativen Zahl durch 0 nicht die Mindestzahl? -> vi.stackexchange.com/questions/4623/…

— Jacob Krall

Ich habe meine Frage bearbeitet

— nobe4

2147483647 ist sicherlich viel näher an null als an unendlich. Unendlichkeit mit so einer kleinen Zahl darzustellen, scheint mir also nicht hilfreich, zumindest nicht.

— René Nyffenegger

2

Dieses Verhalten ist in Calculus nützlich, wenn Sie ein Limit verwenden.

Lim n -> 0 ^ + von 1 / n = + inf

Dies kann auch geschrieben werden als: As n -> 0 ^ +, 1 / n -> + inf

Es wird so gelesen. Wenn n von rechts gegen Null geht, nähert sich die Funktion 1 / n der positiven Unendlichkeit.

Um eine visuelle Erklärung für diese Argumentation zu erhalten, rufen Sie http://www.wolframalpha.com/input/?i=limit+n-%3E0+of+1%2Fn auf

Was speziell Vim-Script betrifft, machen AFAIK nicht viele Leute viel mehr als Logik und Ganzzahlarithmetik damit. Es könnte der Fall sein, dass dieses Verhalten zu dieser Zeit als gute Idee erschien und zu diesem Zeitpunkt lediglich ein altes Artefakt ist.

— Shane
quelle

Haben Sie eine Quelle für den letzten Absatz? Ganzzahlige Division durch Null ist in C undefiniert, jedes Verhalten, das Sie sehen, ist abhängig vom Prozessor usw.

— muru

Oh, du hast Recht. Ich entferne den Absatz.

— Shane