1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
// { dg-do compile { target c++14 } }
// { dg-require-effective-target net_ts_ip }
#include <experimental/internet>
#include <type_traits>
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, "" );
}
|
