Warum keine Compilerwarnung bei offensichtlicher Bereichsüberschreitung

[p80286]

Zitat von Dejan Vu:

Dann werden doch nur alte Ärgernisse durch neue ersetzt.

Was meinst Du damit? zu int16-Zeiten hab ich den Integer nur genutzt wenn wirklich die Gefahr bestand, daß der Wert unter 0 sank. Inzwischen hab ich mich an int32 und word16 gewöhnt und laß die Finger von impliziten casts wann immer es geht. Das etwas geht heißt ja noch längst nicht, das es gut ist. Und wenn Delphi/Pascal sich auf die Fahnen geschrieben hat Typsicher zu sein ist zumindestens eine Warnung nicht schlecht. Irgendwo gibt's die auch, aber ich weiß jetzt nicht mehr den konkreten Wortlaut.

Gruß
K-H

[smallie]

Zitat von p80286:

Und wenn Delphi/Pascal sich auf die Fahnen geschrieben hat Typsicher zu sein ist zumindestens eine Warnung nicht schlecht. Irgendwo gibt's die auch, aber ich weiß jetzt nicht mehr den konkreten Wortlaut.

Du meinst dies?

Zitat:

W1023: Comparing signed and unsigned types - widened both operands
W1024: Combining signed and unsigned types - widened both operands

Delphi-Quellcode:

  var
    s : shortint;
    b : byte;

begin
  s := -128;
  b := 130;

  assert(b < s);
end.

Delphi-Quellcode:

{$APPTYPE CONSOLE}
program Produce;
  var
    i : Integer;
    c : Cardinal;

begin
  i := -128;
  c := 130;
  WriteLn(i + c);
end.

[Delphi-Laie]

Oder, um es noch einmal ganz plakativ und salopp zusammenzufassen:

Typenunverträglichkeit -> Compilerfehlermeldung und Compilierungsabbruch (so ist es seit Urzeiten).
Typenteilkompatibilität -> Compilerwarnung! Und zwar eine generelle, sowohl beim Vergleich als auch bei Wertzuweisungen.

[p80286]

@smallie


Gruß
K-H