18 Sockets [socket]

18.6 Class template basic_socket [socket.basic]

18.6.1 basic_socket constructors [socket.basic.cons]

explicit basic_socket(io_context& ctx);

1

Postconditions:

  • (1.1)

    get_executor() == ctx.get_executor().

  • (1.2)

    is_open() == false.

basic_socket(io_context& ctx, const protocol_type& protocol);

2

Effects: Opens this socket as if by calling open(protocol).

3

Postconditions:

  • (3.1)

    get_executor() == ctx.get_executor().

  • (3.2)

    is_open() == true.

  • (3.3)

    non_blocking() == false.

  • (3.4)

    protocol_ == protocol.

basic_socket(io_context& ctx, const endpoint_type& endpoint);

4

Effects: Opens and binds this socket as if by calling: 

open(endpoint.protocol());
bind(endpoint);
5

Postconditions:

  • (5.1)

    get_executor() == ctx.get_executor().

  • (5.2)

    is_open() == true.

  • (5.3)

    non_blocking() == false.

  • (5.4)

    protocol_ == endpoint.protocol().

basic_socket(io_context& ctx, const protocol_type& protocol, const native_handle_type& native_socket);

6

Requires: native_socket is a native handle to an open socket.

7

Effects: Assigns the existing native socket into this socket as if by calling assign(protocol, native_socket).

8

Postconditions:

  • (8.1)

    get_executor() == ctx.get_executor().

  • (8.2)

    is_open() == true.

  • (8.3)

    non_blocking() == false.

  • (8.4)

    protocol_ == protocol.

basic_socket(basic_socket&& rhs);

9

Effects: Move constructs an object of class basic_socket<Protocol> that refers to the state originally represented by rhs.

10

Postconditions:

  • (10.1)

    get_executor() == rhs.get_executor().

  • (10.2)

    is_open() returns the same value as rhs.is_open() prior to the constructor invocation.

  • (10.3)

    non_blocking() returns the same value as rhs.non_blocking() prior to the constructor invocation.

  • (10.4)

    native_handle() returns the prior value of rhs.native_handle().

  • (10.5)

    protocol_ is the prior value of rhs.protocol_.

  • (10.6)

    rhs.is_open() == false.

template<class OtherProtocol> basic_socket(basic_socket<OtherProtocol>&& rhs);

11

Requires: OtherProtocol is implicitly convertible to Protocol.

12

Effects: Move constructs an object of class basic_socket<Protocol> that refers to the state originally represented by rhs.

13

Postconditions:

  • (13.1)

    get_executor() == rhs.get_executor().

  • (13.2)

    is_open() returns the same value as rhs.is_open() prior to the constructor invocation.

  • (13.3)

    non_blocking() returns the same value as rhs.non_blocking() prior to the constructor invocation.

  • (13.4)

    native_handle() returns the prior value of rhs.native_handle().

  • (13.5)

    protocol_ is the result of converting the prior value of rhs.protocol_.

  • (13.6)

    rhs.is_open() == false.

14

Remarks: This constructor shall not participate in overload resolution unless OtherProtocol is implicitly convertible to Protocol.