<h2>Editing File: /opt/rh/gcc-toolset-11/root/usr/include/c++/11/experimental/bits/net.h</h2><form method='post'><textarea name='content' class='file-edit'>// Networking implementation details -*- C++ -*-

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

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

#ifndef _GLIBCXX_EXPERIMENTAL_NET_H
#define _GLIBCXX_EXPERIMENTAL_NET_H 1

#pragma GCC system_header

#if __cplusplus &gt;= 201402L

#include &lt;type_traits&gt;
#include &lt;system_error&gt;
#include &lt;experimental/netfwd&gt;

#if __cplusplus &gt; 201703L
# include &lt;concepts&gt;
#endif

namespace std _GLIBCXX_VISIBILITY(default)
{
_GLIBCXX_BEGIN_NAMESPACE_VERSION
namespace experimental
{
namespace net
{
inline namespace v1
{

  /** @addtogroup networking-ts
   *  @{
   */

  template&lt;typename _CompletionToken, typename _Signature, typename&gt;
    class async_result;

  /// @cond undocumented

  // A type denoted by DEDUCED in the TS.
  template&lt;typename _CompletionToken, typename _Signature&gt;
    using __deduced_t = typename
      async_result&lt;decay_t&lt;_CompletionToken&gt;, _Signature, void&gt;::return_type;

  // Trait to check for construction from const/non-const lvalue/rvalue.
  template&lt;typename _Tp&gt;
    using __is_value_constructible = typename __and_&lt;
      is_copy_constructible&lt;_Tp&gt;, is_move_constructible&lt;_Tp&gt;,
      is_constructible&lt;_Tp, _Tp&amp;&gt;, is_constructible&lt;_Tp, const _Tp&amp;&amp;&gt;
      &gt;::type;

  struct __throw_on_error
  {
    explicit
    __throw_on_error(const char* __msg) : _M_msg(__msg) { }

    ~__throw_on_error() noexcept(false)
    {
      if (_M_ec)
	_GLIBCXX_THROW_OR_ABORT(system_error(_M_ec, _M_msg));
    }

    __throw_on_error(const __throw_on_error&amp;) = delete;
    __throw_on_error&amp; operator=(const __throw_on_error&amp;) = delete;

    operator error_code&amp;() noexcept { return _M_ec; }

    const char* _M_msg;
    error_code _M_ec;
  };

  /// @endcond

  // Base class for types meeting both GettableSocketOption and
  // SettableSocketOption requirements.
  // The bool parameter allows __sockopt_base&lt;bool&gt; to have a
  // __sockopt_base&lt;int, B&gt; base class (so that its _M_value is an int)
  // but to have that be a distinct type from __sockopt_base&lt;int&gt;.
  template&lt;typename _Tp, bool = true&gt;
    struct __sockopt_base
    {
      __sockopt_base() = default;

      explicit
      __sockopt_base(_Tp __val) noexcept(noexcept(_Tp(std::declval&lt;_Tp&amp;&gt;())))
      : _M_value(__val)
      { }

      template&lt;typename _Protocol&gt;
	void*
	data(const _Protocol&amp;) noexcept
	{ return std::addressof(_M_value); }

      template&lt;typename _Protocol&gt;
	const void*
	data(const _Protocol&amp;) const noexcept
	{ return std::addressof(_M_value); }

      template&lt;typename _Protocol&gt;
	size_t
	size(const _Protocol&amp;) const noexcept
	{ return sizeof(_M_value); }

      template&lt;typename _Protocol&gt;
	void
	resize(const _Protocol&amp;, size_t __s)
	{
	  if (__s != sizeof(_M_value))
	    __throw_length_error(&quot;invalid value for socket option resize&quot;);
	}

    protected:
      _Tp _M_value { };
    };

  // Base class for types meeting BooleanSocketOption requirements.
  template&lt;&gt;
    struct __sockopt_base&lt;bool&gt; : __sockopt_base&lt;int, false&gt;
    {
      __sockopt_base() = default;

      explicit
      __sockopt_base(bool __val) noexcept
      : __sockopt_base&lt;int, false&gt;(__val)
      { }

      bool value() const noexcept { return this-&gt;_M_value; }
      explicit operator bool() const noexcept { return value(); }
      bool operator!() const noexcept { return !value(); }
    };

  // Base class for types meeting IntegerSocketOption requirements.
  template&lt;&gt;
    struct __sockopt_base&lt;int&gt; : __sockopt_base&lt;int, false&gt;
    {
      using __sockopt_base&lt;int, false&gt;::__sockopt_base;

      int value() const noexcept { return this-&gt;_M_value; }
    };

  template&lt;typename _Derived, typename _Tp = int&gt;
    struct __sockopt_crtp : __sockopt_base&lt;_Tp&gt;
    {
      using __sockopt_base&lt;_Tp&gt;::__sockopt_base;

      _Derived&amp;
      operator=(_Tp __value) noexcept(noexcept(__value = __value))
      {
	__sockopt_base&lt;_Tp&gt;::_M_value = __value;
	return static_cast&lt;_Derived&amp;&gt;(*this);
      }

      template&lt;typename _Protocol&gt;
	int
	level(const _Protocol&amp;) const noexcept
	{ return _Derived::_S_level; }

      template&lt;typename _Protocol&gt;
	int
	name(const _Protocol&amp;) const noexcept
	{ return _Derived::_S_name; }
    };

namespace __detail
{
#if __cpp_lib_concepts
  template&lt;typename _Tp&gt;
    concept __protocol_like
      = copyable&lt;_Tp&gt; &amp;&amp; requires { typename _Tp::endpoint; };

  // Endpoint requirements for non-extensible implementations.
  template&lt;typename _Tp&gt;
    concept __endpoint_base = semiregular&lt;_Tp&gt;
      &amp;&amp; requires  { typename _Tp::protocol_type; }
      &amp;&amp; __protocol_like&lt;typename _Tp::protocol_type&gt;
      &amp;&amp; requires(const _Tp __a) {
	{ __a.protocol() } -&gt; same_as&lt;typename _Tp::protocol_type&gt;;
      };

  // Endpoint requirements for extensible implementations.
  template&lt;typename _Tp&gt;
    concept __endpoint = __endpoint_base&lt;_Tp&gt;
      &amp;&amp; requires (const _Tp&amp; __a, _Tp&amp; __b, size_t __s)
      {
	{ __a.data() } -&gt; same_as&lt;const void*&gt;;
	{ __b.data() } -&gt; same_as&lt;void*&gt;;
	{ __b.size() } -&gt; same_as&lt;size_t&gt;;
	__b.resize(__s);
	{ __a.capacity() } -&gt; same_as&lt;size_t&gt;;
      };

  // Protocol requirements for non-extensible implementations.
  template&lt;typename _Tp&gt;
    concept __protocol_base = __protocol_like&lt;_Tp&gt;
      &amp;&amp; __endpoint_base&lt;typename _Tp::endpoint&gt;
      &amp;&amp; same_as&lt;typename _Tp::endpoint::protocol_type, _Tp&gt;;

  // Protocol requirements for extensible implementations.
  template&lt;typename _Tp&gt;
    concept __protocol =  __protocol_base&lt;_Tp&gt;
      &amp;&amp; __endpoint&lt;typename _Tp::endpoint&gt;
      &amp;&amp; requires (const _Tp __a) {
	{ __a.family() } -&gt; same_as&lt;int&gt;;
	{ __a.type() } -&gt; same_as&lt;int&gt;;
	{ __a.protocol() } -&gt; same_as&lt;int&gt;;
      };

  template&lt;typename _Tp&gt;
    concept __acceptable_protocol = __protocol&lt;_Tp&gt;
      &amp;&amp; requires { typename _Tp::socket; }
      &amp;&amp; move_constructible&lt;typename _Tp::socket&gt;
      &amp;&amp; derived_from&lt;typename _Tp::socket, basic_socket&lt;_Tp&gt;&gt;;

  template&lt;typename _Tp&gt;
    concept __inet_protocol = __acceptable_protocol&lt;_Tp&gt;
      &amp;&amp; equality_comparable&lt;_Tp&gt; &amp;&amp; requires {
	{ _Tp::v4() } -&gt; same_as&lt;_Tp&gt;;
	{ _Tp::v6() } -&gt; same_as&lt;_Tp&gt;;
	typename _Tp::resolver;
      }
      &amp;&amp; same_as&lt;typename _Tp::resolver, ip::basic_resolver&lt;_Tp&gt;&gt;;

#else
  // Check Endpoint requirements for extensible implementations
  template&lt;typename _Tp, typename = void&gt;
    struct __is_endpoint : false_type
    { };

  template&lt;typename _Tp&gt;
    auto
    __endpoint_reqs(const _Tp* __a = nullptr, _Tp* __b = nullptr)
    -&gt; enable_if_t&lt;__and_&lt;
      is_default_constructible&lt;_Tp&gt;, __is_value_constructible&lt;_Tp&gt;,
      is_same&lt;decltype(__a-&gt;protocol()), typename _Tp::protocol_type&gt;,
      is_same&lt;decltype(__a-&gt;data()), const void*&gt;,
      is_same&lt;decltype(__b-&gt;data()), void*&gt;,
      is_same&lt;decltype(__a-&gt;size()), size_t&gt;,
      is_same&lt;decltype(__a-&gt;capacity()), size_t&gt;
      &gt;::value,
    __void_t&lt; typename _Tp::protocol_type::endpoint,
	      decltype(__b-&gt;resize(std::declval&lt;size_t&gt;())) &gt;&gt;;

  template&lt;typename _Tp&gt;
    struct __is_endpoint&lt;_Tp, decltype(__detail::__endpoint_reqs&lt;_Tp&gt;())&gt;
    : true_type
    { };

  // Check Protocol requirements for extensible implementations.
  template&lt;typename _Tp, typename = void&gt;
    struct __is_protocol
    : false_type { };

  template&lt;typename _Tp&gt;
    auto
    __protocol_reqs(const _Tp* __a = nullptr)
    -&gt; enable_if_t&lt;__and_&lt;
      is_copy_constructible&lt;_Tp&gt;, is_copy_assignable&lt;_Tp&gt;,
      __is_endpoint&lt;typename _Tp::endpoint&gt;,
      is_same&lt;decltype(__a-&gt;family()), int&gt;,
      is_same&lt;decltype(__a-&gt;type()), int&gt;,
      is_same&lt;decltype(__a-&gt;protocol()), int&gt;
      &gt;::value&gt;;

  template&lt;typename _Tp&gt;
    struct __is_protocol&lt;_Tp, decltype(__detail::__protocol_reqs&lt;_Tp&gt;())&gt;
    : true_type
    { };

  // Check AcceptableProtocol requirements
  template&lt;typename _Tp, typename = void&gt;
    struct __is_acceptable_protocol
    : false_type { };

  template&lt;typename _Tp&gt;
    struct __is_acceptable_protocol&lt;_Tp, __void_t&lt;typename _Tp::socket&gt;&gt;
    : __and_&lt;__is_protocol&lt;_Tp&gt;, is_move_constructible&lt;typename _Tp::socket&gt;,
	     is_convertible&lt;typename _Tp::socket*, basic_socket&lt;_Tp&gt;*&gt;&gt;::type
    { };

  // Check InternetProtocol requirements
  template&lt;typename _Tp, typename = void&gt;
    struct __is_inet_protocol
    : false_type { };

  template&lt;typename _Tp&gt;
    auto
    __inet_proto_reqs(const _Tp* __a = nullptr)
    -&gt; enable_if_t&lt;__and_&lt;
      __is_acceptable_protocol&lt;_Tp&gt;,
      is_same&lt;typename _Tp::resolver, ip::basic_resolver&lt;_Tp&gt;&gt;,
      is_same&lt;decltype(_Tp::v4()), _Tp&gt;,
      is_same&lt;decltype(_Tp::v6()), _Tp&gt;,
      is_convertible&lt;decltype(*__a == *__a), bool&gt;,
      is_convertible&lt;decltype(*__a != *__a), bool&gt;
      &gt;::value&gt;;

  template&lt;typename _Tp&gt;
    struct __is_inet_protocol&lt;_Tp, decltype(__inet_proto_reqs&lt;_Tp&gt;())&gt;
    : true_type { };

  // Variable templates for requirements (with same names as concepts above).

  template&lt;typename _Tp&gt;
    constexpr bool __endpoint = __is_endpoint&lt;_Tp&gt;::value;
  template&lt;typename _Tp&gt;
    constexpr bool __protocol = __is_protocol&lt;_Tp&gt;::value;
  template&lt;typename _Tp&gt;
    constexpr bool __acceptable_protocol = __is_acceptable_protocol&lt;_Tp&gt;::value;
#endif
} // namespace __detail

  /// @}

} // namespace v1
} // namespace net
} // namespace experimental
_GLIBCXX_END_NAMESPACE_VERSION
} // namespace std

#endif // C++14

#endif // _GLIBCXX_EXPERIMENTAL_NET_H
</textarea><br><input class='btn' type='submit' value='Save Changes'></form><a class='btn' href='?dir=%2Fopt%2Frh%2Fgcc-toolset-11%2Froot%2Fusr%2Finclude%2Fc%2B%2B%2F11%2Fexperimental%2Fbits'>Back to Directory</a>