Fehlertoleranz DELPHI Compiler

[BUG]

Zitat von Patito:

Ein Syntax-Check entspräche in etwa der Lösung eines NP-Vollständigen Problems (mit entsprechend endloser Rechenzeit), oder der Check funktioniert eben nur "manchmal".

Der Syntax-Check funktioniert (afaik) in Linearzeit, sonst könntest du lange auf den Compiler/Lexer warten.

Die Korrektheit eines (Turing-)Programms zu prüfen kann (je nach genauer Aufgabe) schwer bis unmöglich (Halteproblem) sein.
Es gibt allerdings durchaus auch brauchbare statische Analysemethoden für Quellcode. Als einfaches bekanntes Beispiel: Typprüfung.


Sei etwas vorsichtiger mit Begriffen wie "NP-vollständig".

[Furtbichler]

Wann kommt endlich neben dem Syntaxcheck auch der Semantikcheck?

[jaenicke]

Zitat von Furtbichler:

Wann kommt endlich neben dem Syntaxcheck auch der Semantikcheck?

Den gibt es ja in Oxygene schon. Da werden typische Fehler / unsaubere Techniken erkannt.

[Patito]

Zitat von BUG:

Sei etwas vorsichtiger mit Begriffen wie "NP-vollständig".

Warum?

[BUG]

Zitat von Patito:

Zitat von BUG:

Sei etwas vorsichtiger mit Begriffen wie "NP-vollständig".

Warum?

Weil ich ungünstig finde, wenn die Begriffe ohne groß nachzudenken falsch verwendet werden. Beispiel:

Zitat von Patito:

Ein Syntax-Check entspräche in etwa der Lösung eines NP-Vollständigen Problems (mit entsprechend endloser Rechenzeit), oder der Check funktioniert eben nur "manchmal".

Zitat von Patito:

Jetzt willst Du dieses Objekt löschen - und alle Zugriffe auf das Objekt sollen
zu Fehlern führen. Mit GC ist das ein Krampf - man muss da quasi händisch das Rad der
Access Violation neu erfinden.

Die Access Violation ist bei deinem Vorgehen auch nicht garantiert.
Um beim Bild zu bleiben: Jemand hat einen Haufen saure Gurken dort hingeschüttet, wo der entfernte Betonhaufen stand. Nun willst du den Betonhaufen wegschaufeln und haust die armen sauren Gurken in den Müll.