Re: [boost] status of type traits addition (has_operator_xxx)

Subject: Re: [boost] status of type traits addition (has_operator_xxx)
From: Edward Diener (eldiener_at_[hidden])
Date: 2011-01-13 17:25:51

On 1/13/2011 3:09 PM, Frédéric Bron wrote:
> Here is the status of the type-traits addition:
> - I added the following operators: +=, *=, -=, /*, %=,&=, |=, ^=,<<,
>>> ,>>=,<<=, prefix ++, prefix --, postfix ++, postfix -- so that the
> covered operators are now:
> - I added in the doc. the fact that private operators are not covered
> and lead to compile time errors
> - for operators on built-in types that require integer arguments (%,
> bitwise op.): I replaced a long list of specialiazation by an
> automatic detection
>
> Remaining work:
> 1. check what happens for pointer arguments,
> 2. implement trait for:
>    . operator=
>    . has_address_of_op<T>
>    . has_dereference_op<T>
>    . has_member_access_op<T>
>    . has_subscript_op<T1 [,T2]>
>    . has_pointer_to_member_op<T1 [,T2]>
>    . has_comma_op<T1 [,T2]>
>    . has_function_call_op<T,R [,P1, ...]>
> 3. have an MPL predicate for return value
>
> As I have only little time (full time work and 3 young children...), I will:
> - certainly do 1.,
> - I will certainly leave 3. to somebody else in the future because I
> am not enough agile with MPL,
> - as for 2., 3 possibilities:
>    (i) I do it but it will probably postpone the addition for a long time,
>    (ii) I just leave it and I know is is a shame not to provide all
> operator detection (nobody's perfect) or
>    (iii) somebody else agrees to add them and have them reviewed at the
> same time.

Your work on this library is very much appreciated by me. I will look at 
items 2. and 3. some time in the next week to see if I can help.