Warum keine Compilerwarnung bei offensichtlicher Bereichsüberschreitung

[Uwe Raabe]

Zitat von Mikkey:

Ich würde auch erwarten, dass zumindest ein Hinweis in der Art "possible data loss" kommt. Den habe ich auch in Delphi7 (und auch bei MS-Compilern) schon gesehen.

Soweit ich weiß, bringt auch Delphi 7 hier keine Warnung. Das lässt sich aber sicher leicht nachprüfen.

[Mikkey]

Immerhin gibt es

Zitat:

W8071: Bei Konvertierung könnten signifikante Ziffern verloren gehen

Hier, beim Zuweisen von TStream.Size (__int64) auf einen DWord. Aber zu dieser C++ Warnung gibt es in der Liste der Delphi-Meldungen kein Pendant

[Der schöne Günther]

Richtig, das habe ich auch beim c++-Builder gesehen. Ist standardmäßig leider auch nicht an, aber in C++ habe ich dafür noch Verständnis

Aber man hat die Option. In Delphi sehe ich nichts. Ich bin die letzten 18 Monate wirklich immer davon ausgegangen, dass ich vor so etwas gewarnt werden würde.

Mein Weltbild gleicht nun einem Scherbenhaufen.

[Dejan Vu]

Zitat von himitsu:

Drum kann der Compiler auch nicht Bescheid geben, wenn man vergißt ein Result zu initialisieren, welches vom Typ String, dyn. Array, Variant oder Interface ist.

Wieso nicht? C# kann das doch auch. Eine Variable ist genau dann nicht initialisiert, wenn -grob gesehen- das erste Anfassen der Variablen keine Zuweisung an diese Variable ist, also

Delphi-Quellcode:

if (variable) then...
CallMethod(variable); // Parameter ist kein var/out
someOtherVariable := variable;
variable := variable + 1;

Was vergessen? Bestimmt. Aber das Prinzip ist klar.

Zum Thema: So eine Warnung könnte der Compiler schon ausgeben und generell bei Konvertierungen zu warnen, wenn Daten verloren gehen könnten, dauert nun auch nicht länger, weil ja die konkrete Art der Konvertierung (Typ-A -> Typ-B) bekannt ist und man in einer einfachen Tabelle gucken könnte: "Meckern" / "Nicht meckern".

Ganz klar: Vergessen oder mit Absicht.

[Der schöne Günther]

Dass der Compiler auch nicht warnt, wenn man bestimmte Typen (z.B. Interface) zurückgibt und nie initialisiert hatten wir auch:
http://www.delphipraxis.net/175233-w...-zu-haben.html

Das ist der Grund warum ich mich fanatisch den Tag herbeibeschwöre an dem es endlich den "Nextgen"-Compiler für Windows gibt. Wenn die ganzen Altlasten weg sind kann Embarcadero hoffentlich endlich ein paar Compilerschalter mehr einbauen...

[p80286]

Zitat von Der schöne Günther:

Mein Weltbild gleicht nun einem Scherbenhaufen.

Armer Kerl

Aber im Ernst, der weiter oben angesprochene cast sollte explizit erfolgen, worüber sich dann nur die AltenSäcke aufregen würden. Aber die Zeiten ändern sich halt.

Gruß
K-H

Zitat von Dejan Vu:

Zum Thema: So eine Warnung könnte der Compiler schon ausgeben und generell bei Konvertierungen zu warnen, wenn Daten verloren gehen könnten,

Ist das Vorzeichen auch schon ein Datum?
Da es durchaus Programierer gibt, die nicht wissen was sie tun (copy&paste) würde ich sagen: Ja

[Dejan Vu]

Dann werden doch nur alte Ärgernisse durch neue ersetzt. Obwohl. Abwechslung muss sein.

[himitsu]

Zitat von Dejan Vu:

Wieso nicht? C# kann das doch auch. Eine Variable ist genau dann nicht initialisiert, wenn -grob gesehen- das erste Anfassen der Variablen keine Zuweisung an diese Variable ist, also

Delphi-Quellcode:

if (variable) then...
CallMethod(variable); // Parameter ist kein var/out
someOtherVariable := variable;
variable := variable + 1;

Was vergessen? Bestimmt. Aber das Prinzip ist klar.

Nja, bestimmte Typen im Delphi werden automatisch verwaltet und da scheitert dann diese Prüfung, weil sie ja "im Prinzip" initialisiert sind.
Mit einem kleinen Problem, welcher aber erst auffällt, wenn man die Interna kennt. (drum wird auch bei einem Integer gewarnt, aber nicht bei einem String)

Delphi-Quellcode:

function Test1: Integer;
var
  i: Integer;
begin
  if i = 0 then ;
end;

function Test2: string;
var
  S: string;
begin
  if S = '' then ;
end;

[DCC Warnung] ...: W1036 Variable 'i' ist möglicherweise nicht initialisiert worden
[DCC Warnung] ...: W1035 Rückgabewert der Funktion 'Test1' könnte undefiniert sein
Aber bei den beiden Strings gibt es keine Warnung.

Wie gesagt, Strings (mit Ausnahme des ShortString) und andere Typen werden automatisch initialisiert, da sonst die automatische Speicherverwaltung nicht funktionieren würde.

function Test(i: Integer): string; wird vom Compiler intern als procedure Test(i: Integer; var Result: string); umgesetzt.
Hier übernimmt der Aufrufer die Initialisierung, was oftmals nicht auffällt, aber ruf mal diese Funktion in einer Schleife auf.

[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

[Mikkey]

Zitat von Uwe Raabe:

Soweit ich weiß, bringt auch Delphi 7 hier keine Warnung. Das lässt sich aber sicher leicht nachprüfen.

Da hast Du recht (ausprobiert), aber ich hätte schwören können...