This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Template parameter type inference algorithm
- From: "Piotr Wyderski" <piotr dot wyderski at wp dot pl>
- To: <gcc at gcc dot gnu dot org>
- Date: Mon, 19 Jul 2004 12:52:07 +0200
- Subject: Re: Template parameter type inference algorithm
- Organization: Faculty of Computer Science, University of Wroclaw
- References: <NUTMEGyg35sQtgTIFpr00000922@NUTMEG.CAM.ARTIMI.COM>
Dave Korn wrote:
> I Am Not A Language Lawyer, but IIUIC all the procedures for resolving
> names and overloading are clearly specified in the C++ language spec, and
> the compiler implements the standards-mandated algorithms.
The specification defines only the inference rules. Their
effective implementation (i.e. the thing I'd like to know)
is a separate problem. :-)
Best regards
Piotr Wyderski