Automatische Referenzzählug bei Interfaces

[jaenicke]

Das ist übrigens ein gutes Beispiel, weshalb inline Variablen (und dann noch mit Type Inference) oft keine gute Idee sind. Nur weil neue Delphiversionen das (leider) können, muss man es ja nicht überall nutzen...

[nb78]

Vielen Dank für die schnellen Antworten.

Das mit den Inline Variablen war mir so nicht bewußt. Ich werde es zukünftig weniger nutzen. In diesem Beispiel ist es egal aber ich nutze es gerne innerhalb von Schleifen oder Blöcken damit die Variable nur lokal nutzbar ist und nicht woanders nochmal genutzt werden kann.
Ich bin davon ausgegangen das Delphi dann den Speicher beim Verlassen des Blocks oder der Schleife automatisch freigibt. Das würde ja die "try finally free" Konstrukte sparen.

[nb78]

@Günther
Ich hatte nur den minimalen Code für den Fehlerfall hochgeladen. Ansonsten hätte ich noch die ganze Umgebung inklusive Parser usw. auch liefern müssen. Das waäre dann viel Code gewesen der ja für die Lösung nicht notwendig war.

Den vollen Speichermanager werde ich mir herunterladen.

[Der schöne Günther]

Zitat von nb78:

Ich bin davon ausgegangen das Delphi dann den Speicher beim Verlassen des Blocks oder der Schleife automatisch freigibt. Das würde ja die "try finally free" Konstrukte sparen.

Die Erklärung ist man dir etwas schuldig geblieben:

Du hast völlig Recht wenn du meinst dass eine Variable vom Typ "Interface" automatisch freigegeben wird wenn ihr Referenzzähler auf Null geht. Bei einer lokalen Variable ist das üblicherweise der Fall wenn der Gültigkeitsbereich (for-Schleife, begin/end-Block, ...) zu Ende ist.

Nicht der Fall ist das natürlich wenn die Referenz noch irgendwo anders hin weitergegeben und dort gespeichert wird.


Bei den Inline-Variablen ist hier ein Sonderfall, der eigentlich keiner ist:

Angenommen du hast eine Klasse TTerm = class(TInterfacedObject, ITerm) .
Wenn du eine lokale Variable anlegst dann kann die bspw. vom Typ TTerm oder ITerm sein. Wenn du schon ein Interface hast, dann solltest du das auch benutzen und sparst dir, wenn du eine neue Instanz anlegst, auch gleich das try..finally mit. So wie man es schon immer auch von Strings oder dynamischen Arrays kennt...

Jetzt der Stolperstein:
Wenn du bspw. sagst var meinTerm := TTerm.Create() , dann fahr doch mal später mit der Maus über meinTerm und schau was der Computer meint von welchem Typ das ist. Erstaunt? Woher soll der Computer auch wissen dass für dich ein ITerm besser wäre? Du hast ja ganz explizit TTerm.Create() gesagt.

Und Variablen vom Typ TTerm werden natürlich nicht beim Verlassen des Gültigkeitsbereichs freigegeben, das war ja schon immer so. Wir müssen jetzt also nur einen Weg finden explizit zu sagen dass die Variable bitte vom Typ Interface ist.

Es gibt zwei Möglichkeiten mit denen du den Inline-Variablen nicht abschwören musst, die sind nämlich gar nicht böse.

1. Du gibst dem Compiler explizit vor, von welchem Typ die Variable sein soll. Das hat man ja früher in den var-Blöcken vor dem begin auch immer getan: var meinTerm: ITerm := TTerm.Create();
2. Du verwendest einen Getter, Factory-Methode was auch immer, dessen Rückgabetyp direkt vom Typ ITerm ist

[freimatz]

Ginge nicht auch "var meinTerm := TTerm.Create() as ITerm"?

[jaenicke]

Zitat von freimatz:

Ginge nicht auch "var meinTerm := TTerm.Create() as ITerm"?

Sicher kann man so etwas machen. Aber ich sehe den Vorteil solcher Verbiegungen nicht...

Wenn man unbedingt Inline-Variablen nehmen muss, dann sollte man zumindest auf Type Inference verzichten:
var meinTerm: ITerm := TTerm.Create;

[freimatz]

Zitat von jaenicke:

Sicher kann man so etwas machen. Aber ich sehe den Vorteil solcher Verbiegungen nicht...

Bei inline variablen sicher nicht. Wenn die variable z.B. jedoch ein member einer Klasse ist und in einer Methode dazu eine Instanz erzeugt wird, dann mache ich das gerne. So wird deutlich, dass es sich um ein Interfache handelt. Sonst könnte jemand später denken: da hat einer das Free vergessen.
(Meist werden interfaced Klassen bei uns injiziert, da steht sich die Frage gar nicht.)

[himitsu]

Das bezog sich vor allem auf die "Type Inference", also wo sich die Inline-Variable den Typ automatisch aussucht, anstatt man ihn explizit angibt,
und in diesem Fall "ausversehen" unbemerkt der Klassen-Typ genommen wird, anstatt dem Interface-Typ, womit natürlich die Referenzzählung dann im Arsch ist.