RESTinio
Loading...
Searching...
No Matches
restinio::writable_item_t Class Reference

Class for storing the buffers used for streaming body (request/response). More...

#include <buffers.hpp>

Public Member Functions

 writable_item_t (const writable_item_t &)=delete
writable_item_toperator= (const writable_item_t &)=delete
 writable_item_t ()
 writable_item_t (const_buffer_t const_buf)
template<typename Datasizeable, typename S = typename std::enable_if_t< !std::is_same< std::vector< writable_item_t >, Datasizeable >::value >>
 writable_item_t (Datasizeable ds)
 writable_item_t (const char *str)
template<typename Datasizeable>
 writable_item_t (std::shared_ptr< Datasizeable > sp)
 writable_item_t (sendfile_t sf_opts)
 writable_item_t (writable_item_t &&b)
writable_item_toperator= (writable_item_t &&b)
 ~writable_item_t ()
writable_item_type_t write_type () const noexcept
 Get a type of a stored buffer object.
std::size_t size () const
 Get the size of the underlying buffer object.
asio_ns::const_buffer buf () const
 Create a buf reference object used by ASIO.
sendfile_tsendfile_operation ()
 Get a reference to a sendfile operation.

Private Member Functions

void destroy_stored_buffer ()
Access an item as an object of specific types.

Casts a stored object to one of the types.

const impl::writable_base_tget_writable_base () const noexcept
 Access as writable_base_t item.
impl::writable_base_tget_writable_base () noexcept
 Access as writable_base_t item.
const impl::buf_iface_tget_buf () const noexcept
 Access as trivial buf item.
impl::buf_iface_tget_buf () noexcept
 Access as trivial buf item.
impl::sendfile_write_operation_tget_sfwo () noexcept
 Access as sendfile_write_operation_t item.

Private Attributes

writable_item_type_t m_write_type
std::array< char, impl::needed_storage_max_sizem_storage
 A storage for a buffer object of various types.

Detailed Description

Class for storing the buffers used for streaming body (request/response).

Supporting different types of entities that eventually result in output data sent to peer is a bit tricky. In the first step RESTionio distinguish two types of output data sources:

  • trivial buffers (those ones that can be presented as a pair of a pointer to data and the size of the data).
  • sendfile (send a piece of data from file utilizing native sendfile support Linux/FreeBSD/macOS and TransmitFile on windows).

Also trivial buffers are implemented diferently for different cases, includeing a template classes impl::datasizeable_buf_t<Datasizeable> and impl::shared_datasizeable_buf_t<Datasizeable>.

When using RESTinio response builder, response body can be constructed using different types of buffers, and once the result is flushed to the connection it must be sent to the socket. A couple of issues arises here. And one of them is how to store all these heterogeneous buffers with fewer allocations and less boilerplate necessary to handle each corner case. Storing and moving a bunch of buffers as a vector would be nice, but vector demands a single type to be used. And writable_item_t represents a custom variant-like abstraction for storing an arbitrary buffer object (std::variant itself is not the option as it is restricted to types defined beforehand and cannot benifit from the knowledge that all stored items are types derrived from impl::writable_base_t).

For storing the data of buffers m_storage is used. It is an aligned buffer sufficient to store any impl::writable_base_t descendant (there is a limitation concerned with impl::datasizeable_buf_t). Also writable_item_t exposes interface to treat it like a trivial buffer or a sendfile operation. The type of buffer currently stored in writable_item_t instance a write_type() function used.

Having such writable_item_t class, RESTinio can store a sequence of arbitrary buffers in std::vector.

An important note about use placement new, reinterpret_cast and std::launder

As described here (reserve URL) such code contains UB:

alignas(T) char buffer[sizeof(T)];
new(buffer) T{}; // (1)
T * p = reinterpret_cast<T*>(buffer); // (2)

The pointer p obtained at (2) is invalid because the lifetime of buffer ends at point (1) and address of buffer can be used as an address of new object T. The solution is to use std::launder function introduced in C++17:

alignas(T) char buffer[sizeof(T)];
new(buffer) T{}; // (1)
T * p = std::launder(reinterpret_cast<T*>(buffer)); // (2)

In that case reinterpret_cast<T*>(buffer) produces an invalid pointer that contain a valid address of new object T. std::launder makes translates that invalid pointer to a valid one and the resulting p can be used without UB.

Definition at line 523 of file buffers.hpp.

Constructor & Destructor Documentation

◆ writable_item_t() [1/8]

restinio::writable_item_t::writable_item_t ( const writable_item_t & )
delete

◆ writable_item_t() [2/8]

restinio::writable_item_t::writable_item_t ( )
inline

