![]() |
A Constant Object is an object which is const qualified.
x
is a Constant
Object.
boost::remove_reference<_decltype(x)>::type
is _typeof(x)
const
.
int const x = 0; // x is a ConstantObject.
A __RESETTABLEOBJECT_ is an object which is modifiable after its construction.
r
is a __RESETTABLEOBJECT_.
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)
.
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;
.
r
and s
shall have the same
states if aI
and bI
have the same states for all I
.
Copyright © 2007 Shunsuke Sogame |