"reference to procedure" vs. "procedure"

[Der schöne Günther]

Angenommen ich habe Liste an TProcs. Wenn ich eine TProc in einer Variable speichere kann ich sie später mit dieser Referenz wieder in der Liste wiederfinden und herausnehmen.

Wenn ich "verboten" hätte dass man für TProc auch eine Instanz/Klassenmethode oder klassische Prozedur reinstecken kann wäre den Aufrufer klar geworden dass er sich das selbst in eine TProc-Variable stecken muss um sie später wieder in der Liste wiederzufinden.

Negativ-Beispiel:

Delphi-Quellcode:

procedure x();
begin
   WriteLn('x');
end;

procedure p();
var
   list: TList<TProc>;
begin
   list := TList<TProc>.Create();
   list.Add(x);
   Assert( list.Contains(x) ); // schlägt natürlich fehl
end;

Klar kommt man mit einer "Zwischen-Referenz" drum herum:

Delphi-Quellcode:

procedure p();
var
   list: TList<TProc>;
   proc: TProc;
begin
   list := TList<TProc>.Create();

   proc := x;
   list.Add(proc);

   Assert( list.Contains(proc) );
end;

aber mir wäre lieber gewesen wenn der erste Codeblock erst gar nicht compiliert hätte.

[himitsu]

In dem Referenz-Interface kann man zwar was auslesen, aber leider ist nicht sicher bestimmbar was es ist, da keine RTTI vorhanden und die Felder ala FProc/FEvent nicht existieren, wenn nicht verwendet ... das danach rutscht nach und man weiß nicht was in dem Speicher liegt.

Und ja, in soeinem Fall mußt du erst die Referenz erzeigen, speichern und kannst diese dann für den vergleich nutzen.
Ansonsten wird für beides Zuweisen und Vergleich jeweils eine eigene Instanz des Referenzinterfaces erstellt und die sind natürlich nicht gleich.

[freimatz]

Gibt es eigentlich bei dieser Sache einen Unterschied zwischen einer klassischen Prozedur und einer anonymen Methode? Bei einer Klassenmethode ist es mir klar, da wird ja intern noch Self als Parameter mit übergeben. Aber sind die anderen Fälle nicht gleich - zumindest vom aufruf. Ein Stück Code liegt im Speicher und wird aufgerufen. Dass die anonyme Methode keinen Namen (oder nur einen internen generierten) Namen hat kann doch hier keinen Unterschied machen. Oder?

[jaenicke]

Zitat von freimatz:

Gibt es eigentlich bei dieser Sache einen Unterschied zwischen einer klassischen Prozedur und einer anonymen Methode? Bei einer Klassenmethode ist es mir klar, da wird ja intern noch Self als Parameter mit übergeben. Aber sind die anderen Fälle nicht gleich - zumindest vom aufruf. Ein Stück Code liegt im Speicher und wird aufgerufen.

So einfach ist es nicht. Du vergisst, dass da auch noch die Werte im Scope vorhanden sein müssen. Beispiel:

Delphi-Quellcode:

procedure Blub;
var
  a: Integer;
begin
  a := 42;
  TGlobalBadness.Add(procedure
    begin
      Foo(a);
    end);

Dann brauchst du in dem Aufruf der anonymen Funktion ja den Variableninhalt aus dem Scope zu dem Zeitpunkt als die anonyme Funktion hinzugefügt wurde. Das meinte himitsu oben. Intern wird da ein Interface draus, in dem auch dieser Scope abgebildet ist.

[Stevie]

Zitat von freimatz:

Gibt es eigentlich bei dieser Sache einen Unterschied zwischen einer klassischen Prozedur und einer anonymen Methode? Bei einer Klassenmethode ist es mir klar, da wird ja intern noch Self als Parameter mit übergeben. Aber sind die anderen Fälle nicht gleich - zumindest vom aufruf. Ein Stück Code liegt im Speicher und wird aufgerufen. Dass die anonyme Methode keinen Namen (oder nur einen internen generierten) Namen hat kann doch hier keinen Unterschied machen. Oder?

Siehe mein Kommentar auf G+

[freimatz]

Danke