Fix all async initiating functions with use_awaitable:

Add trait:
    is_completion_token_for

Fixes for
    buffered_read_stream

Add tests for
    basic_stream
    buffered_read_stream
    flat_stream
    http (all)
    websocket (all)

resolves #1920
This commit is contained in:
Richard Hodges
2020-04-27 18:45:05 +02:00
parent 24cc4a7aee
commit d016ff52af
14 changed files with 382 additions and 6 deletions

View File

@@ -1,5 +1,11 @@
Version XXX: Version XXX:
* Test websocket with use_awaitable
* Test http write with use_awaitable
* Test http read with use_awaitable
* Fix use buffered_read_stream with use_awaitable
* Implement is_completion_token_for trait
* Test use_awaitable with basic_stream
* Fix async_detect_ssl with use_awaitable * Fix async_detect_ssl with use_awaitable
* Add clang coroutines-ts to circleci config * Add clang coroutines-ts to circleci config

View File

@@ -10,6 +10,8 @@
#ifndef BOOST_BEAST_DETAIL_IS_INVOCABLE_HPP #ifndef BOOST_BEAST_DETAIL_IS_INVOCABLE_HPP
#define BOOST_BEAST_DETAIL_IS_INVOCABLE_HPP #define BOOST_BEAST_DETAIL_IS_INVOCABLE_HPP
#include <boost/asio/async_result.hpp>
#include <boost/type_traits/make_void.hpp>
#include <type_traits> #include <type_traits>
#include <utility> #include <utility>
@@ -51,6 +53,26 @@ struct is_invocable<C, R(A...)>
}; };
/** @} */ /** @} */
template<class CompletionToken, class Signature, class = void>
struct is_completion_token_for : std::false_type
{
};
struct any_initiation
{
template<class...AnyArgs>
void operator()(AnyArgs&&...);
};
template<class CompletionToken, class R, class...Args>
struct is_completion_token_for<
CompletionToken, R(Args...), boost::void_t<decltype(
boost::asio::async_initiate<CompletionToken, R(Args...)>(
any_initiation(), std::declval<CompletionToken&>())
)>> : std::true_type
{
};
} // detail } // detail
} // beast } // beast
} // boost } // boost

View File

@@ -110,7 +110,7 @@ struct run_read_op
operator()( operator()(
ReadHandler&& h, ReadHandler&& h,
buffered_read_stream* s, buffered_read_stream* s,
Buffers const& b) Buffers const* b)
{ {
// If you get an error on the following line it means // If you get an error on the following line it means
// that your handler does not meet the documented type // that your handler does not meet the documented type
@@ -124,7 +124,7 @@ struct run_read_op
read_op< read_op<
Buffers, Buffers,
typename std::decay<ReadHandler>::type>( typename std::decay<ReadHandler>::type>(
std::forward<ReadHandler>(h), *s, b); std::forward<ReadHandler>(h), *s, *b);
} }
}; };
@@ -153,7 +153,7 @@ async_write_some(
static_assert(net::is_const_buffer_sequence< static_assert(net::is_const_buffer_sequence<
ConstBufferSequence>::value, ConstBufferSequence>::value,
"ConstBufferSequence type requirements not met"); "ConstBufferSequence type requirements not met");
static_assert(detail::is_invocable<WriteHandler, static_assert(detail::is_completion_token_for<WriteHandler,
void(error_code, std::size_t)>::value, void(error_code, std::size_t)>::value,
"WriteHandler type requirements not met"); "WriteHandler type requirements not met");
return next_layer_.async_write_some(buffers, return next_layer_.async_write_some(buffers,
@@ -233,7 +233,7 @@ async_read_some(
typename ops::run_read_op{}, typename ops::run_read_op{},
handler, handler,
this, this,
buffers); &buffers);
} }
} // beast } // beast

View File

