reset_after_move< T > Class Template Reference

Detailed Description

template<typename T>
class drake::reset_after_move< T >

Type wrapper that performs value-initialization on the wrapped type, and guarantees that when moving from this type that the donor object is reset to its value-initialized value.

Background:

For performance reasons, we often like to provide overloaded move functions on our types, instead of relying on the copy functions. When doing so, it is more robust to rely on the compiler's = default implementation using member-wise move, instead of writing out the operations manually. In general, move functions should reset the donor object of the move to its default-constructed (empty) resource state. Inductively, the member fields' existing move implementations do this already, except in the case of non-class (primitive) members, where the donor object's primitives will not be zeroed. By wrapping primitive members fields with this type, they are guaranteed to be zeroed on construction and after being moved from.

Example:

class Foo {
 public:
  DRAKE_DEFAULT_COPY_AND_MOVE_AND_ASSIGN(Foo);
  Foo() = default;

 private:
  std::vector<int> items_;
  reset_after_move<int> sum_;
};

When moving from Foo, the donor object will reset to its default state: items_ will be empty and sum_ will be zero. If Foo had not used the reset_after_move wrapper, the sum_ would remain intact (be copied) while moving, even though items_ was cleared.

Template Parameters

T	must support CopyConstructible, CopyAssignable, MoveConstructible, and MoveAssignable and must not throw exceptions during construction or assignment.

See also

reset_on_copy

#include <drake/common/reset_after_move.h>

Public Member Functions
	reset_after_move () noexcept(std::is_nothrow_default_constructible_v< T >)
	Constructs a reset_after_move<T> with a value-initialized wrapped value. More...
	reset_after_move (const T &value) noexcept(std::is_nothrow_copy_constructible_v< T >)
	Constructs a reset_after_move<T> with the given wrapped value. More...
Implements CopyConstructible, CopyAssignable, MoveConstructible,
MoveAssignable.
	reset_after_move (const reset_after_move &)=default
reset_after_move &	operator= (const reset_after_move &)=default
	reset_after_move (reset_after_move &&other) noexcept(std::is_nothrow_default_constructible_v< T > &&std::is_nothrow_move_assignable_v< T >)
reset_after_move &	operator= (reset_after_move &&other) noexcept(std::is_nothrow_default_constructible_v< T > &&std::is_nothrow_move_assignable_v< T >)
Implicit conversion operators to make reset_after_move<T> act
as the wrapped type.
	operator T & ()
	operator const T & () const
Dereference operators if T is a pointer type.
If type T is a pointer, these exist and return the pointed-to object. For non-pointer types these methods are not instantiated.
template<typename T1 = T>
std::enable_if_t< std::is_pointer_v< T1 >, T >	operator-> () const
template<typename T1 = T>
std::enable_if_t< std::is_pointer_v< T1 >, std::add_lvalue_reference_t< std::remove_pointer_t< T > > >	operator * () const
Direct access to the T value.
T &	value ()
const T &	value () const

Constructor & Destructor Documentation

reset_after_move() [1/4]

reset_after_move ( )

noexcept

Constructs a reset_after_move<T> with a value-initialized wrapped value.

See http://en.cppreference.com/w/cpp/language/value_initialization.

reset_after_move() [2/4]

reset_after_move ( const T &  value )

noexcept

Constructs a reset_after_move<T> with the given wrapped value.

This is an implicit conversion, so that reset_after_move<T> behaves more like the unwrapped type.

reset_after_move() [3/4]

reset_after_move ( const reset_after_move< T > &  )

default

reset_after_move() [4/4]

reset_after_move ( reset_after_move< T > &&  other )

noexcept

Member Function Documentation

operator *()

std::enable_if_t<std::is_pointer_v<T1>, std::add_lvalue_reference_t<std::remove_pointer_t<T> > > operator *

(

)

const

operator const T &()

operator const T &

(

)

const

operator T &()

operator T &

(

)

operator->()

std::enable_if_t<std::is_pointer_v<T1>, T> operator->

(

)

const

operator=() [1/2]

reset_after_move& operator= ( const reset_after_move< T > &  )

default

operator=() [2/2]

reset_after_move& operator= ( reset_after_move< T > &&  other )

noexcept

value() [1/2]

T& value

(

)

value() [2/2]

const T& value

(

)

const

---

The documentation for this class was generated from the following file:

• drake/common/reset_after_move.h