Re: When to use 'Class in a parameter list

["Ehud Lamm" <mslamm@mscc.huji.ac.il>]

Marin David Condic <marin.condic.auntie.spam@pacemicro.com> wrote in message
news:9ji1b3$4pi$1@nh.pace.co.uk...
> So unless I'm doing something strange that is causing some corner-case to
> come up, I'm now wondering why I would need Base_Type'Class as a parameter
> type? I was under the impression that I would use 'Class if I wanted to
make
> an operation that worked on anything derived from the class without
explicit
> conversion. (Possible to override it in a child class, AFAIK...)


You mean _impossible_ right?

Basically if you want overriding to be an option you use a primitive
operation. Notice that you have to think about the possible evolution of the
system, not about how things work the first time around.

The main question is not about the conversion, but whether calling the
routine requires run-time dispatching. (essentialy, the class-wide routine
doesn't need dispatching). The Rationale has a couple of tables that nicely
show the dispatching/non-dispatching semantics of the various parameter
lists.

It may be helpful to think of class-wide routines as a language incarnation
of the "template method" design pattern. They allow you to specify a general
alogirthm that may work differently on different derived types, by invoking
dispatching routines.
(Now, I must admit, this would work better with MI, but MI is evil...)

Ehud Lamm