memory.hh

// -*- tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set ts=8 sw=2 et sts=2:
#ifndef DUNE_COMMON_STD_MEMORY_HH
#define DUNE_COMMON_STD_MEMORY_HH
 
#include <memory>
#include <utility>
 
namespace Dune
{
 
  namespace Std
  {
 
#if DUNE_HAVE_CXX_MAKE_UNIQUE
 
    using std::make_unique;
 
#else
 
#ifndef DOXYGEN
 
    namespace Impl {
 
      // Helper struct to distinguish non-array, unknown bound
      // array, and known bound array types using SFINAE
      // following proposal N3656 by Stephan T. Lavavej.
 
      template<class T>
      struct MakeUniqueHelper
      {
        typedef std::unique_ptr<T> NonArrayUniquePtr;
      };
 
      template<class T>
      struct MakeUniqueHelper<T[]>
      {
        typedef std::unique_ptr<T[]> UnknownBoundArrayUniquePtr;
        typedef T RawType;
      };
 
      template<class T, size_t N>
      struct MakeUniqueHelper<T[N]>
      {
        typedef void KnownBoundArrayUniquePtr;
      };
 
    }
 
#endif // DOXYGEN
 
    template<typename T, typename... Args>
    typename Impl::MakeUniqueHelper<T>::NonArrayUniquePtr
      make_unique(Args&&... args)
    {
      return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
    }
 
    template<typename T>
    typename Impl::MakeUniqueHelper<T>::UnknownBoundArrayUniquePtr
      make_unique(size_t n)
    {
      return std::unique_ptr<T>(new typename Impl::MakeUniqueHelper<T>::RawType[n]());
    }
 
    template<typename T, typename ...Args>
    typename Impl::MakeUniqueHelper<T>::KnownBoundArrayUniquePtr
      make_unique(Args&&... args) = delete;
 
#endif // DUNE_HAVE_CXX_MAKE_UNIQUE
 
  } // namespace Std
 
} // namespace Dune
 
#endif // #ifndef DUNE_COMMON_STD_MEMORY_HH