From: Douglas Gregor (gregod_at_[hidden])
Date: 2001-08-29 21:15:33
On Wednesday 29 August 2001 07:00, you wrote:
> > Let's model concept refinement by inheritance in C++. This is already
> > done in the C++ standard with the iterator tags
> > (std::forward_iterator_tag derives from both std::input_iterator_tag and
> > std::output_iterator_tag),
>
> Well, yes, the idea is valid, although the Standard
> specifies that std::forward_iterator_tag derives only
> from std::input_iterator_tag. Maybe we can cite a
> different example....
>
> -- Dave Miller
Unfortunately, there don't seem to be any other explicit concept tags in the
C++ standard. Oh well, Austern's book specifies that the forward iterator
concept refines the input and output iterator concepts, so one could point to
that.
Doug