From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 16381 invoked by alias); 8 May 2003 14:16:00 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 16361 invoked by uid 71); 8 May 2003 14:16:00 -0000 Date: Thu, 08 May 2003 14:16:00 -0000 Message-ID: <20030508141600.16360.qmail@sources.redhat.com> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: Gabriel Dos Reis Subject: Re: c++/10649: is_pointer reports pointer to member function is not a pointer Reply-To: Gabriel Dos Reis X-SW-Source: 2003-05/txt/msg00613.txt.bz2 List-Id: The following reply was made to PR c++/10649; it has been noted by GNATS. From: Gabriel Dos Reis To: notbob@tessellation.com Cc: giovannibajo@libero.it, gcc-bugs@gcc.gnu.org, gcc-gnats@gcc.gnu.org Subject: Re: c++/10649: is_pointer reports pointer to member function is not a pointer Date: 08 May 2003 16:11:57 +0200 Robert Schwartz writes: | --- giovannibajo@libero.it wrote: | > Synopsis: is_pointer 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::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