ꦫꦣꦺꦤ꧀ꦄꦤ꧀ꦠꦱꦺꦤ

PATH: usr / include / c++ / 11 / bits

// Uses-allocator Construction -*- C++ -*-

// Copyright (C) 2010-2021 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library.  This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.

// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// Under Section 7 of GPL version 3, you are granted additional
// permissions described in the GCC Runtime Library Exception, version
// 3.1, as published by the Free Software Foundation.

// You should have received a copy of the GNU General Public License and
// a copy of the GCC Runtime Library Exception along with this program;
// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
// <http://www.gnu.org/licenses/>.

#ifndef _USES_ALLOCATOR_H
#define _USES_ALLOCATOR_H 1

#if __cplusplus < 201103L
# include <bits/c++0x_warning.h>
#else

#include <type_traits>
#include <bits/move.h>

namespace std _GLIBCXX_VISIBILITY(default)
{
_GLIBCXX_BEGIN_NAMESPACE_VERSION
/// @cond undocumented

// This is used for std::experimental::erased_type from Library Fundamentals.
  struct __erased_type { };

// This also supports the "type-erased allocator" protocol from the
  // Library Fundamentals TS, where allocator_type is erased_type.
  // The second condition will always be false for types not using the TS.
  template<typename _Alloc, typename _Tp>
    using __is_erased_or_convertible
      = __or_<is_convertible<_Alloc, _Tp>, is_same<_Tp, __erased_type>>;

/// [allocator.tag]
  struct allocator_arg_t { explicit allocator_arg_t() = default; };

_GLIBCXX17_INLINE constexpr allocator_arg_t allocator_arg =
    allocator_arg_t();

template<typename _Tp, typename _Alloc, typename = __void_t<>>
    struct __uses_allocator_helper
    : false_type { };

template<typename _Tp, typename _Alloc>
    struct __uses_allocator_helper<_Tp, _Alloc,
				   __void_t<typename _Tp::allocator_type>>
    : __is_erased_or_convertible<_Alloc, typename _Tp::allocator_type>::type
    { };

/// [allocator.uses.trait]
  template<typename _Tp, typename _Alloc>
    struct uses_allocator
    : __uses_allocator_helper<_Tp, _Alloc>::type
    { };

struct __uses_alloc_base { };

struct __uses_alloc0 : __uses_alloc_base
  {
    struct _Sink { void _GLIBCXX20_CONSTEXPR operator=(const void*) { } } _M_a;
  };

template<typename _Alloc>
    struct __uses_alloc1 : __uses_alloc_base { const _Alloc* _M_a; };

template<typename _Alloc>
    struct __uses_alloc2 : __uses_alloc_base { const _Alloc* _M_a; };

template<bool, typename _Tp, typename _Alloc, typename... _Args>
    struct __uses_alloc;

template<typename _Tp, typename _Alloc, typename... _Args>
    struct __uses_alloc<true, _Tp, _Alloc, _Args...>
    : conditional<
        is_constructible<_Tp, allocator_arg_t, const _Alloc&, _Args...>::value,
        __uses_alloc1<_Alloc>,
       	__uses_alloc2<_Alloc>>::type
    {
      // _GLIBCXX_RESOLVE_LIB_DEFECTS
      // 2586. Wrong value category used in scoped_allocator_adaptor::construct
      static_assert(__or_<
	  is_constructible<_Tp, allocator_arg_t, const _Alloc&, _Args...>,
	  is_constructible<_Tp, _Args..., const _Alloc&>>::value,
	  "construction with an allocator must be possible"
	  " if uses_allocator is true");
    };

template<typename _Tp, typename _Alloc, typename... _Args>
    struct __uses_alloc<false, _Tp, _Alloc, _Args...>
    : __uses_alloc0 { };

template<typename _Tp, typename _Alloc, typename... _Args>
    using __uses_alloc_t =
      __uses_alloc<uses_allocator<_Tp, _Alloc>::value, _Tp, _Alloc, _Args...>;

template<typename _Tp, typename _Alloc, typename... _Args>
    _GLIBCXX20_CONSTEXPR
    inline __uses_alloc_t<_Tp, _Alloc, _Args...>
    __use_alloc(const _Alloc& __a)
    {
      __uses_alloc_t<_Tp, _Alloc, _Args...> __ret;
      __ret._M_a = std::__addressof(__a);
      return __ret;
    }

template<typename _Tp, typename _Alloc, typename... _Args>
    void
    __use_alloc(const _Alloc&&) = delete;

#if __cplusplus > 201402L
  template <typename _Tp, typename _Alloc>
    inline constexpr bool uses_allocator_v =
      uses_allocator<_Tp, _Alloc>::value;
#endif // C++17

template<template<typename...> class _Predicate,
	   typename _Tp, typename _Alloc, typename... _Args>
    struct __is_uses_allocator_predicate
    : conditional<uses_allocator<_Tp, _Alloc>::value,
      __or_<_Predicate<_Tp, allocator_arg_t, _Alloc, _Args...>,
	    _Predicate<_Tp, _Args..., _Alloc>>,
      _Predicate<_Tp, _Args...>>::type { };

template<typename _Tp, typename _Alloc, typename... _Args>
    struct __is_uses_allocator_constructible
    : __is_uses_allocator_predicate<is_constructible, _Tp, _Alloc, _Args...>
    { };

#if __cplusplus >= 201402L
  template<typename _Tp, typename _Alloc, typename... _Args>
    _GLIBCXX17_INLINE constexpr bool __is_uses_allocator_constructible_v =
      __is_uses_allocator_constructible<_Tp, _Alloc, _Args...>::value;
#endif // C++14

template<typename _Tp, typename _Alloc, typename... _Args>
    struct __is_nothrow_uses_allocator_constructible
    : __is_uses_allocator_predicate<is_nothrow_constructible,
				    _Tp, _Alloc, _Args...>
    { };

#if __cplusplus >= 201402L
  template<typename _Tp, typename _Alloc, typename... _Args>
    _GLIBCXX17_INLINE constexpr bool
    __is_nothrow_uses_allocator_constructible_v =
      __is_nothrow_uses_allocator_constructible<_Tp, _Alloc, _Args...>::value;
#endif // C++14

template<typename _Tp, typename... _Args>
    void __uses_allocator_construct_impl(__uses_alloc0 __a, _Tp* __ptr,
					 _Args&&... __args)
    { ::new ((void*)__ptr) _Tp(std::forward<_Args>(__args)...); }

template<typename _Tp, typename _Alloc, typename... _Args>
    void __uses_allocator_construct_impl(__uses_alloc1<_Alloc> __a, _Tp* __ptr,
					 _Args&&... __args)
    {
      ::new ((void*)__ptr) _Tp(allocator_arg, *__a._M_a,
			       std::forward<_Args>(__args)...);
    }

template<typename _Tp, typename _Alloc, typename... _Args>
    void __uses_allocator_construct_impl(__uses_alloc2<_Alloc> __a, _Tp* __ptr,
					 _Args&&... __args)
    { ::new ((void*)__ptr) _Tp(std::forward<_Args>(__args)..., *__a._M_a); }

template<typename _Tp, typename _Alloc, typename... _Args>
    void __uses_allocator_construct(const _Alloc& __a, _Tp* __ptr,
				    _Args&&... __args)
    {
      std::__uses_allocator_construct_impl(
	  std::__use_alloc<_Tp, _Alloc, _Args...>(__a), __ptr,
	  std::forward<_Args>(__args)...);
    }

/// @endcond
_GLIBCXX_END_NAMESPACE_VERSION
} // namespace std

#endif
#endif

[+] ..
[-] atomic_futex.h [edit]
[-] random.h [edit]
[-] functexcept.h [edit]
[-] exception.h [edit]
[-] regex.tcc [edit]
[-] char_traits.h [edit]
[-] uses_allocator.h [edit]
[-] specfun.h [edit]
[-] regex_automaton.tcc [edit]
[-] stl_stack.h [edit]
[-] node_handle.h [edit]
[-] regex_error.h [edit]
[-] stl_list.h [edit]
[-] vector.tcc [edit]
[-] stl_algobase.h [edit]
[-] regex_automaton.h [edit]
[-] cxxabi_init_exception.h [edit]
[-] basic_ios.tcc [edit]
[-] deque.tcc [edit]
[-] fs_fwd.h [edit]
[-] concept_check.h [edit]
[-] stl_algo.h [edit]
[-] functional_hash.h [edit]
[-] random.tcc [edit]
[-] fs_path.h [edit]
[-] max_size_type.h [edit]
[-] nested_exception.h [edit]
[-] atomic_base.h [edit]
[-] charconv.h [edit]
[-] ostream.tcc [edit]
[-] predefined_ops.h [edit]
[-] boost_concept_check.h [edit]
[-] atomic_lockfree_defines.h [edit]
[-] stl_construct.h [edit]
[-] list.tcc [edit]
[-] locale_classes.tcc [edit]
[-] uniform_int_dist.h [edit]
[-] semaphore_base.h [edit]
[-] mask_array.h [edit]
[-] ranges_algobase.h [edit]
[-] stl_heap.h [edit]
[-] alloc_traits.h [edit]
[-] string_view.tcc [edit]
[-] sstream.tcc [edit]
[-] regex_executor.tcc [edit]
[-] cpp_type_traits.h [edit]
[-] stl_map.h [edit]
[-] hashtable_policy.h [edit]
[-] regex_scanner.tcc [edit]
[-] ranges_base.h [edit]
[-] forward_list.h [edit]
[-] allocator.h [edit]
[-] codecvt.h [edit]
[-] istream.tcc [edit]
[-] memoryfwd.h [edit]
[-] stl_vector.h [edit]
[-] valarray_array.tcc [edit]
[-] valarray_array.h [edit]
[-] locale_facets.tcc [edit]
[-] stl_tree.h [edit]
[-] atomic_timed_wait.h [edit]
[-] streambuf_iterator.h [edit]
[-] unique_lock.h [edit]
[-] exception_defines.h [edit]
[-] stl_raw_storage_iter.h [edit]
[-] locale_facets_nonio.tcc [edit]
[-] regex.h [edit]
[-] stl_tempbuf.h [edit]
[-] unordered_map.h [edit]
[-] std_mutex.h [edit]
[-] regex_scanner.h [edit]
[-] locale_facets_nonio.h [edit]
[-] basic_string.h [edit]
[-] locale_classes.h [edit]
[-] regex_executor.h [edit]
[-] stl_multiset.h [edit]
[-] postypes.h [edit]
[-] stl_multimap.h [edit]
[-] std_thread.h [edit]
[-] atomic_wait.h [edit]
[-] fs_dir.h [edit]
[-] exception_ptr.h [edit]
[-] move.h [edit]
[-] erase_if.h [edit]
[-] valarray_after.h [edit]
[-] hash_bytes.h [edit]
[-] ranges_cmp.h [edit]
[-] ios_base.h [edit]
[-] invoke.h [edit]
[-] stream_iterator.h [edit]
[-] std_function.h [edit]
[-] stl_iterator.h [edit]
[-] slice_array.h [edit]
[-] stringfwd.h [edit]
[-] stl_function.h [edit]
[-] forward_list.tcc [edit]
[-] stl_iterator_base_funcs.h [edit]
[-] refwrap.h [edit]
[-] unordered_set.h [edit]
[-] stl_uninitialized.h [edit]
[-] streambuf.tcc [edit]
[-] algorithmfwd.h [edit]
[-] range_access.h [edit]
[-] enable_special_members.h [edit]
[-] unique_ptr.h [edit]
[-] localefwd.h [edit]
[-] quoted_string.h [edit]
[-] uses_allocator_args.h [edit]
[-] stl_queue.h [edit]
[-] gslice_array.h [edit]
[-] ptr_traits.h [edit]
[-] ranges_algo.h [edit]
[-] cxxabi_forced.h [edit]
[-] std_abs.h [edit]
[-] align.h [edit]
[-] regex_compiler.h [edit]
[-] stl_relops.h [edit]
[-] indirect_array.h [edit]
[-] regex_constants.h [edit]
[-] stl_bvector.h [edit]
[-] fs_ops.h [edit]
[-] parse_numbers.h [edit]
[-] shared_ptr_base.h [edit]
[-] c++0x_warning.h [edit]
[-] basic_string.tcc [edit]
[-] stl_deque.h [edit]
[-] ranges_uninitialized.h [edit]
[-] hashtable.h [edit]
[-] iterator_concepts.h [edit]
[-] stl_iterator_base_types.h [edit]
[-] locale_conv.h [edit]
[-] stl_pair.h [edit]
[-] shared_ptr_atomic.h [edit]
[-] ranges_util.h [edit]
[-] valarray_before.h [edit]
[-] stl_set.h [edit]
[-] stl_numeric.h [edit]
[-] locale_facets.h [edit]
[-] gslice.h [edit]
[-] shared_ptr.h [edit]
[-] ostream_insert.h [edit]
[-] fstream.tcc [edit]
[-] this_thread_sleep.h [edit]
[-] basic_ios.h [edit]
[-] allocated_ptr.h [edit]
[-] regex_compiler.tcc [edit]