<h2>Editing File: /usr/include/c++/8/debug/bitset</h2><form method='post'><textarea name='content' class='file-edit'>// Debugging bitset implementation -*- C++ -*-

// Copyright (C) 2003-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 debug/bitset
 *  This file is a GNU debug extension to the Standard C++ Library.
 */

#ifndef _GLIBCXX_DEBUG_BITSET
#define _GLIBCXX_DEBUG_BITSET

#pragma GCC system_header

#include &lt;bitset&gt;
#include &lt;debug/safe_sequence.h&gt;
#include &lt;debug/safe_iterator.h&gt;

namespace std _GLIBCXX_VISIBILITY(default)
{
namespace __debug
{
  /// Class std::bitset with additional safety/checking/debug instrumentation.
  template&lt;size_t _Nb&gt;
    class bitset
    : public _GLIBCXX_STD_C::bitset&lt;_Nb&gt;
#if __cplusplus &lt; 201103L
    , public __gnu_debug::_Safe_sequence_base
#endif
    {
      typedef _GLIBCXX_STD_C::bitset&lt;_Nb&gt; _Base;

    public:
      // In C++11 we rely on normal reference type to preserve the property
      // of bitset to be use as a literal.
      // TODO: Find another solution.
#if __cplusplus &gt;= 201103L
      typedef typename _Base::reference reference;
#else
      // bit reference:
      class reference
      : private _Base::reference
        , public __gnu_debug::_Safe_iterator_base
      {
	typedef typename _Base::reference _Base_ref;

	friend class bitset;
	reference();

	reference(const _Base_ref&amp; __base, bitset* __seq) _GLIBCXX_NOEXCEPT
	: _Base_ref(__base)
	, _Safe_iterator_base(__seq, false)
	{ }

      public:
	reference(const reference&amp; __x) _GLIBCXX_NOEXCEPT
	: _Base_ref(__x)
	, _Safe_iterator_base(__x, false)
	{ }

	reference&amp;
	operator=(bool __x) _GLIBCXX_NOEXCEPT
	{
	  _GLIBCXX_DEBUG_VERIFY(!this-&gt;_M_singular(),
			      _M_message(__gnu_debug::__msg_bad_bitset_write)
				._M_iterator(*this));
	  *static_cast&lt;_Base_ref*&gt;(this) = __x;
	  return *this;
	}

	reference&amp;
	operator=(const reference&amp; __x) _GLIBCXX_NOEXCEPT
	{
	  _GLIBCXX_DEBUG_VERIFY(!__x._M_singular(),
			       _M_message(__gnu_debug::__msg_bad_bitset_read)
				._M_iterator(__x));
	  _GLIBCXX_DEBUG_VERIFY(!this-&gt;_M_singular(),
			      _M_message(__gnu_debug::__msg_bad_bitset_write)
				._M_iterator(*this));
	  *static_cast&lt;_Base_ref*&gt;(this) = __x;
	  return *this;
	}

	bool
	operator~() const _GLIBCXX_NOEXCEPT
	{
	  _GLIBCXX_DEBUG_VERIFY(!this-&gt;_M_singular(),
			       _M_message(__gnu_debug::__msg_bad_bitset_read)
				._M_iterator(*this));
	  return ~(*static_cast&lt;const _Base_ref*&gt;(this));
	}

	operator bool() const _GLIBCXX_NOEXCEPT
	{
	  _GLIBCXX_DEBUG_VERIFY(!this-&gt;_M_singular(),
			      _M_message(__gnu_debug::__msg_bad_bitset_read)
				._M_iterator(*this));
	  return *static_cast&lt;const _Base_ref*&gt;(this);
	}

	reference&amp;
	flip() _GLIBCXX_NOEXCEPT
	{
	  _GLIBCXX_DEBUG_VERIFY(!this-&gt;_M_singular(),
			      _M_message(__gnu_debug::__msg_bad_bitset_flip)
				._M_iterator(*this));
	  _Base_ref::flip();
	  return *this;
	}
      };
#endif

      // 23.3.5.1 constructors:
      _GLIBCXX_CONSTEXPR bitset() _GLIBCXX_NOEXCEPT
      : _Base() { }

#if __cplusplus &gt;= 201103L
      constexpr bitset(unsigned long long __val) noexcept
#else
      bitset(unsigned long __val)
#endif
      : _Base(__val) { }

      template&lt;typename _CharT, typename _Traits, typename _Alloc&gt;
        explicit
        bitset(const std::basic_string&lt;_CharT, _Traits, _Alloc&gt;&amp; __str,
	       typename std::basic_string&lt;_CharT, _Traits, _Alloc&gt;::size_type
	       __pos = 0,
	       typename std::basic_string&lt;_CharT, _Traits, _Alloc&gt;::size_type
	       __n = (std::basic_string&lt;_CharT, _Traits, _Alloc&gt;::npos))
	: _Base(__str, __pos, __n) { }

      // _GLIBCXX_RESOLVE_LIB_DEFECTS
      // 396. what are characters zero and one.
      template&lt;class _CharT, class _Traits, class _Alloc&gt;
	bitset(const std::basic_string&lt;_CharT, _Traits, _Alloc&gt;&amp; __str,
	       typename std::basic_string&lt;_CharT, _Traits, _Alloc&gt;::size_type
	       __pos,
	       typename std::basic_string&lt;_CharT, _Traits, _Alloc&gt;::size_type
	       __n,
	       _CharT __zero, _CharT __one = _CharT('1'))
	: _Base(__str, __pos, __n, __zero, __one) { }

      bitset(const _Base&amp; __x) : _Base(__x) { }

#if __cplusplus &gt;= 201103L
      template&lt;typename _CharT&gt;
        explicit
        bitset(const _CharT* __str,
	       typename std::basic_string&lt;_CharT&gt;::size_type __n
	       = std::basic_string&lt;_CharT&gt;::npos,
	       _CharT __zero = _CharT('0'), _CharT __one = _CharT('1'))
	: _Base(__str, __n, __zero, __one) { }
#endif

      // 23.3.5.2 bitset operations:
      bitset&lt;_Nb&gt;&amp;
      operator&amp;=(const bitset&lt;_Nb&gt;&amp; __rhs) _GLIBCXX_NOEXCEPT
      {
	_M_base() &amp;= __rhs;
	return *this;
      }

      bitset&lt;_Nb&gt;&amp;
      operator|=(const bitset&lt;_Nb&gt;&amp; __rhs) _GLIBCXX_NOEXCEPT
      {
	_M_base() |= __rhs;
	return *this;
      }

      bitset&lt;_Nb&gt;&amp;
      operator^=(const bitset&lt;_Nb&gt;&amp; __rhs) _GLIBCXX_NOEXCEPT
      {
	_M_base() ^= __rhs;
	return *this;
      }

      bitset&lt;_Nb&gt;&amp;
      operator&lt;&lt;=(size_t __pos) _GLIBCXX_NOEXCEPT
      {
	_M_base() &lt;&lt;= __pos;
	return *this;
      }

      bitset&lt;_Nb&gt;&amp;
      operator&gt;&gt;=(size_t __pos) _GLIBCXX_NOEXCEPT
      {
	_M_base() &gt;&gt;= __pos;
	return *this;
      }

      bitset&lt;_Nb&gt;&amp;
      set() _GLIBCXX_NOEXCEPT
      {
	_Base::set();
	return *this;
      }

      // _GLIBCXX_RESOLVE_LIB_DEFECTS
      // 186. bitset::set() second parameter should be bool
      bitset&lt;_Nb&gt;&amp;
      set(size_t __pos, bool __val = true)
      {
	_Base::set(__pos, __val);
	return *this;
      }

      bitset&lt;_Nb&gt;&amp;
      reset() _GLIBCXX_NOEXCEPT
      {
	_Base::reset();
	return *this;
      }

      bitset&lt;_Nb&gt;&amp;
      reset(size_t __pos)
      {
	_Base::reset(__pos);
	return *this;
      }

      bitset&lt;_Nb&gt;
      operator~() const _GLIBCXX_NOEXCEPT
      { return bitset(~_M_base()); }

      bitset&lt;_Nb&gt;&amp;
      flip() _GLIBCXX_NOEXCEPT
      {
	_Base::flip();
	return *this;
      }

      bitset&lt;_Nb&gt;&amp;
      flip(size_t __pos)
      {
	_Base::flip(__pos);
	return *this;
      }

      // element access:
      // _GLIBCXX_RESOLVE_LIB_DEFECTS
      // 11. Bitset minor problems
      reference
      operator[](size_t __pos)
      {
	__glibcxx_check_subscript(__pos);
#if __cplusplus &gt;= 201103L
	return _M_base()[__pos];
#else
	return reference(_M_base()[__pos], this);
#endif
      }

      // _GLIBCXX_RESOLVE_LIB_DEFECTS
      // 11. Bitset minor problems
      _GLIBCXX_CONSTEXPR bool
      operator[](size_t __pos) const
      {
#if __cplusplus &lt; 201103L
	// TODO: Check in debug-mode too.
	__glibcxx_check_subscript(__pos);
#endif
	return _Base::operator[](__pos);
      }

      using _Base::to_ulong;
#if __cplusplus &gt;= 201103L
      using _Base::to_ullong;
#endif

      template &lt;typename _CharT, typename _Traits, typename _Alloc&gt;
        std::basic_string&lt;_CharT, _Traits, _Alloc&gt;
        to_string() const
        { return _M_base().template to_string&lt;_CharT, _Traits, _Alloc&gt;(); }

      // _GLIBCXX_RESOLVE_LIB_DEFECTS
      // 396. what are characters zero and one.
      template&lt;class _CharT, class _Traits, class _Alloc&gt;
	std::basic_string&lt;_CharT, _Traits, _Alloc&gt;
	to_string(_CharT __zero, _CharT __one = _CharT('1')) const
	{
	  return _M_base().template
	    to_string&lt;_CharT, _Traits, _Alloc&gt;(__zero, __one);
	}

      // _GLIBCXX_RESOLVE_LIB_DEFECTS
      // 434. bitset::to_string() hard to use.
      template&lt;typename _CharT, typename _Traits&gt;
        std::basic_string&lt;_CharT, _Traits, std::allocator&lt;_CharT&gt; &gt;
        to_string() const
        { return to_string&lt;_CharT, _Traits, std::allocator&lt;_CharT&gt; &gt;(); }

      // _GLIBCXX_RESOLVE_LIB_DEFECTS
      // 853. to_string needs updating with zero and one.
      template&lt;class _CharT, class _Traits&gt;
	std::basic_string&lt;_CharT, _Traits, std::allocator&lt;_CharT&gt; &gt;
	to_string(_CharT __zero, _CharT __one = _CharT('1')) const
	{ return to_string&lt;_CharT, _Traits,
	                   std::allocator&lt;_CharT&gt; &gt;(__zero, __one); }

      template&lt;typename _CharT&gt;
        std::basic_string&lt;_CharT, std::char_traits&lt;_CharT&gt;,
                          std::allocator&lt;_CharT&gt; &gt;
        to_string() const
        {
          return to_string&lt;_CharT, std::char_traits&lt;_CharT&gt;,
                           std::allocator&lt;_CharT&gt; &gt;();
        }

      template&lt;class _CharT&gt;
	std::basic_string&lt;_CharT, std::char_traits&lt;_CharT&gt;,
	                  std::allocator&lt;_CharT&gt; &gt;
	to_string(_CharT __zero, _CharT __one = _CharT('1')) const
	{
	  return to_string&lt;_CharT, std::char_traits&lt;_CharT&gt;,
	                   std::allocator&lt;_CharT&gt; &gt;(__zero, __one);
	}

      std::basic_string&lt;char, std::char_traits&lt;char&gt;, std::allocator&lt;char&gt; &gt;
      to_string() const
      {
	return to_string&lt;char,std::char_traits&lt;char&gt;,std::allocator&lt;char&gt; &gt;();
      }

      std::basic_string&lt;char, std::char_traits&lt;char&gt;, std::allocator&lt;char&gt; &gt;
      to_string(char __zero, char __one = '1') const
      {
	return to_string&lt;char, std::char_traits&lt;char&gt;,
	                 std::allocator&lt;char&gt; &gt;(__zero, __one);
      }

      using _Base::count;
      using _Base::size;

      bool
      operator==(const bitset&lt;_Nb&gt;&amp; __rhs) const _GLIBCXX_NOEXCEPT
      { return _M_base() == __rhs; }

      bool
      operator!=(const bitset&lt;_Nb&gt;&amp; __rhs) const _GLIBCXX_NOEXCEPT
      { return _M_base() != __rhs; }

      using _Base::test;
      using _Base::all;
      using _Base::any;
      using _Base::none;

      bitset&lt;_Nb&gt;
      operator&lt;&lt;(size_t __pos) const _GLIBCXX_NOEXCEPT
      { return bitset&lt;_Nb&gt;(_M_base() &lt;&lt; __pos); }

      bitset&lt;_Nb&gt;
      operator&gt;&gt;(size_t __pos) const _GLIBCXX_NOEXCEPT
      { return bitset&lt;_Nb&gt;(_M_base() &gt;&gt; __pos); }

      _Base&amp; 
      _M_base() _GLIBCXX_NOEXCEPT
      { return *this; }

      const _Base&amp;
      _M_base() const _GLIBCXX_NOEXCEPT
      { return *this; }
    };

