<div dir="ltr">But why will the destructor get called if the array is not explicitly deleted?<div><br></div><div>Consider the following piece of code without the deleted definition.</div><div><br></div><div><div>#include<stdio.h></div>
<div><br></div><div>struct A</div><div>{</div><div> ~A() {</div><div> printf ("Inside destructor\n");</div><div> }</div><div>};</div><div><br></div><div><br></div><div>int main()</div><div>{</div><div> A* ap = new A[5];</div>
<div> delete []ap;</div><div>}</div></div><div><br></div><div>On executing this "Inside destructor" gets printed 5 times.</div><div><br></div><div>But if we remove the delete statement, nothing gets printed i.e the destructor is never run. </div>
<div><br></div><div>I did not get what you meant by saying "<span style="font-family:arial,sans-serif;font-size:13px">if A's ctor throws on one of the constructed objects in the array, the dtor for the previous array elements needs to be run</span>"? </div>
<div><br></div><div>Thanks,</div><div>Rahul</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Nov 13, 2013 at 11:49 PM, David Blaikie <span dir="ltr"><<a href="mailto:dblaikie@gmail.com" target="_blank">dblaikie@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote"><div><div class="h5">On Wed, Nov 13, 2013 at 10:10 AM, Rahul Jain <span dir="ltr"><<a href="mailto:1989.rahuljain@gmail.com" target="_blank">1989.rahuljain@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><div>Hi all,</div><div><br></div><div><div>clang version 3.4 (194264)</div><div>Target: i386-pc-linux-gnu</div>
<div>Thread model: posix</div></div><div><br></div><div>gcc version 4.8.1<br></div><div><br>
</div><div>This is with respect to the following test code:</div><div><br></div><div><div>struct A</div><div>{</div><div> ~A() = delete;</div><div>};</div><div><br></div><div><br></div><div>int main()</div><div>{</div><div>
A* ap = new A[5];</div><div>}</div></div><div><br></div><div>While g++ compiles it without any errors , clang throws an error:</div><div><br></div><div><div>test.cpp:9:11: error: attempt to use a deleted function</div>
<div>
A* ap = new A[5];</div><div> ^</div><div>test.cpp:3:3: note: function has been explicitly marked deleted here</div><div> ~A() = delete;</div><div> ^</div><div>1 error generated.</div></div><div><br></div><div>
My question is:</div><div><br></div><div>How does the destructor come into picture when we are not explicitly deleting the memory allocated? </div><div><br></div><div>The standard says: A program that refers to a deleted function implicitly or explicitly, other than to declare it, is ill-formed.</div>
<div><br>But I suppose the destructor never gets called in this case. So ideally this test case should compile without any errors. Please correct me if my understanding is incorrect.</div><div><br></div><div><br></div><div>
Interestingly the error is not thrown when I tweak the test case to allocate a single instance instead of an array. Something like this:</div><div><br></div><div><div>struct A</div><div>{</div><div> ~A() = delete;</div>
<div>
};</div><div><br></div><div><br></div><div>int main()</div><div>{</div><div> A* ap = new A;</div><div>}</div></div><div><br></div><div>This piece of code compiles fine with both g++ and clang++ as expected.</div><div><br>
</div><div>Is this a potential bug in clang or am I missing something obvious??</div></div></blockquote><div><br></div></div></div><div>I'd have to check wording to see the finer points, but certainly the issue you are hitting is that, if A's ctor throws on one of the constructed objects in the array, the dtor for the previous array elements needs to be run.<br>
<br>I'm not sure if the language requires that this check only occur for non-nothrow ctors or not.</div></div></div></div>
</blockquote></div><br></div>