Re: c++/10649: is_pointer<T> reports pointer to member function is not a pointer

[Gabriel Dos Reis <gdr@integrable-solutions.net>]

The following reply was made to PR c++/10649; it has been noted by GNATS.

From: Gabriel Dos Reis <gdr@integrable-solutions.net>
To: notbob@tessellation.com
Cc: giovannibajo@libero.it, gcc-bugs@gcc.gnu.org, gcc-gnats@gcc.gnu.org
Subject: Re: c++/10649: is_pointer<T> reports pointer to member function is not a pointer
Date: 08 May 2003 16:11:57 +0200

 Robert Schwartz <robertallanschwartz@yahoo.com> writes:
 
 | --- giovannibajo@libero.it wrote:
 | > Synopsis: is_pointer<T> reports pointer to member function is not a pointer
 | > 
 | > State-Changed-From-To: open->closed
 | > State-Changed-By: bajo
 | > State-Changed-When: Wed May  7 00:40:10 2003
 | > State-Changed-Why:
 | >     No, a member function pointer cannot match "T*". What would
 | >     be T, in fact?
 | 
 | is_pointer<int foo::*>::value (i.e. pointer to member variable) evaluates to true.
 | If I remove the * from "int foo::*", then I get "int foo::".
 | I know this isn't a valid C++ type, but a pointer to a member
 | variable is still a pointer, no? 
 
 In which sense?  A pointer to member is a different kind of beast.  It
 is much more close to a struct than to a usual pointer.
 
 -- Gaby