This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

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

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]