[Bug c++/5458] address of overloaded template function as argument for template

[jason at gcc dot gnu dot org]

------- Comment #14 from jason at gcc dot gnu dot org  2009-11-25 02:55 -------
I'm not sure the standard actually says that this is well-formed, though it
seems reasonable to me.

13.4/2: If the name is a function template, template argument deduction is done
(14.9.2.2), and if the argument deduction succeeds, the resulting template
argument list is used to generate a single function template specialization,
which is added to the set of overloaded functions considered.

14.9.2.2: The function templateÂ’s function type and the specified type are used
as the types of P and A, and the deduction is done as described in 14.9.2.5.

It's not entirely clear that there is a "specified type" for this kind of
two-way deduction.  EDG also rejects this.


-- 

jason at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5458