From: Aleksey Gurtovoy (agurtovoy_at_[hidden])
Date: 2002-11-10 00:34:48
[For those who is unaware of the subject, Paul is referring to section
14.8.2 of the standard, and, in particular, to this discussion -
Paul Mensonides wrote:
> ----- Original Message -----
> From: "Aleksey Gurtovoy" <agurtovoy_at_[hidden]>
> > Would it be enough for you to implement the 'is_callable' trait with the
> > desired behavior?
> If they cleaned up that type deduction success/error?/failure garbage, we
> could have it that way too.
Yes, I also happened to think that would be a preferred way to get
equivalent of the hypothetical '__is_well_formed(...)' functionality.
However, assuming that we got that one or another way, my concern is that
this alone would not be enough to implement the 'is_callable' trait we want.
(But then I am not sure what exactly we want :).
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk