Struct template is_old_value

Struct template is_old_value_copyable

boost::contract::is_old_value_copyable — Trait to check if an old value type can be copied or not.

Synopsis

// In header: <boost/contract/old.hpp>

template<typename T> 
struct is_old_value_copyable : public boost::is_copy_constructible< T > {
};

Description

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 needed on compilers that do not support C++11, see boost::is_copy_constructible):

class u; // Some user-defined type.

namespace boost { namespace contract {
    template<> // Specialization.
    struct is_old_value_copyable<u> : boost::false_type {};
} } // namespace

In summary, a given old value type T is copied only if boost::contract::is_old_value_copyable<T>::value is true. Copyable old value types are always copied using boost::contract::old_value_copy<T>. Non-copyable old value types generate a compile-time error when boost::contract::old_ptr<T> is dereferenced, but instead leave boost::contract::old_ptr_if_copyable<T> always null (without generating compile-time errors).

See Also:

Old Value Requirements

Boost C++ Libraries