Re: When to use 'Class in a parameter list

[dmitry@elros.cbb-automation.de (Dmitry A. Kazakov)]

On Tue, 24 Jul 2001 08:49:36 -0400, "Marin David Condic"
<marin.condic.auntie.spam@pacemicro.com> wrote:

>O.K. So if I make it a 'Class, it does not require runtime dispatching? The
>compiler knows from the type that it can simply degenerate to the specific
>operation, rather than jump to a dispatch table?

No there is no specific operation. A class-wide operation works for
all derived types.

>Now you've got me thinking it should dispatch. Does it or does it not?

Never. A class-wide actual is passed as-is.

>I sort of conceptualized the 'Class operations (based on examples from a
>couple of books - which I badly need to re-read apparently! :-) as "This
>procedure should work on anything derived from this class because it only
>operates on the base-level components and generally should not be something
>that is overriden". Whereas, the operations on some base type without the
>'Class operation seemed to be saying to me "O.K. This operation works on the
>base type, but you will probably be overriding it to provide additional
>capabilities when you derive a child type." Perhaps my conception of this is
>inaccurate...
>
>Maybe you can help me get my brain straightened out about this. I vaguely
>remember understanding this a couple of years ago when I was last fooling
>with it, but not having used it recently or enough, it is confusing me
>again.

I consider class-wide operations as a substitution for generic
routines parametrized by a type. The possible values of the generic
parameter are restricted to the class (the set of derived types). The
goal is same as for generics: to write code that works for some set of
types. Advantages are: no instantiation required, a class-wide
operation can be put into a library etc.

Regards,
Dmitry Kazakov