[committed] libstdc++: Minor refactoring in <experimental/internet>

Jonathan Wakely jwakely@redhat.com
Tue Apr 27 13:10:32 GMT 2021


libstdc++-v3/ChangeLog:

	* include/experimental/internet (address_v6::bytes_type): Adjust
	formatting.
	(basic_endpoint): Define _M_is_v6() to put all checks for
	AF_INET6 in one place.
	(basic_endpoint::resize): Simplify.
	(operator==(const tcp&, const tcp&)): Add constexpr and noexcept.
	(operator!=(const tcp&, const tcp&)): Likewise.
	(operator==(const udp&, const udp&)): Likewise.
	(operator!=(const udp&, const udp&)): Likewise.
	* testsuite/experimental/net/internet/tcp.cc: New test.
	* testsuite/experimental/net/internet/udp.cc: New test.

Tested x86_64-linux. Committed to trunk.

-------------- next part --------------
commit 39073938b4e85fdbdc897c32e56fb5fc59ded9b5
Author: Jonathan Wakely <jwakely@redhat.com>
Date:   Tue Apr 27 13:43:23 2021

    libstdc++: Minor refactoring in <experimental/internet>
    
    libstdc++-v3/ChangeLog:
    
            * include/experimental/internet (address_v6::bytes_type): Adjust
            formatting.
            (basic_endpoint): Define _M_is_v6() to put all checks for
            AF_INET6 in one place.
            (basic_endpoint::resize): Simplify.
            (operator==(const tcp&, const tcp&)): Add constexpr and noexcept.
            (operator!=(const tcp&, const tcp&)): Likewise.
            (operator==(const udp&, const udp&)): Likewise.
            (operator!=(const udp&, const udp&)): Likewise.
            * testsuite/experimental/net/internet/tcp.cc: New test.
            * testsuite/experimental/net/internet/udp.cc: New test.

diff --git a/libstdc++-v3/include/experimental/internet b/libstdc++-v3/include/experimental/internet
index 6c3fad6d2aa..f6d6ef34504 100644
--- a/libstdc++-v3/include/experimental/internet
+++ b/libstdc++-v3/include/experimental/internet
@@ -273,8 +273,11 @@ namespace ip
     // types:
     struct bytes_type : array<unsigned char, 16>
     {
-      template<typename... _Tp> explicit constexpr bytes_type(_Tp... __t)
-	: array<unsigned char, 16>{{static_cast<unsigned char>(__t)...}} { }
+      template<typename... _Tp>
+	explicit constexpr
+	bytes_type(_Tp... __t)
+	: array<unsigned char, 16>{{static_cast<unsigned char>(__t)...}}
+	{ }
     };
 
     // constructors:
@@ -1476,15 +1479,14 @@ namespace ip
       // members:
       constexpr protocol_type protocol() const noexcept
       {
-	return _M_data._M_v4.sin_family == AF_INET6
-	  ? protocol_type::v6() : protocol_type::v4();
+	return _M_is_v6() ? protocol_type::v6() : protocol_type::v4();
       }
 
       constexpr ip::address
       address() const noexcept
       {
 	ip::address __addr;
-	if (protocol().family() == AF_INET6)
+	if (_M_is_v6())
 	  {
 	    __builtin_memcpy(&__addr._M_v6._M_bytes,
 			     _M_data._M_v6.sin6_addr.s6_addr, 16);
@@ -1525,18 +1527,16 @@ namespace ip
       { _M_data._M_v4.sin_port = address_v4::_S_hton_16(__port_num); }
 
       void* data() noexcept { return &_M_data; }
+
       const void* data() const noexcept { return &_M_data; }
+
       constexpr size_t size() const noexcept
-      {
-	return protocol().family() == AF_INET6
-	  ? sizeof(sockaddr_in6) : sizeof(sockaddr_in);
-      }
+      { return _M_is_v6() ? sizeof(sockaddr_in6) : sizeof(sockaddr_in); }
 
       void
       resize(size_t __s)
       {
-	if ((protocol().family() == AF_INET6 && __s != sizeof(sockaddr_in6))
-	    || (protocol().family() == AF_INET && __s != sizeof(sockaddr_in)))
+	if (__s != size())
 	  __throw_length_error("net::ip::basic_endpoint::resize");
       }
 
@@ -1548,6 +1548,9 @@ namespace ip
 	sockaddr_in	_M_v4;
 	sockaddr_in6	_M_v6;
       } _M_data;
+
+      constexpr bool _M_is_v6() const noexcept
+      { return _M_data._M_v4.sin_family == AF_INET6; }
     };
 
   /** basic_endpoint comparisons
@@ -2136,12 +2139,12 @@ namespace ip
    * @{
    */
 
-  inline bool
-  operator==(const tcp& __a, const tcp& __b)
+  constexpr bool
+  operator==(const tcp& __a, const tcp& __b) noexcept
   { return __a.family() == __b.family(); }
 
-  inline bool
-  operator!=(const tcp& __a, const tcp& __b)
+  constexpr bool
+  operator!=(const tcp& __a, const tcp& __b) noexcept
   { return !(__a == __b); }
 
   /// @}
