AcquireExceptionObject() / ReleaseExceptionObject()

[Der schöne Günther]

Ich bin jetzt ein bisschen baff

Wenn ich möchte dass eine Exception über ihren try..except -Block hinaus lebt gibt es zwei Routinen AcquireExceptionObject() und ReleaseExceptionObject().

Schaut man in den interface-Teil von System.pas:

Zitat:

{
When an exception is thrown, the exception object that is thrown is destroyed
automatically when the except clause which handles the exception is exited.
There are some cases in which an application may wish to acquire the thrown
object and keep it alive after the except clause is exited. For this purpose,
we have added the AcquireExceptionObject and ReleaseExceptionObject functions.
These functions maintain a reference count on the most current exception object,
allowing applications to legitimately obtain references. If the reference count
for an exception that is being thrown is positive when the except clause is exited,
then the thrown object is not destroyed by the RTL, but assumed to be in control
of the application. It is then the application's responsibility to destroy the
thrown object. If the reference count is zero, then the RTL will destroy the
thrown object when the except clause is exited.
}
function AcquireExceptionObject: Pointer;
procedure ReleaseExceptionObject;

Schaut man in den implementation-Teil dann gibt es ReleaseExceptionObject() zwei mal:

Delphi-Quellcode:

procedure ReleaseExceptionObject;
begin
end;

und

Delphi-Quellcode:

procedure ReleaseExceptionObject;
asm
{$IFDEF ALIGN_STACK}
        SUB     ESP, 12
{$ENDIF ALIGN_STACK}
        CALL    CurrentException
{$IFDEF ALIGN_STACK}
        ADD     ESP, 12
{$ENDIF ALIGN_STACK}
        OR      EAX, EAX
        JE      @@Error
        CMP     [EAX].TRaisedException.RefCount, 0
        JE      @@Error
        DEC     [EAX].TRaisedException.RefCount
        RET
@@Error:
{ This happens if there is no exception pending, or
  if the reference count on a pending exception is
  zero. }
        JMP   _Run0Error
end;

Aufgerufen wird natürlich ersteres. Heißt: Nichts passiert, die Exception verbleibt auf ewig im Speicher.

Kann mir jemand den Sinn dahinter erklären? wtf...

[himitsu]

Es gibt normal auch keine Referenzzählung (ARC), also was soll es da machen?
ReleaseExceptionObject ist doch eh nur dazu da, um das Exceptionobjekt vor dem except-end freigeben zu wollen. Gibt doch kaum Gründe, wozu man das unbedingt braucht.

[Der schöne Günther]

Da ich nicht riechen kann was intern im Programm abläuft, wie es Resourcen in einem try..except-Block verwaltet kann ich nur auf was vertrauen was in der Doku geschrieben steht und evtl. noch was im RTL-Quelltext für mich sichtbar ist.

Gründe eine Exception länger leben zu lassen kann ich haben, finde ich.

Und für mich sieht es momentan völlig falsch aus - Warum sollte man die Methode mit einem leeren Gegenstück doppeln? Ist das in neueren Delphi-Versionen immer noch so?

[himitsu]

Zitat von Der schöne Günther:

Gründe eine Exception länger leben zu lassen kann ich haben, finde ich.

Das schon und AcquireExceptionObject funktioniert ja auch (jedenfalls in meinen Programmen)
und wenn ReleaseExceptionObject nichts macht, dann lebt die Exception-Instanz halt noch ein kleines bissl länger, als gewollt. (bis zum END vom Except)

Zitat von Der schöne Günther:

Ist das in neueren Delphi-Versionen immer noch so?

Ach, an so altem Zeug ändert sich doch fast nie was. (wird immer nur Neues eingeaut und die alten Bugs behalten )

Jupp, ist noch so.

[Der schöne Günther]

Zitat von himitsu:

und wenn ReleaseExceptionObject nichts macht, dann lebt die Exception-Instanz halt noch ein kleines bissl länger, als gewollt. (bis zum END vom Except)

Nein, sie lebt bis zum Tag des Jüngsten Gerichts. Und der Tag kommt an dem Punkt an dem der Anwendung der Speicher ausgeht, deshalb ist es mir erst aufgefallen. Denn normalerweise vertraue ich bei einem mehrere tausend Euro teuren Produkt darauf dass zumindest die Basics funktionieren.

[himitsu]

Hier werden ständig so viele Exceptions ausgelöst,
wenn die nicht freigegeben würden (im END), dann würde bei uns doch auch ständig der Speicher ausgehn.

Aktuell noch Delphi XE, aber hier sieht der Code gleich aus.