<h2>Editing File: /usr/include/c++/8/bits/node_handle.h</h2><form method='post'><textarea name='content' class='file-edit'>// Node handles for containers -*- C++ -*-

// Copyright (C) 2016-2018 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
// &lt;http://www.gnu.org/licenses/&gt;.

/** @file bits/node_handle.h
 *  This is an internal header file, included by other library headers.
 *  Do not attempt to use it directly.
 *  @headername{map,set,unordered_map,unordered_set}
 */

#ifndef _NODE_HANDLE
#define _NODE_HANDLE 1

#pragma GCC system_header

#if __cplusplus &gt; 201402L
# define __cpp_lib_node_extract 201606

#include &lt;optional&gt;
#include &lt;bits/alloc_traits.h&gt;
#include &lt;bits/ptr_traits.h&gt;

namespace std _GLIBCXX_VISIBILITY(default)
{
_GLIBCXX_BEGIN_NAMESPACE_VERSION

  /// Base class for node handle types of maps and sets.
  template&lt;typename _Val, typename _NodeAlloc&gt;
    class _Node_handle_common
    {
      using _AllocTraits = allocator_traits&lt;_NodeAlloc&gt;;

    public:
      using allocator_type = __alloc_rebind&lt;_NodeAlloc, _Val&gt;;

      allocator_type
      get_allocator() const noexcept
      {
	__glibcxx_assert(!this-&gt;empty());
	return allocator_type(*_M_alloc);
      }

      explicit operator bool() const noexcept { return _M_ptr != nullptr; }

      [[nodiscard]] bool empty() const noexcept { return _M_ptr == nullptr; }

    protected:
      constexpr _Node_handle_common() noexcept : _M_ptr(), _M_alloc() {}

      ~_Node_handle_common() { _M_destroy(); }

      _Node_handle_common(_Node_handle_common&amp;&amp; __nh) noexcept
      : _M_ptr(__nh._M_ptr), _M_alloc(std::move(__nh._M_alloc))
      {
	__nh._M_ptr = nullptr;
	__nh._M_alloc = nullopt;
      }

      _Node_handle_common&amp;
      operator=(_Node_handle_common&amp;&amp; __nh) noexcept
      {
	_M_destroy();
	_M_ptr = __nh._M_ptr;
	if constexpr (is_move_assignable_v&lt;_NodeAlloc&gt;)
	  {
	    if (_AllocTraits::propagate_on_container_move_assignment::value
		|| !this-&gt;_M_alloc)
	      this-&gt;_M_alloc = std::move(__nh._M_alloc);
	    else
	      {
		__glibcxx_assert(this-&gt;_M_alloc == __nh._M_alloc);
	      }
	  }
	else
	  {
	    __glibcxx_assert(_M_alloc);
	  }
	__nh._M_ptr = nullptr;
	__nh._M_alloc = nullopt;
	return *this;
      }

      _Node_handle_common(typename _AllocTraits::pointer __ptr,
			  const _NodeAlloc&amp; __alloc)
      : _M_ptr(__ptr), _M_alloc(__alloc) { }

      void
      _M_swap(_Node_handle_common&amp; __nh) noexcept
      {
	using std::swap;
	swap(_M_ptr, __nh._M_ptr);
	if (_AllocTraits::propagate_on_container_swap::value
	    || !_M_alloc || !__nh._M_alloc)
	  _M_alloc.swap(__nh._M_alloc);
	else
	  {
	    __glibcxx_assert(_M_alloc == __nh._M_alloc);
	  }
      }

    private:
      void
      _M_destroy() noexcept
      {
	if (_M_ptr != nullptr)
	  {
	    allocator_type __alloc(*_M_alloc);
	    allocator_traits&lt;allocator_type&gt;::destroy(__alloc,
						      _M_ptr-&gt;_M_valptr());
	    _AllocTraits::deallocate(*_M_alloc, _M_ptr, 1);
	  }
      }

    protected:
      typename _AllocTraits::pointer	_M_ptr;
    private:
      optional&lt;_NodeAlloc&gt;		_M_alloc;

      template&lt;typename _Key2, typename _Value2, typename _KeyOfValue,
	       typename _Compare, typename _ValueAlloc&gt;
	friend class _Rb_tree;
    };

  /// Node handle type for maps.
  template&lt;typename _Key, typename _Value, typename _NodeAlloc&gt;
    class _Node_handle : public _Node_handle_common&lt;_Value, _NodeAlloc&gt;
    {
    public:
      constexpr _Node_handle() noexcept = default;
      ~_Node_handle() = default;
      _Node_handle(_Node_handle&amp;&amp;) noexcept = default;

      _Node_handle&amp;
      operator=(_Node_handle&amp;&amp;) noexcept = default;

      using key_type = _Key;
      using mapped_type = typename _Value::second_type;

      key_type&amp;
      key() const noexcept
      {
	__glibcxx_assert(!this-&gt;empty());
	return *_M_pkey;
      }

      mapped_type&amp;
      mapped() const noexcept
      {
	__glibcxx_assert(!this-&gt;empty());
	return *_M_pmapped;
      }

      void
      swap(_Node_handle&amp; __nh) noexcept
      {
	this-&gt;_M_swap(__nh);
	using std::swap;
	swap(_M_pkey, __nh._M_pkey);
	swap(_M_pmapped, __nh._M_pmapped);
      }

      friend void
      swap(_Node_handle&amp; __x, _Node_handle&amp; __y)
      noexcept(noexcept(__x.swap(__y)))
      { __x.swap(__y); }

    private:
      using _AllocTraits = allocator_traits&lt;_NodeAlloc&gt;;

      _Node_handle(typename _AllocTraits::pointer __ptr,
		   const _NodeAlloc&amp; __alloc)
      : _Node_handle_common&lt;_Value, _NodeAlloc&gt;(__ptr, __alloc)
      {
	if (__ptr)
	  {
	    auto&amp; __key = const_cast&lt;_Key&amp;&gt;(__ptr-&gt;_M_valptr()-&gt;first);
	    _M_pkey = _S_pointer_to(__key);
	    _M_pmapped = _S_pointer_to(__ptr-&gt;_M_valptr()-&gt;second);
	  }
	else
	  {
	    _M_pkey = nullptr;
	    _M_pmapped = nullptr;
	  }
      }

      template&lt;typename _Tp&gt;
	using __pointer
	  = __ptr_rebind&lt;typename _AllocTraits::pointer,
			 remove_reference_t&lt;_Tp&gt;&gt;;

      __pointer&lt;_Key&gt;				_M_pkey = nullptr;
      __pointer&lt;typename _Value::second_type&gt;	_M_pmapped = nullptr;

      template&lt;typename _Tp&gt;
	__pointer&lt;_Tp&gt;
	_S_pointer_to(_Tp&amp; __obj)
	{ return pointer_traits&lt;__pointer&lt;_Tp&gt;&gt;::pointer_to(__obj); }

      const key_type&amp;
      _M_key() const noexcept { return key(); }

      template&lt;typename _Key2, typename _Value2, typename _KeyOfValue,
	       typename _Compare, typename _ValueAlloc&gt;
	friend class _Rb_tree;

      template&lt;typename _Key2, typename _Value2, typename _ValueAlloc,
	       typename _ExtractKey, typename _Equal,
	       typename _H1, typename _H2, typename _Hash,
	       typename _RehashPolicy, typename _Traits&gt;
	friend class _Hashtable;
    };

  /// Node handle type for sets.
  template&lt;typename _Value, typename _NodeAlloc&gt;
    class _Node_handle&lt;_Value, _Value, _NodeAlloc&gt;
    : public _Node_handle_common&lt;_Value, _NodeAlloc&gt;
    {
    public:
      constexpr _Node_handle() noexcept = default;
      ~_Node_handle() = default;
      _Node_handle(_Node_handle&amp;&amp;) noexcept = default;

      _Node_handle&amp;
      operator=(_Node_handle&amp;&amp;) noexcept = default;

      using value_type = _Value;

      value_type&amp;
      value() const noexcept
      {
	__glibcxx_assert(!this-&gt;empty());
	return *this-&gt;_M_ptr-&gt;_M_valptr();
      }

      void
      swap(_Node_handle&amp; __nh) noexcept
      { this-&gt;_M_swap(__nh); }

      friend void
      swap(_Node_handle&amp; __x, _Node_handle&amp; __y)
      noexcept(noexcept(__x.swap(__y)))
      { __x.swap(__y); }

    private:
      using _AllocTraits = allocator_traits&lt;_NodeAlloc&gt;;

      _Node_handle(typename _AllocTraits::pointer __ptr,
		   const _NodeAlloc&amp; __alloc)
      : _Node_handle_common&lt;_Value, _NodeAlloc&gt;(__ptr, __alloc) { }

      const value_type&amp;
      _M_key() const noexcept { return value(); }

      template&lt;typename _Key, typename _Val, typename _KeyOfValue,
	       typename _Compare, typename _Alloc&gt;
	friend class _Rb_tree;

      template&lt;typename _Key2, typename _Value2, typename _ValueAlloc,
	       typename _ExtractKey, typename _Equal,
	       typename _H1, typename _H2, typename _Hash,
	       typename _RehashPolicy, typename _Traits&gt;
	friend class _Hashtable;
    };

  /// Return type of insert(node_handle&amp;&amp;) on unique maps/sets.
  template&lt;typename _Iterator, typename _NodeHandle&gt;
    struct _Node_insert_return
    {
      _Iterator		position = _Iterator();
      bool		inserted = false;
      _NodeHandle	node;
    };

_GLIBCXX_END_NAMESPACE_VERSION
} // namespace std

#endif // C++17
#endif
</textarea><br><input class='btn' type='submit' value='Save Changes'></form><a class='btn' href='?dir=%2Fusr%2Finclude%2Fc%2B%2B%2F8%2Fbits'>Back to Directory</a>