Definition at line 529 of file buffers.hpp.

◆ writable_item_t() [3/8]

restinio::writable_item_t::writable_item_t ( const_buffer_t const_buf)
inline

Definition at line 535 of file buffers.hpp.

◆ writable_item_t() [4/8]

template<typename Datasizeable, typename S = typename std::enable_if_t< !std::is_same< std::vector< writable_item_t >, Datasizeable >::value >>
restinio::writable_item_t::writable_item_t ( Datasizeable ds)
inline

Definition at line 548 of file buffers.hpp.

◆ writable_item_t() [5/8]

restinio::writable_item_t::writable_item_t ( const char * str)
inline

Definition at line 558 of file buffers.hpp.

◆ writable_item_t() [6/8]

template<typename Datasizeable>
restinio::writable_item_t::writable_item_t ( std::shared_ptr< Datasizeable > sp)
inline

Definition at line 565 of file buffers.hpp.

◆ writable_item_t() [7/8]

restinio::writable_item_t::writable_item_t ( sendfile_t sf_opts)
inline

Definition at line 578 of file buffers.hpp.

◆ writable_item_t() [8/8]

restinio::writable_item_t::writable_item_t ( writable_item_t && b)
inline

Definition at line 584 of file buffers.hpp.

◆ ~writable_item_t()

restinio::writable_item_t::~writable_item_t ( )
inline

Definition at line 603 of file buffers.hpp.

Member Function Documentation

◆ buf()

asio_ns::const_buffer restinio::writable_item_t::buf ( ) const
inline

Create a buf reference object used by ASIO.

Note
Stored buffer must be of writable_item_type_t::trivial_write_operation.

Definition at line 622 of file buffers.hpp.

◆ destroy_stored_buffer()

void restinio::writable_item_t::destroy_stored_buffer ( )
inlineprivate

Definition at line 639 of file buffers.hpp.

◆ get_buf() [1/2]

const impl::buf_iface_t * restinio::writable_item_t::get_buf ( ) const
inlineprivatenoexcept

Access as trivial buf item.

Definition at line 667 of file buffers.hpp.

◆ get_buf() [2/2]

impl::buf_iface_t * restinio::writable_item_t::get_buf ( )
inlineprivatenoexcept

Access as trivial buf item.

Definition at line 674 of file buffers.hpp.

◆ get_sfwo()

impl::sendfile_write_operation_t * restinio::writable_item_t::get_sfwo ( )
inlineprivatenoexcept

Access as sendfile_write_operation_t item.

Definition at line 681 of file buffers.hpp.

◆ get_writable_base() [1/2]

const impl::writable_base_t * restinio::writable_item_t::get_writable_base ( ) const
inlineprivatenoexcept

Access as writable_base_t item.

Definition at line 653 of file buffers.hpp.

◆ get_writable_base() [2/2]

impl::writable_base_t * restinio::writable_item_t::get_writable_base ( )
inlineprivatenoexcept

Access as writable_base_t item.

Definition at line 660 of file buffers.hpp.

◆ operator=() [1/2]

writable_item_t & restinio::writable_item_t::operator= ( const writable_item_t & )
delete

◆ operator=() [2/2]

writable_item_t & restinio::writable_item_t::operator= ( writable_item_t && b)
inline

Definition at line 591 of file buffers.hpp.

◆ sendfile_operation()

sendfile_t & restinio::writable_item_t::sendfile_operation ( )
inline

Get a reference to a sendfile operation.

Note
Stored buffer must be of writable_item_type_t::file_write_operation.
Since v.0.4.9 it is non-const method. It is because we have to work with mutable sendfile_t on some platform (like Windows).

Definition at line 632 of file buffers.hpp.

◆ size()

std::size_t restinio::writable_item_t::size ( ) const
inline

Get the size of the underlying buffer object.

Definition at line 616 of file buffers.hpp.

◆ write_type()

writable_item_type_t restinio::writable_item_t::write_type ( ) const
inlinenoexcept

Get a type of a stored buffer object.

Definition at line 610 of file buffers.hpp.

Member Data Documentation

◆ m_storage

std::array< char, impl::needed_storage_max_size > restinio::writable_item_t::m_storage
private

A storage for a buffer object of various types.

Note
Before 0.6.15 std::aligned_storage_t was used as type of this buffer. But because std::aligned_storage_t is deprecated in C++23 the type is changed in v.0.6.15.

Definition at line 696 of file buffers.hpp.

◆ m_write_type

writable_item_type_t restinio::writable_item_t::m_write_type
private

Definition at line 645 of file buffers.hpp.


The documentation for this class was generated from the following file: