はいつTInterfacedObject.DestroyがTInterfacedObjectは、派生クラスのインスタンスが破棄されたとき、私は思ったんだけど、誰がデストラクタを呼び出す（ScopedLockクラス）

Question

と呼ばれています。私は、インスタンスがスコープの外に出たときに自動的に同期オブジェクトのリリース メソッドを呼び出す必要がありScopedLockクラスを、書きました。これは、C++から知られているRAIIの概念ですが、ロックインスタンスがスコープ外に出たときにデストラクタが呼び出されることが保証されているかどうかはわかりません。

ILock = interface 
end; 

ScopedLock<T: TSynchroObject> = class(TInterfacedObject, ILock) 
strict private 
    sync_ : T; 
public 
    constructor Create(synchro : T); reintroduce; 
    destructor Destroy;override; 
end; 

implementation 
{ ScopedLock<T> } 

constructor ScopedLock<T>.Create(synchro: T); 
begin 
    inherited Create;; 
    sync_ := synchro; 
    sync_.Acquire; 
end; 

destructor ScopedLock<T>.Destroy; 
begin 
    sync_.Release; 
    inherited; 
end; 

{ Example } 
function Example.Foo: Integer; 
var 
    lock : ILock; 
begin 
    lock := ScopedLock<TCriticalSection>.Create(mySync); 
    // ... 
end; // mySync released ? 

単純なテストケースでは問題なく動作しますが、安全ですか？

Answer 1

はい、それは保存しています。あなたのコード

function Example.Foo: Integer; 
var 
    lock : ILock; 
begin 
    lock := ScopedLock<TCriticalSection>.Create(mySync); 
    // ... 
end; 

あなたはロックVARがスコープの外に出たときにその参照カウントがデクリメントされていることを確認することができ、以下の疑似コード

function Example.Foo: Integer; 
var 
    lock : ILock; 
begin 
    lock := ScopedLock<TCriticalSection>.Create(mySync); 
    lock._AddRef; // ref count = 1 
    try 
// .. 
    finally 
    lock._Release; // ref count = 0, free lock object 
    end; 

としてコンパイルされ、ゼロとなり、ロックオブジェクトが自動的に破棄されます。

Answer 2

関数がインライン展開されている場合にのみ問題がある：ILOCKの参照を含むローカル変数は、インライン関数を呼び出す関数のスコープに昇格されます。ロックがあなたが望むよりも長く生きるかもしれません。

一方、（オブジェクト参照ではなく）インタフェース参照を返す関数（たとえばCreateというクラス関数）を記述すると、実際にインタフェース参照を保持する変数を宣言する必要はありません。コンパイラーは、戻り値を受け取るために非表示のローカルを作成します（結果変数を渡すことによって、インターフェースやストリングのような管理されたタイプはすべて実際に戻されます）。この非表示のローカルは、明示的なローカルと同様に動作します。

私はここでそれについての詳細を書いた：http://blog.barrkel.com/2010/01/one-liner-raii-in-delphi.html

Answer 3

を、私はあなたが支持するアプローチは、正しいながら、古き良きのtry /最後よりも実際に優れていることがわかりません。あなたは明確かつ明示的な解決法を採用し、それを不明瞭で不透明なものに置き換えました。

実際の作業Delphiのコードは、try /最後のいっぱいあるので、それは自然なイディオムでなければなりません。私は文章の欠点を見ることができません：

mySync.Acquire; 
Try 
    //do stuff 
Finally 
    mySync.Release; 
End;