Re: Is it legal code?

I think this proves the same point using standard C++ code:

#include <iostream>
class Animal{public:
virtual void eat(){std::cout<< "Animal Eating"<< std::endl;}
virtual int getID()=0;
static int count;
};
class Dog: public Animal{
public:
void eat(){std::cout<< "Dog Eating"<< std::endl;}
int getID(){return 1;}
};
class Cat: public Animal{
public:
void eat(){std::cout<< "Cat Eating"<< std::endl;}
int getID(){return 0;}
};
int Animal::count =10;

Dog* overwriteCat(Animal* ptr){
 delete ptr;
 Dog* p = reinterpret_cast<Dog*>(ptr);
 p = new Dog;
 return p;
}

Cat* overwriteDog(Animal* ptr){
 delete ptr;
 Cat* p = reinterpret_cast<Cat*>(ptr);
 p = new Cat;
 return p;
}

void ordinary_function(Animal* obj){
 Animal::count--;
 std::cout<<"Address of obj: " <<obj << " ";
 obj->eat();
 if(obj->getID()){overwriteDog(obj);}
 else {overwriteCat(obj);}
 if(Animal::count){
  ordinary_function(obj);
 }
}

int main()
{
 Cat* p_cat = new Cat;
 Animal* p_anim = p_cat;

 ordinary_function(p_cat);
}