Home | Libraries | People | FAQ | More |
boost::contract::is_old_value_copyable — Trait to check if an old value type can be copied or not.
// In header: <boost/contract/old.hpp> template<typename T> struct is_old_value_copyable : public boost::is_copy_constructible< T > { };
By default, this unary boolean meta-function is equivalent to boost::is_copy_constructible<T>
but programmers can chose to specialize it for user-defined types (in general some kind of specialization is also needed on compilers that do not support C++11, see boost::is_copy_constructible
):
class u; // Some user-defined type for which old values shall not be copied. namespace boost { namespace contract { template<> // Specialization to not copy old values of type `u`. struct is_old_value_copyable<u> : boost::false_type {}; } } // namespace
A given old value type T
is copied only if boost::contract::is_old_value_copyable<T>::value
is true
. A copyable old value type V
is always copied using boost::contract::old_value_copy<V>
. A non-copyable old value type W
generates a compile-time error when boost::contract::old_ptr<W>
is dereferenced, but instead leaves boost::contract::old_ptr_if_copyable<W>
always null (without generating compile-time errors).
See Also: