Das with-Statement in XE4

[uligerhardt]

BTW: Tool to refactor “with” blocks
Soweit ich mich erinnere, hat das Castalia-"Eliminate with" aber nicht sooo toll funktioniert. Es wundert mich, dass das weder bei Delphi selbst noch bei Modelmaker dabei ist.

[dataspider]

Zitat von uligerhardt:

Es wundert mich, dass das weder bei Delphi selbst noch bei Modelmaker dabei ist.

Modelmaker zeigt es aber in den Live Metrics an und bietet auch einen brauchbaren Dialog zum Konvertieren...

Frank

[Uwe Raabe]

Zitat von dataspider:

Modelmaker zeigt es aber in den Live Metrics an und bietet auch einen brauchbaren Dialog zum Konvertieren...

... der auf Wunsch sogar eine passende lokale Variable anlegt. Beim Konvertieren muss man halt genau wissen, an welchen Stellen denn nun das Präfix hin muss und wo nicht. Aber das entspricht ja eben genau der Kenntnis, welche Identifier zu dem with gehören, und die muss man ja eh haben, um den Code zu verstehen.

[uligerhardt]

Zitat von Uwe Raabe:

Beim Konvertieren muss man halt genau wissen, an welchen Stellen denn nun das Präfix hin muss und wo nicht. Aber das entspricht ja eben genau der Kenntnis, welche Identifier zu dem with gehören, und die muss man ja eh haben, um den Code zu verstehen.

Die Kenntnis hat doch der Compiler/Parser - das ist doch der Sinn eines solchen with-Entfernungstools. Oder versteh ich dich jetzt falsch?

[Elvis]

Zitat von uligerhardt:

Die Kenntnis hat doch der Compiler/Parser - das ist doch der Sinn eines solchen with-Entfernungstools. Oder versteh ich dich jetzt falsch?

Ich schreibe selbst statische Code-Analysen für dyn. Sprachen. Und "with" gehört lustigerweise fast in diese Kategorie, auch wenn Delphi (bis auf OleVariant) statisch typisiert ist.
Man müsste alle Bezeichner innerhalb des with-Statements auflösen. Also den nächstmöglichen Scope finden, aus dem sie kommen können.
Das ist aber fehleranfälliger als man es erwartet. Gerade in Delphi, wo man als Tool nie weiß, ob man jetzt die Saucen nehmen kann, oder die .DCU hernehmen muss.

[jaenicke]

Zitat von uligerhardt:

Die Kenntnis hat doch der Compiler/Parser - das ist doch der Sinn eines solchen with-Entfernungstools. Oder versteh ich dich jetzt falsch?

Der Parser kann diese Kenntnis nicht haben bzw. müsste einen riesigen Aufwand betreiben (genau eines der Probleme von with), das kann nur der Compiler. Und deshalb könnte ein solches Tool diese Daten auch nur aus dem Compiler bekommen, aber der hat dafür ja keine Schnittstelle.

Zitat von sx2008:

So hätte man das With-Statement auch gestalten und die Unsicherheiten beim Scope vermeiden können

Stimmt, aber Variablen werden in Delphi nun einmal vor dem begin deklariert und nicht irgendwo. Ob man das gut findet oder nicht, sei jedem selbst überlassen, ich persönlich finde es gut (auch wenn ich diese Art der Deklaration durchaus nett fände).