From: Miroslav Silovic (miro_at_[hidden])
Date: 2002-10-28 09:28:35
D language wrote:
>Should postcondition be really or'ed? Doesn't a overriden function provide
>alternative functionality and even change the desired postcondition? Perhaps
>pre and post conditions on virtual functions should not be invoked
>automatically. Perhaps only optionally.
Contravariance means that anything you can pass as the arguments to the
parent will also work on the child, and that anything that child returns
is compatible with what parent may have returned. This translates into
and/or pair - assuming your code needs polymorphism.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk