Re: What makes a procedure call 'dispatching' in Ada?

[Markus Schoepflin <nospam@no.spam>]

Markus Schoepflin wrote:
> Dmitry A. Kazakov wrote:
> 
> [...]
> 
> Thanks for you swift and helpful reply.
> 
>> If P is to be defined in terms of any type from the class FOO, then P has
>> to be declared differently (class-wide):
> 
> So If I understand this correctly, if I want dispatching to happen on a 
> given type, I always need to use the class type?
> 

And one more question, can I have a dispatching procedure that doesn't 
explicitly use the type it dispatches on? In C++, that would read:

class foo
{
   virtual void f() = 0;
};

class bar
{
   void f() {
     // Do something just depending on class type bar,
     // not on an object of the class, so the 'this' pointer
     // actually is never used.
   }
};

Markus