scope and raising from constructor

[Denis Koroskin]

On Tue, 14 Oct 2008 11:51:27 +0400, Paolo Invernizzi  
<arathorn at fastwebnet.it> wrote:

> Hi all,
> I've posted this on D learn, just to know: is it a bug? If yes, I'll  
> post a ticket...
> If not, I don't understand the difference behaviour...
> Thanks, Paolo
>
> module tests.d.scopes.t02.test;
>
> class Resource {
>     static int allocated = 0;
>     this( bool mustThrow = false ){
>         allocated ++;
>         if( mustThrow ) throw new Exception("bang");
>     }
>     ~this(){
>         allocated --;
>     }
> }
> class Factory {
>     Resource resource(bool b=false){
>         return new Resource(b);
>     }
> }
>
> import std.gc, std.stdio;
> void main(){
>     // In this case everything it's ok
>     {
>         try {
>             scope r1 = new Resource(true);
>             assert( false );
>         }
>         catch(Exception e){}
>         assert( Resource.allocated == 1);
>         std.gc.fullCollect();
>         assert( Resource.allocated == 1 );
>     }
>    Resource.allocated = 0;
>    // In this case the destructor IS called, only on collect...
>     {
>         auto f = new Factory();
>         try {
>             scope r1 = f.resource(true);
>             assert( false );
>         }
>         catch(Exception e){}
>         assert( Resource.allocated == 1);
>         std.gc.fullCollect();
>         assert( Resource.allocated == 0 ); // Dho! Destructor called!
>     }
> }

I think there is no need to post it twice across different newsgroups,  
most of the people monitor all or none of them.