Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!wuarchive!uunet!taumet!steve
From: steve@taumet.com (Stephen Clamage)
Newsgroups: comp.lang.c++
Subject: Re: Co-ordinating the polymorphism in C++
Message-ID: <600@taumet.com>
Date: 11 Feb 91 17:04:20 GMT
References: <1991Feb11.003849.27340@gpu.utcs.utoronto.ca>
Organization: Taumetric Corporation, San Diego
Lines: 19

craig@gpu.utcs.utoronto.ca (Craig Hubley) writes:

|Now that C++ has three polymorphism mechanisms
|	- overloading		(compile-time)
|	- templates		(link-time)
|	- virtual functions	(run-time)

|Is anyone thinking about how to reconcile them ?  As it stands now, I can
|use overloading to add extra arguments to functions, etc., but I can't do
|it in my derived classes because virtuals can't be overloaded, etc.

Overloading need have no relation to polymorphism.
Templates and polymorphism are orthogonal concepts.
Virtual function may be overloaded.

That would seem to "reconcile" the features quite nicely.
-- 

Steve Clamage, TauMetric Corp, steve@taumet.com