Fehlende Compiler-Warnungen?

[jaenicke]

Ein echt gutes Feature für den Delphicompiler wäre, wenn man als Debugkonfiguration auch zusätzliche Assertions für eine automatische Typprüfung aktivieren könnte. Der Compiler kennt ja den Typ der Variablen und könnte dementsprechende Prüfungen zur Laufzeit einbauen. Nicht für alles, aber für einen Teil schon...

Ja ja, man wird ja noch träumen dürfen...

In unseren eigenen Quelltexten sind dank Generics aber ohnehin kaum noch Casts drin.

[Stevie]

Zitat von jaenicke:

In unseren eigenen Quelltexten sind dank Generics aber ohnehin kaum noch Casts drin.

Dafür vermutlich zigfach duplizierter Binärcode

[himitsu]

Zitat von Stevie:

Zu unsinnigen/gefährlichen Hardcasts allerdings sagt der Compiler nix, kann und soll er auch nicht.

Warum sollte er nicht?

Gerade da sollte er zumindestens eine (abschaltbare) Warnung bringen, wäre zumindestens meine Meinung, wenn ich sehe was da so Mancher versucht, siehe anderer Thread.
Wer wirklich absichtlich sowas machen will, der darf ja weiterhin gern über einen untypisierten Pointer gehen, oder schaltet vorübergehend die Warnung ab.

Zitat von Stevie:

Dafür vermutlich zigfach duplizierter Binärcode

Ach, das bissl fällt nu och nimmer auf.

800 kB: FinalBuilder mit XE kompiliert, wo Eurekalogs ECC an den Parametern rumgepfuscht
3-4 MB im DelphiXE kompiliert (DLLs und Packages muß ich vorher einmal dort kompilieren, um sie "komplett" debuggen zu können und dabei auch Parameter und Variablen sehen zu können
10 MB im 10.4 kompiliert (auch inkl. Debuginfos)
... für über 80 BPL/DLL/EXE ergibt das schon ganz schön Mehrwert

[Stevie]

Zitat von himitsu:

Zitat von Stevie:

Zu unsinnigen/gefährlichen Hardcasts allerdings sagt der Compiler nix, kann und soll er auch nicht.

Warum sollte er nicht?

Hardcasts sind nunmal hardcasts - wenn man die verwendet, dann sollte man schon wissen, was man macht. Dass nun Anfänger ggf Fehler machen und es ihnen die Sprache erlaubt ist dann nunmal so. Dafür gibts Lehrmaterial.

Zitat von himitsu:

800 kB: FinalBuilder mit XE kompiliert, wo Eurekalogs ECC an den Parametern rumgepfuscht
3-4 MB im DelphiXE kompiliert (DLLs und Packages muß ich vorher einmal dort kompilieren, um sie "komplett" debuggen zu können und dabei auch Parameter und Variablen sehen zu können
10 MB im 10.4 kompiliert (auch inkl. Debuginfos)
... für über 80 BPL/DLL/EXE ergibt das schon ganz schön Mehrwert

Fun fact: der meiste Zuwachs gerade in den letzten Jahren kommt eben genau dadurch: dass auch die RTL/VCL/FMX/Drittanbieter mit Generics durchsetzt sind und somit aufgeblasen werden.
Mach mal ne Button/Edit/ListBox-Anwendung in FireMonkey und schau wieviel des Binärcodes nur von TList kommt.

Spoiler: In der ca 9MB großen Exe, die ich hier mit nem 10.4 herausbekomme, sind über 2.5MB nur Binärcode und RTTI aus diversen TList<T> etc.

Und dazu kommen dann noch so dämliche Benutzungen von Generics wie in TStyledControl.FindStyleResource<T: TFmxObject> - gerade FMX ist durchsetzt von dümmlicher Benutzung von Generics - TStyledPresentationProxy<T: TStyledPresentation, constructor> ist auch so ein Beispiel und es gibt zahlreiche davon.