This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
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:12:20 +0200
- Subject: Template parameter type inference algorithm
- Organization: Faculty of Computer Science, University of Wroclaw
Hello,
where can I found a description of the type inference
algorithm used by GCC to solve dependencies between
template parameters and to bind a template instance
to a template name with its actual parameters?
And the next question: which approach is used by GCC
to effectively find the best matching function (method,
operator etc.) to a given function application?
Could you please suggest me a paper available on the
Internet or a book which explains the above problems?
Best regards
Piotr Wyderski