Boost C++ Libraries

...one of the most highly regarded and expertly designed C++ library projects in the world. Herb Sutter and Andrei Alexandrescu, C++ Coding Standards

This is the documentation for a snapshot of the master branch, built from commit c0bc0d89c9.
PrevUpHomeNext

Struct template old_value_copy

boost::contract::old_value_copy — Trait to copy an old value.

Synopsis

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

template<typename T> 
struct old_value_copy {
  // construct/copy/destruct
  explicit old_value_copy(T const &);

  // public member functions
  T const  & old() const;
};

Description

By default, the implementation of this trait uses T's copy constructor to make one single copy of the specified value. However, programmers can specialize this trait to copy old values using user-specific operations different from T's copy constructor. The default implementation of this trait is equivalent to:

template<typename T>
class old_value_copy {
public:
    explicit old_value_copy(T const& old) :
        old_(old) // One single copy of value using T's copy constructor.
    {}

    T const& old() const { return old_; }

private:
    T const old_; // The old value copy.
};

This library will instantiate and use this trait only on old value types T that are copyable (i.e., for which boost::contract::is_old_value_copyable<T>::value is true).

See Also:

Old Value Requirements

old_value_copy public construct/copy/destruct

  1. explicit old_value_copy(T const & old);
    Construct this object by making one single copy of the specified old value.

    This is the only operation within this library that actually copies old values. This ensures this library makes one and only one copy of an old value (if they actually need to be copied, see BOOST_CONTRACT_NO_OLDS).

    Parameters:

    old

    The old value to copy.

old_value_copy public member functions

  1. T const  & old() const;
    Return a (constant) reference to the old value that was copied.

    Contract assertions should not change the state of the program so the old value copy is returned as const (see Constant Correctness).


PrevUpHomeNext