Use mp11::integer_sequence

Close #1317

Signed-off-by: Damian Jarek <damian.jarek93@gmail.com>
This commit is contained in:
Damian Jarek
2018-11-22 22:39:05 +01:00
committed by Vinnie Falco
parent d09d6a2063
commit c0e5d1bd76
5 changed files with 14 additions and 152 deletions

View File

@ -1,3 +1,9 @@
Version 192:
* Use mp11::integer_sequence
--------------------------------------------------------------------------------
Version 191: Version 191:
* Add bind_front_handler * Add bind_front_handler

View File

@ -1,143 +0,0 @@
//
// Copyright (c) 2016-2017 Vinnie Falco (vinnie dot falco at gmail dot com)
//
// Distributed under the Boost Software License, Version 1.0. (See accompanying
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
//
// Official repository: https://github.com/boostorg/beast
//
#ifndef BOOST_BEAST_DETAIL_INTEGER_SEQUENCE_HPP
#define BOOST_BEAST_DETAIL_INTEGER_SEQUENCE_HPP
#include <boost/config.hpp>
#include <cstddef>
#include <type_traits>
#include <utility>
namespace boost {
namespace beast {
namespace detail {
template<class T, T... Ints>
struct integer_sequence
{
using value_type = T;
BOOST_STATIC_ASSERT(std::is_integral<T>::value);
static std::size_t constexpr static_size = sizeof...(Ints);
static std::size_t constexpr size()
{
return sizeof...(Ints);
}
};
template<std::size_t... Ints>
using index_sequence = integer_sequence<std::size_t, Ints...>;
// This workaround is needed for broken sizeof...
template<class... Args>
struct sizeof_workaround
{
static std::size_t constexpr size = sizeof... (Args);
};
#ifdef BOOST_MSVC
// This implementation compiles on real MSVC and clang but not gcc
template<class T, unsigned long long N, class Seq>
struct make_integer_sequence_unchecked;
template<class T, unsigned long long N, unsigned long long ...Indices>
struct make_integer_sequence_unchecked<
T, N, integer_sequence<T, Indices...>>
{
using type = typename make_integer_sequence_unchecked<
T, N-1, integer_sequence<T, N-1, Indices...>>::type;
};
template<class T, unsigned long long ...Indices>
struct make_integer_sequence_unchecked<
T, 0, integer_sequence<T, Indices...>>
{
using type = integer_sequence<T, Indices...>;
};
template<class T, T N>
struct make_integer_sequence_checked
{
BOOST_STATIC_ASSERT(std::is_integral<T>::value);
BOOST_STATIC_ASSERT(N >= 0);
using type = typename make_integer_sequence_unchecked<
T, N, integer_sequence<T>>::type;
};
template<class T, T N>
using make_integer_sequence =
typename make_integer_sequence_checked<T, N>::type;
template<std::size_t N>
using make_index_sequence = make_integer_sequence<std::size_t, N>;
template<class... Args>
using index_sequence_for =
make_index_sequence<sizeof_workaround<Args...>::size>;
#else
// This implementation compiles on gcc but not MSVC
template<std::size_t... Ints>
struct index_tuple
{
using next = index_tuple<Ints..., sizeof... (Ints)>;
};
template<std::size_t N>
struct build_index_tuple
{
using type = typename build_index_tuple<N-1>::type::next;
};
template<>
struct build_index_tuple<0>
{
using type = index_tuple<>;
};
template<class T, T N,
class Seq = typename build_index_tuple<N>::type
>
struct integer_sequence_helper;
template<class T, T N, std::size_t... Ints>
struct integer_sequence_helper<T, N, index_tuple<Ints...>>
{
BOOST_STATIC_ASSERT(std::is_integral<T>::value);
BOOST_STATIC_ASSERT(N >= 0);
using type = integer_sequence<T, static_cast<T> (Ints)...>;
};
template<class T, T N>
using make_integer_sequence =
typename integer_sequence_helper<T, N>::type;
template<std::size_t N>
using make_index_sequence = make_integer_sequence<std::size_t, N>;
template<class... Args>
using index_sequence_for =
make_index_sequence<sizeof_workaround<Args...>::size>;
#endif
} // detail
} // beast
} // boost
#endif

View File

@ -295,7 +295,7 @@ message(std::piecewise_construct_t,
std::tuple<BodyArgs...> body_args) std::tuple<BodyArgs...> body_args)
: message(std::piecewise_construct, : message(std::piecewise_construct,
body_args, body_args,
beast::detail::make_index_sequence< mp11::make_index_sequence<
sizeof...(BodyArgs)>{}) sizeof...(BodyArgs)>{})
{ {
} }
@ -309,9 +309,9 @@ message(std::piecewise_construct_t,
: message(std::piecewise_construct, : message(std::piecewise_construct,
body_args, body_args,
fields_args, fields_args,
beast::detail::make_index_sequence< mp11::make_index_sequence<
sizeof...(BodyArgs)>{}, sizeof...(BodyArgs)>{},
beast::detail::make_index_sequence< mp11::make_index_sequence<
sizeof...(FieldsArgs)>{}) sizeof...(FieldsArgs)>{})
{ {
} }

View File

@ -16,8 +16,8 @@
#include <boost/beast/http/status.hpp> #include <boost/beast/http/status.hpp>
#include <boost/beast/http/type_traits.hpp> #include <boost/beast/http/type_traits.hpp>
#include <boost/beast/core/string.hpp> #include <boost/beast/core/string.hpp>
#include <boost/beast/core/detail/integer_sequence.hpp>
#include <boost/core/empty_value.hpp> #include <boost/core/empty_value.hpp>
#include <boost/mp11/integer_sequence.hpp>
#include <boost/assert.hpp> #include <boost/assert.hpp>
#include <boost/optional.hpp> #include <boost/optional.hpp>
#include <boost/throw_exception.hpp> #include <boost/throw_exception.hpp>
@ -804,7 +804,7 @@ struct message
@li @ref chunked would return `true` @li @ref chunked would return `true`
@li @ref result returns @ref status::no_content @li @ref result returns @ref status::no_content
@li @ref result returns @ref status::not_modified @li @ref result returns @ref status::not_modified
@li @ref result returns any informational status class (100 to 199) @li @ref result returns any informational status class (100 to 199)
@ -901,7 +901,7 @@ private:
message( message(
std::piecewise_construct_t, std::piecewise_construct_t,
std::tuple<BodyArgs...>& body_args, std::tuple<BodyArgs...>& body_args,
beast::detail::index_sequence<IBodyArgs...>) mp11::index_sequence<IBodyArgs...>)
: boost::empty_value< : boost::empty_value<
typename Body::value_type>(boost::empty_init_t(), typename Body::value_type>(boost::empty_init_t(),
std::forward<BodyArgs>( std::forward<BodyArgs>(
@ -919,8 +919,8 @@ private:
std::piecewise_construct_t, std::piecewise_construct_t,
std::tuple<BodyArgs...>& body_args, std::tuple<BodyArgs...>& body_args,
std::tuple<FieldsArgs...>& fields_args, std::tuple<FieldsArgs...>& fields_args,
beast::detail::index_sequence<IBodyArgs...>, mp11::index_sequence<IBodyArgs...>,
beast::detail::index_sequence<IFieldsArgs...>) mp11::index_sequence<IFieldsArgs...>)
: header_type(std::forward<FieldsArgs>( : header_type(std::forward<FieldsArgs>(
std::get<IFieldsArgs>(fields_args))...) std::get<IFieldsArgs>(fields_args))...)
, boost::empty_value< , boost::empty_value<

View File

@ -17,7 +17,6 @@
#include <boost/beast/core/buffers_suffix.hpp> #include <boost/beast/core/buffers_suffix.hpp>
#include <boost/beast/core/error.hpp> #include <boost/beast/core/error.hpp>
#include <boost/beast/core/detail/chacha.hpp> #include <boost/beast/core/detail/chacha.hpp>
#include <boost/beast/core/detail/integer_sequence.hpp>
#include <boost/align/aligned_alloc.hpp> #include <boost/align/aligned_alloc.hpp>
#include <boost/asio/buffer.hpp> #include <boost/asio/buffer.hpp>
#include <boost/core/exchange.hpp> #include <boost/core/exchange.hpp>