[boost] remove_pointer and pointers to members?

From: John Maddock (john_at_[hidden])
Date: 2008-07-28 11:35:40

Folks, I'm trying to decide how to fix this bug report: 
https://svn.boost.org/trac/boost/ticket/2011

Basically what should:

remove_pointer<int (foo::*)>::type

be?

Should it produce an int, or have no effect?

TR1 explicitly says that it has no effect, so I guess I vote to stick with 
that behaviour.

In which case, anyone object to a remove_member_pointer trait that 
transforms:

int (foo::*)                -->   int
int (foo::*)(double)    -->  int (double)

etc.

It's also tempting to add a "member_object" trait at the same time that 
transforms:

int (foo::*)               --> foo
int (foo::*)(double)  --> foo

thoughts?

Thanks, John.