@@ -30,6 +30,13 @@
#include <array> #include <array>
#include <thread> #include <thread>
#if BOOST_ASIO_HAS_CO_AWAIT
#include <boost/asio/awaitable.hpp>
#include <boost/asio/co_spawn.hpp>
#include <boost/asio/use_awaitable.hpp>
#endif
namespace boost { namespace boost {
namespace beast { namespace beast {
@@ -258,7 +265,7 @@ private:
{ {
string_view s_; string_view s_;
net::ip::tcp::socket socket_; net::ip::tcp::socket socket_;
public: public:
session( session(
string_view s, string_view s,
@@ -1297,6 +1304,52 @@ public:
//-------------------------------------------------------------------------- //--------------------------------------------------------------------------
#if BOOST_ASIO_HAS_CO_AWAIT
void testAwaitableCompilation(
basic_stream<net::ip::tcp>& stream,
net::mutable_buffer outbuf,
net::const_buffer inbuf,
net::ip::tcp::resolver::results_type resolve_results)
{
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
stream.async_read_some(outbuf, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
stream.async_write_some(inbuf, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<net::ip::tcp::resolver::results_type::const_iterator>, decltype(
stream.async_connect(
resolve_results.begin(),
resolve_results.end(),
net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<net::ip::tcp::endpoint>, decltype(
stream.async_connect(
resolve_results,
net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<void>, decltype(
stream.async_connect(
resolve_results.begin()->endpoint(),
net::use_awaitable))>);
auto comparison_function = [](error_code&, net::ip::tcp::endpoint) { return true; };
static_assert(std::is_same_v<
net::awaitable<net::ip::tcp::resolver::results_type::const_iterator>, decltype(
stream.async_connect(
resolve_results.begin(),
resolve_results.end(),
comparison_function,
net::use_awaitable))>);
}
#endif
void void
run() run()
{ {
@@ -1307,6 +1360,11 @@ public:
testMembers(); testMembers();
testJavadocs(); testJavadocs();
testIssue1589(); testIssue1589();
#if BOOST_ASIO_HAS_CO_AWAIT
// test for compilation success only
boost::ignore_unused(&basic_stream_test::testAwaitableCompilation);
#endif
} }
}; };

View File

@@ -21,6 +21,9 @@
#include <boost/asio/spawn.hpp> #include <boost/asio/spawn.hpp>
#include <boost/asio/strand.hpp> #include <boost/asio/strand.hpp>
#include <boost/optional.hpp> #include <boost/optional.hpp>
#if BOOST_ASIO_HAS_CO_AWAIT
#include <boost/asio/use_awaitable.hpp>
#endif
namespace boost { namespace boost {
namespace beast { namespace beast {
@@ -211,6 +214,22 @@ public:
} }
}; };
#if BOOST_ASIO_HAS_CO_AWAIT
void testAwaitableCompiles(
buffered_read_stream<test::stream, flat_buffer>& stream,
net::mutable_buffer rxbuf,
net::const_buffer txbuf)
{
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
stream.async_read_some(rxbuf, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
stream.async_write_some(txbuf, net::use_awaitable))>);
}
#endif
void run() override void run() override
{ {
testSpecialMembers(); testSpecialMembers();
@@ -221,6 +240,10 @@ public:
}); });
testAsyncLoop(); testAsyncLoop();
#if BOOST_ASIO_HAS_CO_AWAIT
boost::ignore_unused(&buffered_read_stream_test::testAwaitableCompiles);
#endif
} }
}; };

View File

@@ -17,6 +17,9 @@
#include <boost/beast/core/role.hpp> #include <boost/beast/core/role.hpp>
#include <initializer_list> #include <initializer_list>
#include <vector> #include <vector>
#if BOOST_ASIO_HAS_CO_AWAIT
#include <boost/asio/use_awaitable.hpp>
#endif
namespace boost { namespace boost {
namespace beast { namespace beast {
@@ -208,11 +211,30 @@ public:
check({1,2,3,4}, 3, 3, true); check({1,2,3,4}, 3, 3, true);
} }
#if BOOST_ASIO_HAS_CO_AWAIT
void testAwaitableCompiles(
flat_stream<test::stream>& stream,
net::mutable_buffer rxbuf,
net::const_buffer txbuf)
{
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
stream.async_read_some(rxbuf, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
stream.async_write_some(txbuf, net::use_awaitable))>);
}
#endif
void void
run() override run() override
{ {
testMembers(); testMembers();
testSplit(); testSplit();
#if BOOST_ASIO_HAS_CO_AWAIT
boost::ignore_unused(&flat_stream_test::testAwaitableCompiles);
#endif
} }
}; };

View File

@@ -25,6 +25,9 @@
#include <boost/asio/strand.hpp> #include <boost/asio/strand.hpp>
#include <boost/asio/ip/tcp.hpp> #include <boost/asio/ip/tcp.hpp>
#include <atomic> #include <atomic>
#if BOOST_ASIO_HAS_CO_AWAIT
#include <boost/asio/use_awaitable.hpp>
#endif
namespace boost { namespace boost {
namespace beast { namespace beast {
@@ -529,6 +532,49 @@ public:
} }
} }
#if BOOST_ASIO_HAS_CO_AWAIT
void testAwaitableCompiles(
test::stream& stream,
flat_buffer& dynbuf,
parser<true, string_body>& request_parser,
request<http::string_body>& request,
parser<false, string_body>& response_parser,
response<http::string_body>& response)
{
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_read(stream, dynbuf, request, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_read(stream, dynbuf, request_parser, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_read(stream, dynbuf, response, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_read(stream, dynbuf, response_parser, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_read_some(stream, dynbuf, request_parser, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_read_some(stream, dynbuf, response_parser, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_read_header(stream, dynbuf, request_parser, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_read_header(stream, dynbuf, response_parser, net::use_awaitable))>);
}
#endif
void void
run() override run() override
{ {
@@ -552,6 +598,9 @@ public:
testRegression430(); testRegression430();
testReadGrind(); testReadGrind();
testAsioHandlerInvoke(); testAsioHandlerInvoke();
#if BOOST_ASIO_HAS_CO_AWAIT
boost::ignore_unused(&read_test::testAwaitableCompiles);
#endif
} }
}; };

View File

@@ -26,6 +26,9 @@
#include <boost/asio/strand.hpp> #include <boost/asio/strand.hpp>
#include <sstream> #include <sstream>
#include <string> #include <string>
#if BOOST_ASIO_HAS_CO_AWAIT
#include <boost/asio/use_awaitable.hpp>
#endif
namespace boost { namespace boost {
namespace beast { namespace beast {
@@ -994,6 +997,59 @@ public:
} }
} }
#if BOOST_ASIO_HAS_CO_AWAIT
void testAwaitableCompiles(
test::stream& stream,
serializer<true, string_body>& request_serializer,
request<string_body>& req,
request<string_body> const& creq,
serializer<false, string_body>& response_serializer,
response<string_body>& resp,
response<string_body> const& cresp)
{
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_write(stream, request_serializer, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_write(stream, response_serializer, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_write(stream, req, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_write(stream, creq, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_write(stream, resp, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_write(stream, cresp, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_write_some(stream, request_serializer, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_write_some(stream, response_serializer, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_write_header(stream, request_serializer, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
http::async_write_header(stream, response_serializer, net::use_awaitable))>);
}
#endif
void void
run() override run() override
{ {
@@ -1017,6 +1073,9 @@ public:
}); });
testAsioHandlerInvoke(); testAsioHandlerInvoke();
testBodyWriters(); testBodyWriters();
#if BOOST_ASIO_HAS_CO_AWAIT
boost::ignore_unused(&write_test::testAwaitableCompiles);
#endif
} }
}; };

View File

@@ -14,7 +14,9 @@
#include <boost/beast/_experimental/test/tcp.hpp> #include <boost/beast/_experimental/test/tcp.hpp>
#include <boost/beast/_experimental/unit_test/suite.hpp> #include <boost/beast/_experimental/unit_test/suite.hpp>
#include "test.hpp" #include "test.hpp"
#if BOOST_ASIO_HAS_CO_AWAIT
#include <boost/asio/use_awaitable.hpp>
#endif
namespace boost { namespace boost {
namespace beast { namespace beast {
namespace websocket { namespace websocket {
@@ -810,6 +812,27 @@ public:
} }
} }
#if BOOST_ASIO_HAS_CO_AWAIT
void testAwaitableCompiles(
stream<net::ip::tcp::socket>& s,
http::request<http::empty_body>& req,
net::mutable_buffer buf
)
{
static_assert(std::is_same_v<
net::awaitable<void>, decltype(
s.async_accept(net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<void>, decltype(
s.async_accept(req, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<void>, decltype(
s.async_accept(buf, net::use_awaitable))>);
}
#endif
void void
run() override run() override
{ {
@@ -820,6 +843,9 @@ public:
testInvalidInputs(); testInvalidInputs();
testEndOfStream(); testEndOfStream();
testAsync(); testAsync();
#if BOOST_ASIO_HAS_CO_AWAIT
boost::ignore_unused(&accept_test::testAwaitableCompiles);
#endif
} }
}; };

View File

@@ -16,6 +16,9 @@
#include <boost/asio/io_context.hpp> #include <boost/asio/io_context.hpp>
#include <boost/asio/strand.hpp> #include <boost/asio/strand.hpp>
#if BOOST_ASIO_HAS_CO_AWAIT
#include <boost/asio/use_awaitable.hpp>
#endif
namespace boost { namespace boost {
namespace beast { namespace beast {
@@ -735,6 +738,15 @@ public:
} }
}; };
#if BOOST_ASIO_HAS_CO_AWAIT
void testAwaitableCompiles(stream<test::stream>& s, close_reason cr )
{
static_assert(std::is_same_v<
net::awaitable<void>, decltype(
s.async_close(cr, net::use_awaitable))>);
}
#endif
void void
run() override run() override
{ {
@@ -742,6 +754,9 @@ public:
testTimeout(); testTimeout();
testSuspend(); testSuspend();
testMoveOnly(); testMoveOnly();
#if BOOST_ASIO_HAS_CO_AWAIT
boost::ignore_unused(&close_test::testAwaitableCompiles);
#endif
} }
}; };

View File

@@ -18,6 +18,9 @@
#include <boost/asio/io_context.hpp> #include <boost/asio/io_context.hpp>
#include <boost/asio/strand.hpp> #include <boost/asio/strand.hpp>
#include <thread> #include <thread>
#if BOOST_ASIO_HAS_CO_AWAIT
#include <boost/asio/use_awaitable.hpp>
#endif
namespace boost { namespace boost {
namespace beast { namespace beast {
@@ -704,6 +707,23 @@ public:
} }
} }
#if BOOST_ASIO_HAS_CO_AWAIT
void testAwaitableCompiles(
stream<test::stream>& s,
std::string host,
std::string port,
response_type& resp)
{
static_assert(std::is_same_v<
net::awaitable<void>, decltype(
s.async_handshake(host, port, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<void>, decltype(
s.async_handshake(resp, host, port, net::use_awaitable))>);
}
#endif
void void
run() override run() override
{ {
@@ -714,6 +734,9 @@ public:
testMoveOnly(); testMoveOnly();
testAsync(); testAsync();
testIssue1460(); testIssue1460();
#if BOOST_ASIO_HAS_CO_AWAIT
boost::ignore_unused(&handshake_test::testAwaitableCompiles);
#endif
} }
}; };

View File

@@ -18,6 +18,10 @@
#include <boost/asio/io_context.hpp> #include <boost/asio/io_context.hpp>
#include <boost/asio/strand.hpp> #include <boost/asio/strand.hpp>
#if BOOST_ASIO_HAS_CO_AWAIT
#include <boost/asio/use_awaitable.hpp>
#endif
namespace boost { namespace boost {
namespace beast { namespace beast {
namespace websocket { namespace websocket {
@@ -483,12 +487,30 @@ public:
} }
}; };
#if BOOST_ASIO_HAS_CO_AWAIT
void testAwaitableCompiles(
stream<test::stream>& s,
ping_data& pdat)
{
static_assert(std::is_same_v<
net::awaitable<void>, decltype(
s.async_ping(pdat, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<void>, decltype(
s.async_pong(pdat, net::use_awaitable))>);
}
#endif
void void
run() override run() override
{ {
testPing(); testPing();
testSuspend(); testSuspend();
testMoveOnly(); testMoveOnly();
#if BOOST_ASIO_HAS_CO_AWAIT
boost::ignore_unused(&ping_test::testAwaitableCompiles);
#endif
} }
}; };

View File

@@ -14,6 +14,10 @@
#include <boost/asio/write.hpp> #include <boost/asio/write.hpp>
#if BOOST_ASIO_HAS_CO_AWAIT
#include <boost/asio/use_awaitable.hpp>
#endif
#include <boost/config/workaround.hpp> #include <boost/config/workaround.hpp>
#if BOOST_WORKAROUND(BOOST_GCC, < 80200) #if BOOST_WORKAROUND(BOOST_GCC, < 80200)
#define BOOST_BEAST_SYMBOL_HIDDEN __attribute__ ((visibility("hidden"))) #define BOOST_BEAST_SYMBOL_HIDDEN __attribute__ ((visibility("hidden")))
@@ -673,10 +677,34 @@ public:
} }
} }
#if BOOST_ASIO_HAS_CO_AWAIT
void testAwaitableCompiles(
stream<test::stream>& s,
flat_buffer& dynbuf,
net::mutable_buffer buf,
std::size_t limit)
{
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
s.async_read(dynbuf, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
s.async_read_some(buf, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
s.async_read_some(dynbuf, limit, net::use_awaitable))>);
}
#endif
void void
run() override run() override
{ {
testRead(); testRead();
#if BOOST_ASIO_HAS_CO_AWAIT
boost::ignore_unused(&read2_test::testAwaitableCompiles);
#endif
} }
}; };

View File

@@ -13,6 +13,10 @@
#include <boost/asio/io_context.hpp> #include <boost/asio/io_context.hpp>
#include <boost/asio/strand.hpp> #include <boost/asio/strand.hpp>
#if BOOST_ASIO_HAS_CO_AWAIT
#include <boost/asio/use_awaitable.hpp>
#endif
#include "test.hpp" #include "test.hpp"
namespace boost { namespace boost {
@@ -716,6 +720,22 @@ public:
BEAST_EXPECT(n1 < n0 + s.size()); BEAST_EXPECT(n1 < n0 + s.size());
} }
#if BOOST_ASIO_HAS_CO_AWAIT
void testAwaitableCompiles(
stream<test::stream>& s,
net::mutable_buffer buf,
bool fin)
{
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
s.async_write(buf, net::use_awaitable))>);
static_assert(std::is_same_v<
net::awaitable<std::size_t>, decltype(
s.async_write_some(fin, buf, net::use_awaitable))>);
}
#endif
void void
run() override run() override
{ {
@@ -726,6 +746,9 @@ public:
testMoveOnly(); testMoveOnly();
testIssue300(); testIssue300();
testIssue1666(); testIssue1666();
#if BOOST_ASIO_HAS_CO_AWAIT
boost::ignore_unused(&write_test::testAwaitableCompiles);
#endif
} }
}; };