|
Boost : |
From: williamkempf_at_[hidden]
Date: 2001-03-19 17:45:19
--- In boost_at_y..., "David Abrahams" <abrahams_at_m...> wrote:
>
> ----- Original Message -----
> From: <williamkempf_at_h...>
> > >
> > > I think that all general comments of using traits can be applied
> > > here. For exmaple, using "mutex::lock" put a stronger
requirement on
> > > mutex type.
> >
> > I'm probably being dense, but I don't see how. Could you please
> > illustrate with some code?
>
> For the same reason that we have iterator_traits. You can't arrange
for
> built-in pointers to have type members (e.g.
char*::iterator_category).
> Traits are non-intrusive (see
> http://www.boost.org/more/generic_programming.html#traits)
Ahh... I was being dense. I can't think of a type that will result
in the same issue here, but just because I can't doesn't mean it
won't occur. I'll look into this as soon as the implementations are
up to snuff. After all, this change will be non-intrusive to the
interface. Thanks for the ideas and the push to understanding why
they'd be beneficial.
Bill Kempf
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk