Delphi-PRAXiS - Delphi for to do: 0 to -1

Delphi-PRAXiS (https://www.delphipraxis.net/forum.php)

- Object-Pascal / Delphi-Language (https://www.delphipraxis.net/32-object-pascal-delphi-language/)

- - Delphi for to do: 0 to -1 (https://www.delphipraxis.net/58288-do-0-1-a.html)

for to do: 0 to -1

Hallo Community,
Ich habe ein sehr merkwürdiges Verhalten in einer meiner for-Schleife gefunden (s. Anhang). Nach meinen Informationen sollte die Schleife überhaupt nicht ausgeführt werden:

Zitat:

Zitat von Delphi-Hilfe

If initialValue is greater than finalValue in a for...to statement, or less than finalValue in a for...downto statement, then statement is never executed.

Kann mir jemand sagen, warum die Schleife trotzdem ausgeführt wird?

mfg Nogge

Re: for to do: 0 to -1

Von was für einem Typ ist V?

...:cat:...

Re: for to do: 0 to -1

Ah, ok. *schäm*
"v" ist vom Typ Byte, der natürlich gar keine negativen Werte annehmen kann...

Vielen Dank, sakura.

Re: for to do: 0 to -1

Zitat:

Zitat von Nogge

Ah, ok. *schäm*
"v" ist vom Typ Byte, der natürlich gar keine negativen Werte annehmen kann...

Vielen Dank, sakura.

Gut erkannt :thumb: und bitte :)

...:cat:...

Re: for to do: 0 to -1

Glückwunsch,

das ist der älteste Fehler.

Ich vermute mal, du hast natürlich nicht die Bereichsprüfung an, oder?
Dann würde dir der Compiler auch mehr helfen.

Naja, wie dem auch sei.
Deine Variable REMPILLAR = 0 und da du noch einen abziehst, würde dort eigentlich -1 rauskommen. Da im Datentyp Byte die -1 als 255 dargstellt wird, läufte deine Schleife von 0 bis 255.

Wie gesagt mit einer Bereichsprüfung wird diese Geschichte auch geprüft!

Also entweder immer Integer für die Laufvariable benutzen (was blödsinn ist) oder nie den Endbereich mit -1 verändern, sondern in der Schleife bei der Verwendung der Laufvariablen einen abziehen.

MfG
Thorsten

Re: for to do: 0 to -1

Zitat:

Zitat von omata

Ich vermute mal, du hast natürlich nicht die Bereichsprüfung an, oder?

Was aber keine wirklich Lösung ist, dann dadurch wird zusätzlicher Code (nämlich die Fehlerprüfung) in das Programm eingebaut wird, was erstens das Programm größer und natürlich auch etwas langsamer macht.
Und wenn ein Programm richtig/fehlerlos programmiert ist, dann ist dieses auch total sinnlos.

Zitat:

Zitat von omata

Also entweder immer Integer für die Laufvariable benutzen (was blödsinn ist) oder nie den Endbereich mit -1 verändern, sondern in der Schleife bei der Verwendung der Laufvariablen einen abziehen.

Ist ja noch schlimmer.
also statt nur einmal im Rumpf der Schleife etwas abzuziehen, soll man das jetzt also (unter Umständen) mehrmals innerhalb der Schleife machen?

Es ist doch viel besser gleich die Ursache zu beheben?
Also entweder die Datentypen anpassen, oder nur eine winzige Prüfung selber einzufügen

Delphi-Quellcode:

			if REMPILLAR > 0 then

  for v := 0 to (REMPILLAR - 1) do

    ...

Hier wird auf größer 0 geprüft, da es einen optimaleren Code erzeugt.
eigentlich natürlich if REMPILLAR >= 1 then, also größer/gleich der Wert, welcher Abgezogen wird.

Re: for to do: 0 to -1

Zitat:

Zitat von himitsu

Es geht hier ums Entwickeln, dann sollte die Prüfung an sein. Ausserdem ist es heutzutage mit grossen Platten und schnellen Rechnern nicht mehr so wichtig, dass die Anwendung klein und super schnell ist. Da kommt es auf die paar KB auch nicht an. Es ist viel mehr wichtig, dass die Anwendung richtig funktioniert und eine ordentliche Fehlersuche möglich ist.

Zitat:

Zitat von himitsu

Zitat:

Zitat von omata

Also entweder immer Integer für die Laufvariable benutzen (was blödsinn ist) oder nie den Endbereich mit -1 verändern, sondern in der Schleife bei der Verwendung der Laufvariablen einen abziehen.

Ist ja noch schlimmer.
also statt nur einmal im Rumpf der Schleife etwas abzuziehen, soll man das jetzt also (unter Umständen) mehrmals innerhalb der Schleife machen?

Wie du selber schreibst, "unter umständen" richtig. Wenn du mal Compilerbau hörst, wirst du erfahren, dass man absichtlich den Quellcode nicht optimieren soll. Die heutigen Compiler übernehmen die Optimierung des Codes. Man selbst soll übersichtlich und sicher programmieren.

Zitat:

Zitat von himitsu

Es ist doch viel besser gleich die Ursache zu beheben?
Also entweder die Datentypen anpassen, oder nur eine winzige Prüfung selber einzufügen

Delphi-Quellcode:

			if REMPILLAR > 0 then

  for v := 0 to (REMPILLAR - 1) do

    ...

Hier wird auf größer 0 geprüft, da es einen optimaleren Code erzeugt.
eigentlich natürlich if REMPILLAR >= 1 then, also größer/gleich der Wert, welcher Abgezogen wird.

Das mit dem Typ hatte ich schon geschrieben. Und die IF-Anweisung davor, ist genau folgendes

Delphi-Quellcode:

for v := 0 to REMPILLAR do

wenn man die -1 weglässt.

Man kann das sehen, wie man will.
Und nun könnt ihr (z.B. Luckie) mich wieder in der Luft zerreissen...

Re: for to do: 0 to -1

Zitat:

Zitat von omata

. Und die IF-Anweisung davor, ist genau folgendes:

Delphi-Quellcode:

for v := 0 to REMPILLAR do

wenn man die -1 weglässt.

Unsinn.
Einmal die andere Schleife zum Vergleich:

Delphi-Quellcode:

			if REMPILLAR > 0 then

  for v := 0 to (REMPILLAR - 1) do

Nehmen wir an REMPILLAR ist 0. Dann würde bei die Schleife mit dem IF am Anfang gar nicht erst starten. Die andere aber schon.

Nehmen wir jetzt mal an REMPILLAR ist 5. Dann würde bei oberer Schleife (ohne IF) folgendes passieren:

Delphi-Quellcode:

for v := 0 to 5 do

Bei der anderen (die mit der Abfrage am Anfang) folgendes:

Delphi-Quellcode:

for v := 0 to 4 do

Man sieht, die Unterschiede sind schon vorhanden. ;)

Re: for to do: 0 to -1

Ja, du hast natürlich rechts, sorry.

Ist wohl doch schon zu spät.

Stimmt, es müsste dann natürlich

Delphi-Quellcode:

for v:=1 to REMPILLAR do

sein.

Danke für den Hinweis.

Re: for to do: 0 to -1

Moin, moin, himitsu,

Zitat:

Bei mir macht es definitiv keinen Unterschied ob Bereichsprüfung+I/O-Prüfung an hab oder nicht, die Exe, mit der ich getestet habe, ist in beiden Fällen 1366016 Bytes.

Das ist mir schon früher aufgefallen, dass es bei Delphi 7 anscheinend keinen Einfluss auf die Programmgrösse hat, welche Prüfungen man aktiviert.

Re: for to do: 0 to -1

Zitat:

Zitat von kalmi01

Moin, moin, himitsu,

Zitat:

Hallo,

hab auch mal getestet:
ohne Bereichsprüfung 817 kB mit 835 kB

macht zwar nicht viel aus aber immerhin

mfg

DerDan

Re: for to do: 0 to -1

Hallo DerDan,

habs jetzt nochmal mit ner default-"Anwendung" probiert.
Es bleibt sich gleich, ist mit und ohne Laufzeitprüfungen aufs Byte gleich.

Re: for to do: 0 to -1

Hat du die Bereichsprüfung vieleicht direkt im Quelltext nochmal angegeben?
{$R+} oder {$RANGECHECKS ON}
Dann ist es ja für den nachfolgenden Qode egal, was in den Optionen steht.

Re: for to do: 0 to -1

Moin, moin, himitsu,

Zitat:

Hat du die Bereichsprüfung vieleicht direkt im Quelltext nochmal angegeben?
{$R+} oder {$RANGECHECKS ON}

Nein, natürlich nicht.
Deshalb schrieb ich ja:

Zitat:

habs jetzt nochmal mit ner default-"Anwendung" probiert

soll heissen: Datei/Neu/Anwendung.
Also quasi Delphi-Original-Code.
Und dann in Projekt/Optionen/Compiler einmal bei Laufzeitfehler alles anghakt und einmal nichts.

Re: for to do: 0 to -1

Moin Michael,

Zitat:

Zitat von kalmi01

Und dann in Projekt/Optionen/Compiler einmal bei Laufzeitfehler alles anghakt und einmal nichts.

und dann Build oder Compile?

Re: for to do: 0 to -1

Zitat:

Zitat von Christian Seehase

Zitat:

Zitat von kalmi01

Und dann in Projekt/Optionen/Compiler einmal bei Laufzeitfehler alles anghakt und einmal nichts.

und dann Build oder Compile?

Macht beides keinen Unterschied.

Unterschiede in der CFG-Datei:

Delphi-Quellcode:

			mit Laufzeitfehler       ohne Laufzeitfehler

    -$Q+                      -$Q-

    -$R+                      -$R-