IDisposable, 관리되지 않는 필드, 참조 형식 및 할당

Question

IDisposable을 구현하는 클래스의 인스턴스가 두 개있는 경우 첫 번째 클래스의 관리되지 않는 필드에 두 번째 인스턴스가 할당되면 어떻게됩니까?

예를 들어, 다음과 같은 간단한 클래스를 고려하십시오

public unsafe class Image : IDisposable 
{ 
    private float* pixelsBase; 

    private GCHandle pixelsHandle; 

    public Image(int width, int height) 
    { 
     this.Width = width; 
     this.Height = height; 

     // Assign the pointer and pixels. 
     this.Pixels = new float[width * height * 4]; 
     this.pixelsHandle = GCHandle.Alloc(this.Pixels, GCHandleType.Pinned); 
     this.pixelsBase = (float*)this.pixelsHandle.AddrOfPinnedObject().ToPointer(); 
    } 

    public float[] Pixels {get; private set;} 

    ~ImageBase() 
    { 
     this.Dispose(false); 
    } 

    public void Dispose() 
    { 
     this.Dispose(true); 
     GC.SuppressFinalize(this); 
    } 

    protected virtual void Dispose(bool disposing) 
    { 

     if (disposing) 
     { 
      // Dispose of any managed resources here. 
     } 

     if (this.pixelsHandle.IsAllocated) 
     { 
      this.pixelsHandle.Free(); 
      this.pixelsBase = null; 
     } 
    } 
} 

다른 하나에 할당 된 Image 클래스의 인스턴스에 pixelsBase 필드에 어떤 일이 일어날 것이라고? 당신이 결코를 호출하지하고 있기 때문에

예컨대

var firstImage = new Image(100, 200); 
var secondImage; new Image(300, 300); 

firstImage = secondImage; 

Answer 1

IDisposable, 당신의 질문과는 아무 상관이 없습니다. 중요한 것은 파이널 라이저입니다. IDisposable과 파이널 라이저가 관련되어 있지만 런타임은 IDisposable을 전혀 신경 쓰지 않습니다.

그래서 파이널 라이저를 사용하면 어떻게됩니까? 객체가 더 이상 참조되지 않으면 finalizer는 finalizer 큐에 놓이고, 어떤 프로세스가 종료되지 않는 한 잠시 후에 실행됩니다. 귀하의 경우에는 GCHandle가 릴리스되고 Pixels 바이트 배열도 수집 할 수 있습니다.

C#으로 C++을 작성하거나 C++로 C#을 이해하지 마십시오. 그것들은 비슷해 보이지만, 특히 메모리 관리 측면에서 매우 다릅니다. C# finalizers는 C++ 소멸자와 거의 공통점이 없습니다.

관리 객체를 오래 고정하지 않으려면 힙 압축이 제대로 작동하지 않아야합니다. 즉, Pixels 어레이가 LOH에 있지 않으면 메모리가 확보되지 않습니다. 컬렉션이 생성 될 때 회수 된 모든 고정 된 핸들 (고지 사항 : 이것은 현재 MS.NET 런타임의 구현 세부 사항이며 계약 상 .NET에서는 에도 가비지 수집기가 전혀 필요하지 않으며 finalizers는 보장되지 않습니다. 이제까지 달린다, 매우 더 적은 끝).

배열에 관리되지 않는 메모리를 할당하는 것이 이미 포인터를 처리하고있는 경우 더 좋은 방법 일 수 있습니다. 백업 저장소에 관리되는 배열을 실제로 사용하려면 관리되지 않는 포인터가 필요한 범위에서 fixed을 사용하면 전체 개체를 수명 기간 동안 고정 된 상태로 유지하는 것보다 나은 영역이 될 수 있습니다. 실제로 적어도 개체의 메모리를 해제하는 두 개의 컬렉션이 필요합니다. 처음에는 GCHandle.Free을 호출하고 두 번째는 실제로 더 이상 고정 된 메모리를 회수하지 않습니다. Dispose을 수동으로 호출하는 경우에도 컬렉션이 실제로 메모리를 회수 할 때까지 기다려야합니다.