Подтвердить что ты не робот

Цепочка асинхронных Lambdas с Boost.Asio?

Я нахожу код написания, который в основном выглядит следующим образом:

using boost::system::error_code;

socket.async_connect(endpoint, [&](error_code Error)
{
  if (Error)
  {
    print_error(Error);
    return;
  }

  // Read header
  socket.async_read(socket, somebuffer, [&](error_code Error, std::size_t N)
  {
    if (Error)
    {
      print_error(Error);
      return;
    }

    // Read actual data
    socket.async_read(socket, somebuffer, [&](error_code Error, std::size_t N)
    {
      // Same here...
    });
  });
};

Итак, в основном я встраиваю обратные вызовы в обратные вызовы в обратных вызовах, в то время как логика проста и "линейна".

Есть ли более элегантный способ написать это, чтобы код был локальным и упорядоченным?

Ответ 1

Одним из элегантных решений является использование сопрограмм. Boost.Asio поддерживает как stackless сопрограммы, которые вводят небольшой набор псевдо-ключевых слов, а stackful coroutines, которые используют Boost.Coroutine.

Stackless Coroutines

Stackless coroutines представляет набор макросов препроцессора псевдо-ключевых слов, которые реализуют оператор switch, используя технику, похожую на Duff Device. Документация подробно описывает каждое из ключевых слов.

Исходная проблема (connect- > read header- > read body) может выглядеть примерно так, как показано на рисунке ниже:

struct session
 : boost::asio::coroutine
{
  boost::asio::ip::tcp::socket socket_;
  std::vector<char> buffer_;
  // ...

  void operator()(boost::system::error_code ec = boost::system::error_code(),
                  std::size_t length = 0)  
  {
    // In this example we keep the error handling code in one place by
    // hoisting it outside the coroutine. An alternative approach would be to
    // check the value of ec after each yield for an asynchronous operation.
    if (ec)
    {
      print_error(ec);
      return;
    }

    // On reentering a coroutine, control jumps to the location of the last
    // yield or fork. The argument to the "reenter" pseudo-keyword can be a
    // pointer or reference to an object of type coroutine.
    reenter (this)
    {
      // Asynchronously connect. When control resumes at the following line,
      // the error and length parameters reflect the result of
      // the asynchronous operation.
      yield socket_.async_connect(endpoint_, *this);

      // Loop until an error or shutdown occurs.
      while (!shutdown_)
      {
        // Read header data. When control resumes at the following line,
        // the error and length parameters reflect the result of
        // the asynchronous operation.
        buffer_.resize(fixed_header_size);
        yield socket_.async_read(boost::asio::buffer(buffer_), *this);

        // Received data.  Extract the size of the body from the header.
        std::size_t body_size = parse_header(buffer_, length);

        // If there is no body size, then leave coroutine, as an invalid
        // header was received.
        if (!body_size) return;

        // Read body data. When control resumes at the following line,
        // the error and length parameters reflect the result of
        // the asynchronous operation.
        buffer_.resize(body_size);
        yield socket_.async_read(boost::asio::buffer(buffer_), *this);

        // Invoke the user callback to handle the body.
        body_handler_(buffer_, length);
      }

      // Initiate graceful connection closure.
      socket_.shutdown(tcp::socket::shutdown_both, ec);
    } // end reenter
  }
}

Штабеля Coroutines

Сложенные сопрограммы создаются с помощью функции spawn(). Первоначальная проблема может выглядеть примерно так, как реализовано со стековыми сопрограммами:

boost::asio::spawn(io_service, [&](boost::asio::yield_context yield)
  {
    boost::system::error_code ec;
    boost::asio::ip::tcp::socket socket(io_service);

    // Asynchronously connect and suspend the coroutine.  The coroutine will
    // be resumed automatically when the operation completes.
    socket.async_connect(endpoint, yield[ec]);
    if (ec)
    {
      print_error(ec);
      return;
    }

    // Loop until an error or shutdown occurs.
    std::vector<char> buffer;
    while (!shutdown)
    {
      // Read header data.
      buffer.resize(fixed_header_size);
      std::size_t bytes_transferred = socket.async_read(
        boost::asio::buffer(buffer), yield[ec]);

      if (ec)
      {
        print_error(ec);
        return;
      }

      // Extract the size of the body from the header.
      std::size_t body_size = parse_header(buffer, bytes_transferred);

      // If there is no body size, then leave coroutine, as an invalid header
      // was received.
      if (!body_size) return;

      // Read body data.
      buffer.resize(body_size);
      bytes_transferred =
        socket.async_read(boost::asio::buffer(buffer), yield[ec]);

      if (ec)
      {
        print_error(ec);
        return;
      }

      // Invoke the user callback to handle the body.
      body_handler_(buffer, length);
    }

    // Initiate graceful connection closure.
    socket.shutdown(tcp::socket::shutdown_both, ec);
   });