TInterfacedObject.Destroy (ScopedLock 클래스)가 호출 된시기

Question

TInterfacedObject 파생 클래스의 인스턴스가 소멸되고 누가 소멸자를 호출하는지 궁금합니다. ScopedLock 클래스를 작성했습니다. 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

. 명확하고 명확한 솔루션을 선택하여 애매하고 불투명 한 솔루션으로 대체했습니다.

실제 작업 Delphi 코드는 Try/Finally로 가득하므로 자연스러운 관용구 여야합니다. 나는 글의 단점을 볼 수 없다 :

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