🚀 go-pugleaf

> ==========Somebody said, 11/20/95==========
 
 
> What is meant by the SAME TYPE in the piece of the Draft
quoted ?  Would
> the following code be legal:
> 
> -- start here --
 
  #include <iostream.h>
  #include <defalloc.h>
  
   struct Base
   {
       int i;
       Base (int val) : i(val) {};
       Base () : i(i) {};
       virtual ~Base () {};
       virtual void f () { cout << "Base" << endl; };
   };
   
   struct D2;
   
   struct D1 : public Base
   {
       D1 (int val) : Base(val) {};
        D1 () : Base () {};
       virtual ~D1 () {};
       virtual void f ();
   };
   
   struct D2 : public Base
   {
       D2 (int val) : Base(val) {};
        D2 () : Base () {};
       virtual ~D2 () {};
       virtual void f ();
   };
   
   void D1::f () { cout << "D1" << endl; new (this) D2 (); }
   void D2::f () { cout << "D2" << endl; new (this) D1 (); }
   
   int main (void)
   {
       D1 d1 (7);
       Base *pb = &d1;
       for (int i = 0; i < 5; i++)
           pb->f();
        return 0;
   }
   
> -- end here --
> 
> The output on g++ is 'D1 D2 D1 D2 D1'. The type as seen by the loop
> in main does not change, the layout of the types D1 and D2 are the
> same, they have the same parents and the same function. Why would it
> be illegal in this case ?  I do not ask this for purely theoretical
> reason: I do use this (in a somewhat more involved ways) in a design
> of networked pointers.

Wow.  This code raises several questions.  As coded,
the "object" goes through several ctors as it changes
"personality" without ever a dtor called. Is that legal?
Is that reasonable?  That seems to make this a different
problem as you overwrite a living instance through which
the function being executed was called instead of
first destroying it and then creating a new one over
the ashes of the old (or am I confusing two threads).
Is there any requirement that the actual underlying
images be the same size? Can't the compiler could have
other info hidden in the image that could even affect
the offset of this in the memory block used and still
be a conforming compiler?  Couldn't that info even be
stuff that could go insane if you did this (list linkage
for various debugging support)?

Good Day
Dick
Dick.Menninger@DaytonOH.ATTGIS.COM
---
[ comp.std.c++ is moderated.  Submission address: std-c++@ncar.ucar.edu.
  Contact address: std-c++-request@ncar.ucar.edu.  The moderation policy
  is summarized in http://dogbert.lbl.gov/~matt/std-c++/policy.html. ]