This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Test case
On Jul 26, 1999, "Martin v. Loewis" <martin@mira.isdn.cs.tu-berlin.de> wrote:
> Now, we check whether it has one of the forms in 14.8.2.4/9: It could
> be 'type C::*', with C=Null, if we can further deduce 'T' from
> 'int()'. However, we cannot deduce template arguments from function
> types (according to this list).
We don't have to go *into* the function type; just binding T to int()
is enough, just like in the following program, that has compiled
forever:
t.cc
> P.S. How do you write a conversion-operator for a
> pointer-to-member-function type, without a typedef?
> operator (int C::*())()
> have not been very successfull.
You don't: a conversion-type-id doesn't accept abstract declarators.
--
Alexandre Oliva http://www.dcc.unicamp.br/~oliva IC-Unicamp, Bra[sz]il
oliva@{dcc.unicamp.br,guarana.{org,com}} aoliva@{acm.org,computer.org}
oliva@{gnu.org,kaffe.org,{egcs,sourceware}.cygnus.com,samba.org}
** I may forward mail about projects to mailing lists; please use them