proxymemberaccess.hh

Go to the documentation of this file.

// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
// SPDX-FileCopyrightInfo: Copyright © DUNE Project contributors, see file LICENSE.md in module root
// SPDX-License-Identifier: LicenseRef-GPL-2.0-only-with-DUNE-exception
#ifndef DUNE_COMMON_PROXYMEMBERACCESS_HH
#define DUNE_COMMON_PROXYMEMBERACCESS_HH
 
#include <type_traits>
#include <utility>
 
namespace Dune {
 
  namespace Impl {
 
    // helper struct to store a temporary / proxy
    // for the duration of the member access
    template<typename T>
    struct member_access_proxy_holder
    {
 
      // only support moving the temporary into the holder object
      member_access_proxy_holder(T&& t)
        : _t(std::move(t))
      {}
 
      // The object is fundamentally a temporary, i.e. an rvalue,
      //
      const T* operator->() const
      {
        return &_t;
      }
 
      T _t;
 
    };
 
  } // end Impl namespace
 
 
#ifdef DOXYGEN
 
 
  template<typename T>
  pointer_or_proxy_holder
  handle_proxy_member_access(T&& t);
 
#else // DOXYGEN
 
 
  // This version matches lvalues (the C++ type deduction rules state that
  // the T&& signature deduces to a reference iff the argument is an lvalue).
  // As the argument is an lvalue, we do not have to worry about its lifetime
  // and can just return its address.
  template<typename T>
  inline typename std::enable_if<
    std::is_lvalue_reference<T>::value,
    typename std::add_pointer<
      typename std::remove_reference<
        T
        >::type
      >::type
    >::type
  handle_proxy_member_access(T&& target)
  {
    return &target;
  }
 
  // This version matches rvalues (the C++ type deduction rules state that
  // the T&& signature deduces to a non-reference iff the argument is an rvalue).
  // In this case, we have to capture the rvalue in a new object to make sure it
  // is kept alive for the duration of the member access. For this purpose, we move
  // it into a member_access_proxy_holder instance.
  template<typename T>
  inline typename std::enable_if<
    !std::is_lvalue_reference<T>::value,
    Impl::member_access_proxy_holder<T>
    >::type
  handle_proxy_member_access(T&& target)
  {
    return {std::forward<T>(target)};
  }
 
#endif // DOXYGEN
 
} // namespace Dune
 
#endif // DUNE_COMMON_PROXYMEMBERACCESS_HH