From: Joaquín Mª López Muñoz (joaquin_at_[hidden])
Date: 2005-09-23 02:22:09
Joaquín Mª López Muñoz ha escrito:
> > > Then we can rewrite the postcondition on std::vector as
> > >
> > > if T is EquivalentSerializable under Pred, std::vector<T> is
> > > EquivalentSerializable.
> > Nope. You have to say under what predicate it is
> > EquivalentSerializable. And when a nonstandard predicate is used for
> > T there may not be any such predicate for the vector.
> I think we agree here: when I said above "by default we can
> assume std::equal_to" what I meant is: EquivalentSerializable is short for
> EquivalentSerializable under std::equal_to. Otherwise we'd say
> EquivalentSerializable under Pred and specify Pred. So I think my
> statement about std::vector is correct and addresses your concerns.
Oh, my bad. The statement has an unintended "under Pred". What I
meant to write is:
f T is EquivalentSerializable, std::vector<T> is EquivalentSerializable.
which works with the default types for the associated Pred's.
Joaquín M López Muñoz
Telefónica, Investigación y Desarrollo
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk