System.Length: Warum Integer und nicht Cardinal ?

[Rollo62]

Hallo zusammen,

ich hätte da mal die oben genannte, blöde Frage an die Sprachexperten.
Macht es aus irgendeinem Grund Sinn das System.Length ein Integer-Resultat zurückgibt für Arrays/Strings,
obwohl es dies logischerweise nie < 0 erreichen kann ?

[sakura]

Das dürfte historisch bedingt sein. Bis Delphi 4 gab es gar keine richtigen Unsigned Integer mit 32 Bit. Aber auch schon in 16 Bit Pascal waren es Signed Integers. Somit konnten Funktionen wie Pos/IndexOf usw. -1 als Ergebnis zurück liefern, wenn ein Element/Zeichen nicht in einem Array/String vorhanden war. Auch kann man so leichter Fehler in der Index-Berechnung erkennen.

Sicherlich liegt es aber auch daran, dass das das native Verhalten der x86-Prozessoren ist.

...:cat:...

[Der schöne Günther]

Wenn du einen Index für eine For-schleife nimmst dann nimmst du hoffentlich logischerweise auch immer einen vorzeichenbehafteten Typ (wie Integer).

Beispiel:

Delphi-Quellcode:

for var i: Cardinal := Low(items) to High(items)

verursacht ein Out Of Range wenn items leer ist. Warum? Weil

Delphi-Quellcode:

High(..)

-1 zurückgibt.

[Rollo62]

Dankesehr für die Antworten.

Zitat:

Zitat von sakura (Beitrag 1490176)

Das dürfte historisch bedingt sein.

Das war auch meine Vermutung.

Zitat:

Zitat von sakura (Beitrag 1490176)

Somit konnten Funktionen wie Pos/IndexOf usw. -1 als Ergebnis zurück liefern, wenn ein Element/Zeichen nicht in einem Array/String vorhanden war. Auch kann man so leichter Fehler in der Index-Berechnung erkennen.

Für alle Pos/Index ist das richtig, aber Length ?
Ich vermute Du meinst Pos/Length, oder wo hilft das bei Length Fehler zu Erkennen ?

Was daran blöd ist:
Wenn ich bewusst Cardinal benutze, um Fehleingaben (< 0) im Keim zu Ersticken,
und dann Length() mit Cardinal vergleiche:

Delphi-Quellcode:

var
    LMaxLen : Cardinal;

...

    if Length( LArray) <= LMaxLen then
    begin
    ....

dann bekomme ich immer ein Warning, das ich wegcasten muss obwohl es unnötig wäre.

[Rollo62]

Zitat:

Zitat von Der schöne Günther (Beitrag 1490177)

Wenn du einen Index für eine For-schleife nimmst ...

Dankesehr, mir geht es um den Fall unten beschrieben, mit der blöden Meldung.

[himitsu]

Arrays (Strings sind auch Arrays) können eh maximal 2 GB-1 groß werden, auch in 64 Bit-Compilern,
somit ist es vollkommen egal ob Integer oder Cardinal.

Integer ist es, weil es schon immer so war.
Und ja, bei High ist das Integer sogar notwendig, für Arrays die bei 0 beginnen, es -1 sein kann. (gut, man könnte die -1 auch nach Cardinal casten, wie z.B. beim INVALID_HANDLE_VALUE)
Bis vor Kurzem hatten in iOS und Android sogar die Strings mit 0 begonnen. (mitten in 10.4 wurde dieses Verhalten endlich für alle Platformen gleichgezogen, aber die Methoden des StringHelper sind immernoch 0)

[freimatz]

Zitat:

Zitat von Rollo62 (Beitrag 1490178)

Dankesehr für die Antworten.

Zitat:

Zitat von sakura (Beitrag 1490176)

Das dürfte historisch bedingt sein.

Das war auch meine Vermutung.
...

Das halte ich für falsch.
Wie Günther schon erwähnte gibt es immer wieder Operationen bei denen negative Werte herauskommen.
Eben das High()-1. Oder wenn man Length(A)-Length(B) macht kann es negative Werte geben. Ebenso bei "if Length(A)<Length(B) then ...". Und nicht zuletzt Dein "if Length( LArray) <= LMaxLen then". Ein Vergleich impliziert eine Subtraktion.
Dann muss Delphi den Typ implizit erweitern auf den nächstgrösseren Typ z.B. auf Int64 und das ist unschön. Und deswegen die Warnung.

[Der schöne Günther]

Ganz genau das wollte ich grade auch schreiben.

Jetzt bleibt mir nur noch der Verweis auf andere Sprachen zum Vergleich (size_t in C++, oder dass size() bzw Length in Java oder C# auch mit Vorzeichen sind).

[Rollo62]

Ich verstehe Euch ja, und habe auch Integer an 1000 Stellen dafür genutzt.
Aber insbesondere bei Funktionsaufrufen würde ich mir gerne einen "Guard" ersparen,
deshalb der Cardinal

Delphi-Quellcode:

procedure CopyDing( const AArray : TBytes; const ALen : Integer )
begin
    if ALen < 0 then
        Exit;  //<== DAS WÜRDE ICH SICHERHEITSHALBER EINBAUEN MÜSSEN, STATT CARDINAL ==

    Assert( ALen >= 0, 'CopyDing crash'  ); //<== ODER ARBEITET IHR MIT ASSERT ? Hilft aber nur beim Debuggen.

    if Length( AArray) >= ALen then  //<== Dann gehts auch mit Integer
    begin
       .... 
    end;
end;

[himitsu]

Zitat:

Zitat von Rollo62 (Beitrag 1490191)

Hilft aber nur beim Debuggen

Kann man aber auch in der Release aktivieren, wenn man möchte.


Du darfst in deiner Funktion den Integer gern nach Cardinal casten und mit Length vergleichen (Length auch nach Integer gecastet, damit der Compiler nichts für den Vergleich unnötig nach Int64 erweitert)

-1 ähhhh $FFFFFFFF ist ja größer als Length und somit raucht die Längenprüfung auch da ab, ohne daß man explizit <0 prüfen muß.

Delphi-Quellcode:

if Cardinal(ALen) <= Cardinal(Length(AArray)) then
  ÜberlaufBzwNichtGenugBytesImArray