Re: [boost] [type_traits]Member function traits in function_traits?

From: John Maddock (john_at_[hidden])
Date: 2006-11-20 07:50:35

Tobias Schwinger wrote:
> 
> ... we currently can't really make code like this work reliably,
> because: 
> 
> - if the member function is cv-qualified the program is ill-formed by
> the current Standard 
> - if you put U and T back together (e.g. for passing the argument on)
> the type might be incompatible with the type of the argument (this
> scenario occurs if cv qualification is silently dropped or when
> MSVC's thiscall silently becomes cdecl - it happens with the default
> configuration of this compiler)    
> - some compilers (GCC, maybe others) will find the function
> template's signature doesn't match a pointer to member function (same
> problem with template partial specialization)  

Yep, I sort of figured this would open up a whole can of worms :-)

>> To conclude, how should this best be handled?
>> 
> 
> Brute force, I guess ;-). IOW the proposed FunctionTypes lib or
> something similar. 

Got it :-)

John.