pstade

PrevUpHomeNext

Concepts

Constant Object
Resettable Object
Description

A Constant Object is an object which is const qualified.

Refinement of
  • ...
Notation
Requirements
  • boost::remove_reference<_decltype(x)>::type is _typeof(x) const.
Example
int const x = 0; // x is a ConstantObject.
Models
  • ...
See also
  • ...
Description

A Resettable Object is an object which is modifiable after its construction.

Refinement of
  • ...
Notation
  • r is a Resettable Object.
  • R is _typeof(r).
  • s is an object whose type is R.
  • aI is an object whose type is not R.
  • bI is an object whose type is _typeof(aI).
Requirements
  • R r(a0); is a valid expression if and only if s = b0; is a valid expression.
  • R r(a1,...,aN); is a valid expression if and only if s.reset(b1,...bN); is a valid expression.
  • R r; is a valid expression if and only if s.reset() is a valid expression.
  • R r; is a valid expression if and only if s = boost::none; is a valid expression.
  • After the equivalent expressions above, r and s shall have the same states if aI and bI have the same states for all I.
Example
Models
  • ...
See also
  • ...
Copyright © 2007 Shunsuke Sogame

PrevUpHomeNext