Using goto in c++ code

[JVene]

What occurs to me is that it seems obvious, without any further explication on the matter, that releasing memory does not happen unless an allocation is performed.

This is C++, right?

Here's another approach plan

int SomeFunction(int parameter)
{
 if ( Initiate() )
     {   
       foo1();
       shared_ptr<t> p( AllocateMemory() );
        
       if ( p )
          {
           foo2();

           if ( RunAnalysis() ) 
               {
                foo3();
                return true;
               }
          } 

     }

 return false;
}

Or if your coding standard is strict regarding only one return place

int SomeFunction(int parameter)
{
 bool rval = false;
 
 if ( Initiate() )
     {   
       foo1();
       shared_ptr<t> p( AllocateMemory() );
        
       if ( p )
          {
           foo2();

           if ( RunAnalysis() ) 
               {
                foo3();
                rval = true;
               }
          } 

     }

 return rval;
}

And it seems reasonable that 3 indentations is at or approaching that "enough" limit, plus the rest may likely be better inside type t:

int SomeFunction(int parameter)
{
 if ( Initiate() )
     {   
       foo1();
       shared_ptr<t> p( AllocateMemory() );
        
       if ( p )
          {
            return p->Process( parameter );
          } 

     }

 return false;
}




bool t::Processing( int parameter )
{
 bool rval = false;
   
 foo2();

 if ( RunAnalysis() ) 
     {
       foo3();
       rval = true;
     }

 return rval;
}

In this latter case, foo2 and foo3 may well be part of class t, as they are only performed if things are going well, appear 'part of' what's happening with regard to t, at least after initializations occurred.


Now riddle me this:

What happens to allocated memory in the context of exceptions thrown by foo3, foo2 or RunAnalysis in the "goto" versions above?

And, what are your options about that?

..think about it...