![]() |
<pstade/clone_ptr.hpp>
Valid expression |
Semantics |
---|---|
|
|
T
is Clonable.
p
is a (possibly null)
pointer.
_typeof(p)
is
convertible to T *
.
clone_ptr<T>
makes a new object by using Clonable
concept.
clone_ptr<T>
offers strong exception guarantee.
swap
of clone_ptr<T>
doesn't throw.
<pstade/poly.hpp>
Valid expression |
Semantics |
---|---|
|
|
poly<T>
doesn't offer strong exception guarantee.
swap
of poly<T>
doesn't offer strong exception guarantee.
<pstade/value_based.hpp>
V
is boost::pointee<P>::type
.
v
is an object whose type
is V
.
m_p
is an "exposition-only"
object whose type is P
,
which is held in value_based<P>
.
Valid expression |
Semantics |
---|---|
|
|
P
is boost::shared_ptr<...>
or clone_ptr<...>
.
V
is Copy
Constructible.
value_based<P>
makes a copy of m_p
.
P
.
...
Copyright © 2007 Shunsuke Sogame |