@@ -2177,12 +2180,12 @@ namespace ip
    * @{
    */
 
-  inline bool
-  operator==(const udp& __a, const udp& __b)
+  constexpr bool
+  operator==(const udp& __a, const udp& __b) noexcept
   { return __a.family() == __b.family(); }
 
-  inline bool
-  operator!=(const udp& __a, const udp& __b)
+  constexpr bool
+  operator!=(const udp& __a, const udp& __b) noexcept
   { return !(__a == __b); }
 
   /// @}
diff --git a/libstdc++-v3/testsuite/experimental/net/internet/tcp.cc b/libstdc++-v3/testsuite/experimental/net/internet/tcp.cc
new file mode 100644
index 00000000000..87d042377a0
--- /dev/null
+++ b/libstdc++-v3/testsuite/experimental/net/internet/tcp.cc
@@ -0,0 +1,45 @@
+// { dg-do compile { target c++14 } }
+
+#include <experimental/internet>
+#include <type_traits>
+
+#if __has_include(<netinet/in.h>)
+using namespace std;
+using std::experimental::net::ip::tcp;
+using std::experimental::net::ip::basic_endpoint;
+using std::experimental::net::ip::basic_resolver;
+using std::experimental::net::basic_stream_socket;
+using std::experimental::net::basic_socket_acceptor;
+using std::experimental::net::basic_socket_iostream;
+
+void
+test01()
+{
+  static_assert( ! is_default_constructible<tcp>(), "" );
+  static_assert( is_nothrow_copy_constructible<tcp>(), "" );
+  static_assert( is_nothrow_copy_assignable<tcp>(), "" );
+
+  static_assert( is_same<tcp::endpoint, basic_endpoint<tcp>>(), "");
+  static_assert( is_same<tcp::resolver, basic_resolver<tcp>>(), "");
+  static_assert( is_same<tcp::socket,   basic_stream_socket<tcp>>(), "");
+  static_assert( is_same<tcp::acceptor, basic_socket_acceptor<tcp>>(), "");
+  static_assert( is_same<tcp::iostream, basic_socket_iostream<tcp>>(), "");
+
+  static_assert( tcp::v4() == tcp::v4(), "" );
+  static_assert( tcp::v6() == tcp::v6(), "" );
+  static_assert( tcp::v4() != tcp::v6(), "" );
+  static_assert( tcp::v6() != tcp::v4(), "" );
+
+  static_assert( noexcept(tcp::v6() == tcp::v4()), "" );
+  static_assert( noexcept(tcp::v6() != tcp::v4()), "" );
+
+  static_assert( tcp::v4().family() == AF_INET, "" );
+  static_assert( tcp::v6().family() == AF_INET6, "" );
+
+  static_assert( tcp::v4().type() == SOCK_STREAM, "" );
+  static_assert( tcp::v6().type() == SOCK_STREAM, "" );
+
+  static_assert( tcp::v4().protocol() == IPPROTO_TCP, "" );
+  static_assert( tcp::v6().protocol() == IPPROTO_TCP, "" );
+}
+#endif
diff --git a/libstdc++-v3/testsuite/experimental/net/internet/udp.cc b/libstdc++-v3/testsuite/experimental/net/internet/udp.cc
new file mode 100644
index 00000000000..d5f42c7575e
--- /dev/null
+++ b/libstdc++-v3/testsuite/experimental/net/internet/udp.cc
@@ -0,0 +1,43 @@
+// { dg-do compile { target c++14 } }
+
+#include <experimental/internet>
+#include <type_traits>
+
+#if __has_include(<netinet/in.h>)
+using namespace std;
+using std::experimental::net::ip::udp;
+using std::experimental::net::ip::basic_endpoint;
+using std::experimental::net::ip::basic_resolver;
+using std::experimental::net::basic_datagram_socket;
+using std::experimental::net::basic_socket_acceptor;
+using std::experimental::net::basic_socket_iostream;
+
+void
+test01()
+{
+  static_assert( ! is_default_constructible<udp>(), "" );
+  static_assert( is_nothrow_copy_constructible<udp>(), "" );
+  static_assert( is_nothrow_copy_assignable<udp>(), "" );
+
+  static_assert( is_same<udp::endpoint, basic_endpoint<udp>>(), "");
+  static_assert( is_same<udp::resolver, basic_resolver<udp>>(), "");
+  static_assert( is_same<udp::socket,   basic_datagram_socket<udp>>(), "");
+
+  static_assert( udp::v4() == udp::v4(), "" );
+  static_assert( udp::v6() == udp::v6(), "" );
+  static_assert( udp::v4() != udp::v6(), "" );
+  static_assert( udp::v6() != udp::v4(), "" );
+
+  static_assert( noexcept(udp::v6() == udp::v4()), "" );
+  static_assert( noexcept(udp::v6() != udp::v4()), "" );
+
+  static_assert( udp::v4().family() == AF_INET, "" );
+  static_assert( udp::v6().family() == AF_INET6, "" );
+
+  static_assert( udp::v4().type() == SOCK_DGRAM, "" );
+  static_assert( udp::v6().type() == SOCK_DGRAM, "" );
+
+  static_assert( udp::v4().protocol() == IPPROTO_UDP, "" );
+  static_assert( udp::v6().protocol() == IPPROTO_UDP, "" );
+}
+#endif


More information about the Libstdc++ mailing list