204

For example:

public class Person
{
    public Person()
    {
    }

    ~Person()
    {
    }
}

When should I manually create a destructor? When have you needed to create a destructor?

4

8 Answers 8

265

UPDATE: This question was the subject of my blog in May of 2015. Thanks for the great question! See the blog for a long list of falsehoods that people commonly believe about finalization.

When should I manually create a destructor?

Almost never.

Typically one only creates a destructor when your class is holding on to some expensive unmanaged resource that must be cleaned up when the object goes away. It is better to use the disposable pattern to ensure that the resource is cleaned up. A destructor is then essentially an assurance that if the consumer of your object forgets to dispose it, the resource still gets cleaned up eventually. (Maybe.)

If you make a destructor be extremely careful and understand how the garbage collector works. Destructors are really weird:

  • They don't run on your thread; they run on their own thread. Don't cause deadlocks!
  • An unhandled exception thrown from a destructor is bad news. It's on its own thread; who is going to catch it?
  • A destructor may be called on an object after the constructor starts but before the constructor finishes. A properly written destructor will not rely on invariants established in the constructor.
  • A destructor can "resurrect" an object, making a dead object alive again. That's really weird. Don't do it.
  • A destructor might never run; you can't rely on the object ever being scheduled for finalization. It probably will be, but that's not a guarantee.

Almost nothing that is normally true is true in a destructor. Be really, really careful. Writing a correct destructor is very difficult.

When have you needed to create a destructor?

When testing the part of the compiler that handles destructors. I've never needed to do so in production code. I seldom write objects that manipulate unmanaged resources.

8
  • 14
    @configurator: Nope. Suppose the third field initializer of an object with a finalizer called a static method which caused an exception to be thrown. When would the fourth field initializer run? Never. But the object is still allocated and must be finalized. Heck, you don't even have a guarantee that fields of type double were fully initialized when the dtor runs. There could have been a thread abort halfway through writing the double and now the finalizer has to deal with a half-initialized half-zero double. Mar 31, 2011 at 14:11
  • 1
    Excellent post, but should have said "should be created when your class is holding onto some expensive unmanaged object or causes large numbers of unmanaged objects to exist" - For a concrete example, I have a matrix class in C# that utilizes an underlying native C++ matrix class to do a lot of heavy lifting - I make a lot of matrices - a "destructor" is far superior to IDisposable in this specific case, because it keeps the managed and unmanaged sides of the house in better sync Feb 12, 2012 at 18:06
  • 1
    pythonnet uses destructor to release GIL in unmanaged CPython
    – den.run.ai
    Aug 26, 2015 at 19:52
  • 3
    Awesome article Eric. Props for this --> "Extra bonus fun: the runtime uses less aggressive code generation and less aggressive garbage collection when running the program in the debugger, because it is a bad debugging experience to have objects that you are debugging suddenly disappear even though the variable referring to the object is in scope. That means that if you have a bug where an object is being finalized too early, you probably cannot reproduce that bug in the debugger!"
    – Ken Palmer
    Aug 11, 2016 at 18:10
  • 1
    @KenPalmer Yes the behaviour described in that paragraph hit me hard. Have been looking for the source of an AccessViolationException for ages now. Of course it occured only in the Release build. And of course it occoured some place else (Namely in the Read method of an UnmanagedMemoryStream) And of course I had forgotten the Article about how dangerous Finalizers are. Finally someone in the office suggested to put some kind of output into the Finalizer of every unmanaged object to track their existence. Needless to say, some of them got destroyed "early".
    – MrPaulch
    Oct 7, 2016 at 15:28
17

It's called a "finalizer", and you should usually only create one for a class whose state (i.e.: fields) include unmanaged resources (i.e.: pointers to handles retrieved via p/invoke calls). However, in .NET 2.0 and later, there's actually a better way to deal with clean-up of unmanaged resources: SafeHandle. Given this, you should pretty much never need to write a finalizer again.

