Jason House napisał: > Tomek Sowiński Wrote: > >> It may sound ridiculous but this is what came to me in a dream last >> night: why exactly does Bounded have to express an interval? Forget >> intervals for a minute: >> >> struct Bounded(alias Pred, T); >> >> where Pred is a unary callable returning bool (same as in e.g. filter()). > ... > > That reminds me of class invariants.
Yeah, only imposed from outside, not inside. -- Tomek
