digitalmars.D.bugs - [Issue 2834] New: Struct Destructors are not called by the GC, but called on explicit delete.
- d-bugmail puremagic.com (24/24) Apr 14 2009 http://d.puremagic.com/issues/show_bug.cgi?id=2834
- d-bugmail puremagic.com (10/10) Jul 09 2010 http://d.puremagic.com/issues/show_bug.cgi?id=2834
- d-bugmail puremagic.com (17/17) Jul 09 2010 http://d.puremagic.com/issues/show_bug.cgi?id=2834
- d-bugmail puremagic.com (10/10) Jul 10 2010 http://d.puremagic.com/issues/show_bug.cgi?id=2834
- d-bugmail puremagic.com (12/12) Jul 10 2010 http://d.puremagic.com/issues/show_bug.cgi?id=2834
- d-bugmail puremagic.com (9/9) Jul 10 2010 http://d.puremagic.com/issues/show_bug.cgi?id=2834
- d-bugmail puremagic.com (11/11) Jul 11 2010 http://d.puremagic.com/issues/show_bug.cgi?id=2834
- d-bugmail puremagic.com (23/23) Jul 11 2010 http://d.puremagic.com/issues/show_bug.cgi?id=2834
- d-bugmail puremagic.com (26/26) Nov 18 2010 http://d.puremagic.com/issues/show_bug.cgi?id=2834
- Sean Kelly (11/52) Nov 21 2010 I think this is unavoidable. Consider:
- Max Samukha (3/55) Nov 22 2010 I agree that correct automatic struct destruction is impossible without
- d-bugmail puremagic.com (8/10) Nov 18 2010 http://d.puremagic.com/issues/show_bug.cgi?id=2834
http://d.puremagic.com/issues/show_bug.cgi?id=2834 Summary: Struct Destructors are not called by the GC, but called on explicit delete. Product: D Version: 2.027 Platform: PC OS/Version: Windows Status: NEW Keywords: spec Severity: minor Priority: P3 Component: DMD AssignedTo: bugzilla digitalmars.com ReportedBy: sandford jhu.edu According to the spec: [Struct] "Destructors are called when an object goes out of scope. Their purpose is to free up resources owned by the struct object." And while the heap is always 'in scope', it does delete structs which arguably places them out of scope. Note that an explicit call to delete will run the destructor. At a minimum, the spec should be updated to clearly reflect this limitation. Since memory leaks, open files, etc will probably occur when a struct with a postblit is manually allocated directly on the heap, instead of on the stack or as part of an object, this issue might warrant a compiler warning/error (i.e. an explicit cast is required). --
Apr 14 2009
http://d.puremagic.com/issues/show_bug.cgi?id=2834 Rob Jacques <sandford jhu.edu> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |andrei metalanguage.com *** Issue 4442 has been marked as a duplicate of this issue. *** -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jul 09 2010
http://d.puremagic.com/issues/show_bug.cgi?id=2834 From Issue 4442: Example brought up by Sean Kelly in private correspondence: struct S1{ ~this() { writeln("dtor"); } } void main() { auto a = S1(); auto b = new S1(); delete b; auto c = new S1(); c = null; GC.collect(); } "dtor" is only printed twice. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jul 09 2010
http://d.puremagic.com/issues/show_bug.cgi?id=2834 nfxjfg gmail.com changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |nfxjfg gmail.com Gc finalization is not deterministic. You can't expect it to be called. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jul 10 2010
http://d.puremagic.com/issues/show_bug.cgi?id=2834 Sean Kelly <sean invisibleduck.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |sean invisibleduck.org --- What about structs whose memory are freed by the GC? Would you expect their dtors to be called? They aren't. Try allocating ten million structs in a loop, not one "dtor" line will print. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jul 10 2010
http://d.puremagic.com/issues/show_bug.cgi?id=2834 --- Fixing this will probably be fairly involved. The GC will have to store a TypeInfo reference for each block that needs to be finalized. The best approach may be to integrate this with precise scanning, since that requires detailed type info too. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jul 10 2010
http://d.puremagic.com/issues/show_bug.cgi?id=2834 bearophile_hugs eml.cc changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bearophile_hugs eml.cc For the moment the compiler can show a warning when the code allocates on the heap a struct that has a destructor. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jul 11 2010
http://d.puremagic.com/issues/show_bug.cgi?id=2834 One case where struct destructors are not called, in this situation it seems simpler for the GC to know what destructors to call: import core.memory: GC; import core.stdc.stdio: printf; struct Foo { int x; this(int xx) { this.x = xx; } ~this() { printf("Foo dtor x: %d\n", x); } } void main() { Foo[] a; a.length = 2; a[0].x = 1; a[1].x = 2; // delete a; } (I am not sure, but a type information can be useful in arrays, maybe to fix bug 2095 too.) -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jul 11 2010
http://d.puremagic.com/issues/show_bug.cgi?id=2834 Max Samukha <samukha voliacable.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |samukha voliacable.com PST --- So what is the verdict? Should we simply specify that struct destructors are not automatically called except in RAII and remove the struct-in-class special case? BTW, there are other problems (serious IMO): auto ss = new S[10]; ss.length = 5; delete ss; Destructors are not called on the last 5 elements. ---- auto ss = new S[10]; ss ~= ss; delete ss; We have a nasty problem when destructors are called on the appended elements because postblits was not run for them during append. etc Essentially, operations on arrays of structs with postblits/dtors defined are currently unusable. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 18 2010
<d-bugmail puremagic.com> wrote:http://d.puremagic.com/issues/show_bug.cgi?id=2834 Max Samukha <samukha voliacable.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |samukha voliacable.com 03:39:17 PST --- So what is the verdict? Should we simply specify that struct destructors are not automatically called except in RAII and remove the struct-in-class special case? BTW, there are other problems (serious IMO): auto ss = new S[10]; ss.length = 5; delete ss; Destructors are not called on the last 5 elements. ---- auto ss = new S[10]; ss ~= ss; delete ss; We have a nasty problem when destructors are called on the appended elements because postblits was not run for them during append. etc Essentially, operations on arrays of structs with postblits/dtors defined are currently unusable.I think this is unavoidable. Consider: auto a = new T[5]; auto b = a[4..5]; a.length = 4; We can't safely destroy a[4] because it's aliased. Also, since there's no concept of an owner reference vs an alias, modifying the length of b could screw up a as well. For this and other reasons I'm inclined to withdraw this issue, and declare that since structs are value types they won't be automatically destroyed when collected by the GC or when held in arrays.
Nov 21 2010
On 11/21/2010 08:20 PM, Sean Kelly wrote:<d-bugmail puremagic.com> wrote:I agree that correct automatic struct destruction is impossible without significant changes to arrays/slices/GC.http://d.puremagic.com/issues/show_bug.cgi?id=2834 Max Samukha<samukha voliacable.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |samukha voliacable.com 03:39:17 PST --- So what is the verdict? Should we simply specify that struct destructors are not automatically called except in RAII and remove the struct-in-class special case? BTW, there are other problems (serious IMO): auto ss = new S[10]; ss.length = 5; delete ss; Destructors are not called on the last 5 elements. ---- auto ss = new S[10]; ss ~= ss; delete ss; We have a nasty problem when destructors are called on the appended elements because postblits was not run for them during append. etc Essentially, operations on arrays of structs with postblits/dtors defined are currently unusable.I think this is unavoidable. Consider: auto a = new T[5]; auto b = a[4..5]; a.length = 4; We can't safely destroy a[4] because it's aliased. Also, since there's no concept of an owner reference vs an alias, modifying the length of b could screw up a as well. For this and other reasons I'm inclined to withdraw this issue, and declare that since structs are value types they won't be automatically destroyed when collected by the GC or when held in arrays.
Nov 22 2010
http://d.puremagic.com/issues/show_bug.cgi?id=2834 PST ---We have a nasty problem when destructors are called on the appended elements because postblits was not run for them during append.I meant the problem is the destructors called on objects that have not been postblitted. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 18 2010