2
  • 27
    @ThomasEding - Yes it is. C# uses destructor syntax, but it's actually creating a finalizer. Again.
    – JDB
    Nov 13, 2012 at 22:04
  • @JDB: The linguistic construct is called a destructor. I dislike the name, but that's what it's called. The act of declaring a destructor causes the compiler to generate a finalizer method which contains a little bit of wrapper code along with whatever appears in the body of the destructor.
    – supercat
    Apr 16, 2019 at 18:28
8

You don't need one unless your class maintains unmanaged resources like Windows file handles.

6
  • 5
    Well, actually, it's called a destructor Feb 4, 2011 at 14:01
  • 2
    Now I'm confused. Is it finalizer or destructor?
    – delete
    Feb 4, 2011 at 14:01
  • 4
    The C# spec does in fact call it a destructor. Some see this as a mistake. stackoverflow.com/questions/1872700/…
    – Ani
    Feb 4, 2011 at 14:03
  • 2
    @ThomasEding - Yes it is. C# uses destructor syntax, but it's actually creating a finalizer.
    – JDB
    Nov 13, 2012 at 22:07
  • 2
    I love the comments here, real panto :)
    – Benjol
    Dec 3, 2015 at 7:07
4

It's called a destructor/finalizer, and is usually created when implementing the Disposed pattern.

It's a fallback solution when the user of your class forgets to call Dispose, to make sure that (eventually) your resources gets released, but you do not have any guarantee as to when the destructor is called.

In this Stack Overflow question, the accepted answer correctly shows how to implement the dispose pattern. This is only needed if your class contain any unhandeled resources that the garbage collector does not manage to clean up itself.

A good practice is to not implement a finalizer without also giving the user of the class the possibility to manually Disposing the object to free the resources right away.

4
  • Actually it is NOT called a destructor in C# with good reason.
    – TomTom
    Feb 4, 2011 at 14:00
  • 16
    Actually it is. Thanks for giving me a downvote because you are mistaken. See the MSDN library regarding this specific issue: msdn.microsoft.com/en-us/library/66x5fx1b.aspx Feb 4, 2011 at 14:03
  • 1
    @TomTom it's official name is destructor Feb 4, 2011 at 14:06
  • Its actually not a fallback method, it simply allows the GC to manage when your objects free unmanaged resources, implementing IDisposable allows you to manage that yourself.
    – HasaniH
    Feb 4, 2011 at 14:12
4

I have used a destructor (for debug purposes only) to see if an object was being purged from memory in the scope of a WPF application. I was unsure if garbage collection was truly purging the object from memory, and this was a good way to verify.

1
  • I do the same in WPF apps and not only. If a destructor is never called on a class that you know it is not used anymore, then you have to investigate more why this object is not garbage collected. If the breakpoint hits the destructor, then everything should be fine, otherwise you have a memory leak. Oct 15, 2020 at 11:53
3

When you have unmanaged resources and you need to make sure they will be cleaned up when your object goes away. Good example would be COM objects or File Handlers.

1

Destructors provide an implicit way of freeing unmanaged resources encapsulated in your class, they get called when the GC gets around to it and they implicitly call the Finalize method of the base class. If you're using a lot of unmanaged resources it is better to provide an explicit way of freeing those resources via the IDisposable interface. See the C# programming guide: http://msdn.microsoft.com/en-us/library/66x5fx1b.aspx

-1

Answer: When you have to release unmanaged resources, like file handles, database connections, etc.

// Example
public class Person
{
    private FileStream _fileStream;

    public Person()
    {
        _fileStream = new FileStream("test.txt", FileMode.Open);
    }

    ~Person()
    {
        _fileStream.Close();
    }
}

Explanation: The destructor is called when the object is garbage collected. It is not called when the object is destroyed by the programmer. It is called when the object is no longer referenced by any other object. It is called when the object is no longer in scope. It is called when the object is no longer in memory.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.