Joachim Faulhaber wrote:
2011/3/20 Vicente Botet <vicente.botet@wanadoo.fr>: > > Joachim Faulhaber wrote: >> >> 2011/3/19 Frédéric Bron <frederic.bron@m4x.org>: >> >> Maybe the set of functions should be something like >> >> >> >> is_callable<plus, LeftOperandType, RightOperandType> >> > >> > This is interesting, >> >> yes, I like it >> >> > however it would have to be something like: >> > ::boost::is_callable<::boost::type_traits::operators::plus, LHS, >> RHS> >> >> ideally >> >> boost::is_callable<std::plus, Left, Right> >> >> but std::op_functors seem to be restricted to singly typed functors, >> which I don't understand, >> > > I don't see op_functors in the standard.
What I mean by "op_functors" are function objects that wrap operators.
20.8 Function objects [1]
e.g. // 20.8.4, arithmetic operations: template <class T> struct plus;
> What do you mean by "restricted to > singly typed functors"?
And they are template structs parameterized with a single type T instead of e.g.
template <class T, class U=T, class R=T> struct plus;
all three types: Lhs argument type T, rhs argument type U and result type R.
Oh, I see. This extension seems to be not disruptive. Maybe someone could make a proposal for TR2. Best, Vicente -- View this message in context: http://boost.2283326.n4.nabble.com/Re-Review-Boost-Type-Traits-Extension-end... Sent from the Boost - Dev mailing list archive at Nabble.com.