Re: Access type to member procedure of instance (Object Oriented programming in Ada)

["Peter C. Chapin" <pcc482719@gmail.com>]

On 11/19/2012 01:23 PM, Adam Beneschan wrote:

>> class Example {
>> public:
>>     void f( int );
>> };
>>
>> // Declare p to be "pointer to member function of Example...
>> // Initialize p to point at Example::f.
>> void (Example::*p)( int ) = &Example::f;
>>
>> Example object;  // Create an object.
>> object.*p(42);   // Invoke member f indirectly on 'object'
>

> This doesn't look at all like what I'm talking about, since &Example::f still refers to a method defined for the class Example but without reference to a particular object.  Something equivalent would be if you could say &object.f (or maybe &object.*p) and store the result of that in a pointer that could be called later.

It's not exactly the same for sure but there are similarities. Here you 
can create the pointer without reference to any particular object but 
you need an actual object in order to use it.

It seems like what you're talking about would be a kind of partial 
evaluation since you'd have a pointer to a subprogram that has one of 
its parameters already specified but the others not. I'm not saying 
that's a bad thing, I'm just trying to understand the ramifications.

Peter