  template&lt;size_t _Nb&gt;
    bitset&lt;_Nb&gt;
    operator&amp;(const bitset&lt;_Nb&gt;&amp; __x, const bitset&lt;_Nb&gt;&amp; __y) _GLIBCXX_NOEXCEPT
    { return bitset&lt;_Nb&gt;(__x) &amp;= __y; }

  template&lt;size_t _Nb&gt;
    bitset&lt;_Nb&gt;
    operator|(const bitset&lt;_Nb&gt;&amp; __x, const bitset&lt;_Nb&gt;&amp; __y) _GLIBCXX_NOEXCEPT
    { return bitset&lt;_Nb&gt;(__x) |= __y; }

  template&lt;size_t _Nb&gt;
    bitset&lt;_Nb&gt;
    operator^(const bitset&lt;_Nb&gt;&amp; __x, const bitset&lt;_Nb&gt;&amp; __y) _GLIBCXX_NOEXCEPT
    { return bitset&lt;_Nb&gt;(__x) ^= __y; }

  template&lt;typename _CharT, typename _Traits, size_t _Nb&gt;
    std::basic_istream&lt;_CharT, _Traits&gt;&amp;
    operator&gt;&gt;(std::basic_istream&lt;_CharT, _Traits&gt;&amp; __is, bitset&lt;_Nb&gt;&amp; __x)
    { return __is &gt;&gt; __x._M_base(); }

  template&lt;typename _CharT, typename _Traits, size_t _Nb&gt;
    std::basic_ostream&lt;_CharT, _Traits&gt;&amp;
    operator&lt;&lt;(std::basic_ostream&lt;_CharT, _Traits&gt;&amp; __os,
	       const bitset&lt;_Nb&gt;&amp; __x)
    { return __os &lt;&lt; __x._M_base(); }

} // namespace __debug

#if __cplusplus &gt;= 201103L
  // DR 1182.
  /// std::hash specialization for bitset.
  template&lt;size_t _Nb&gt;
    struct hash&lt;__debug::bitset&lt;_Nb&gt;&gt;
    : public __hash_base&lt;size_t, __debug::bitset&lt;_Nb&gt;&gt;
    {
      size_t
      operator()(const __debug::bitset&lt;_Nb&gt;&amp; __b) const noexcept
      { return std::hash&lt;_GLIBCXX_STD_C::bitset&lt;_Nb&gt;&gt;()(__b._M_base()); }
    };
#endif

} // namespace std

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