| | #include <metal.hpp> |
| |
|
| | #include "example.hpp" |
| |
|
| | #if !defined(METAL_WORKAROUND) |
| |
|
| | #include <array> |
| | #include <chrono> |
| | #include <complex> |
| | #include <tuple> |
| | #include <type_traits> |
| | #include <utility> |
| |
|
| | |
| | template<class... Xs, |
| | class R = std::array<std::common_type_t<Xs...>, sizeof...(Xs)> |
| | > |
| | constexpr R make_array(Xs&&... xs) { |
| | return R{{std::forward<Xs>(xs)...}}; |
| | } |
| | |
| |
|
| | |
| | using namespace std::chrono; |
| | using namespace std::literals::chrono_literals; |
| | using namespace std::literals::complex_literals; |
| |
|
| | auto tup1 = std::make_tuple(42ns, 0x42, 42.f); |
| | auto tup2 = std::make_tuple(42us, 042L, 42.L); |
| | auto tup3 = std::make_tuple(42ms, 42LL, 42.i); |
| | |
| |
|
| | #if 0 |
| | |
| | auto array_of_tuples = make_array(tup1, tup2, tup3); |
| | |
| | #endif |
| |
|
| | #include <boost/hana/config.hpp> |
| |
|
| | #if defined(BOOST_HANA_CONFIG_GCC) && \ |
| | BOOST_HANA_CONFIG_GCC < BOOST_HANA_CONFIG_VERSION(5, 4, 0) |
| | # define SKIP |
| | #endif |
| |
|
| | #if defined(BOOST_HANA_CONFIG_CLANG) && \ |
| | BOOST_HANA_CONFIG_CLANG < BOOST_HANA_CONFIG_VERSION(3, 5, 0) |
| | # define SKIP |
| | #endif |
| |
|
| | #if !defined(SKIP) |
| |
|
| | #include <boost/hana/ext/std/tuple.hpp> |
| | #include <boost/hana/transform.hpp> |
| | #include <boost/hana/type.hpp> |
| | #include <boost/hana/unpack.hpp> |
| | #include <boost/hana/zip.hpp> |
| |
|
| | namespace hana { |
| | |
| | template<class... xs> |
| | using hana_common_tuple_t = typename decltype( |
| | boost::hana::unpack( |
| | boost::hana::zip_with( |
| | boost::hana::template_<std::common_type_t>, |
| | boost::hana::zip_with(boost::hana::decltype_, std::declval<xs>())... |
| | ), |
| | boost::hana::template_<std::tuple> |
| | ) |
| | )::type; |
| | |
| |
|
| | |
| | template<class... Xs, |
| | class R = std::array<std::common_type_t<Xs...>, sizeof...(Xs)> |
| | > |
| | constexpr R hana_make_array(Xs&&... xs) { |
| | return R{{std::forward<Xs>(xs)...}}; |
| | } |
| |
|
| | template<class Head, class... Tail, |
| | class R = std::array<hana_common_tuple_t<std::decay_t<Head>, std::decay_t<Tail>...>, 1 + sizeof...(Tail)> |
| | > |
| | constexpr R hana_make_array(Head&& head, Tail&&... tail) { |
| | return R{{std::forward<Head>(head), std::forward<Tail>(tail)...}}; |
| | } |
| | |
| |
|
| | #if !defined(_LIBCPP_VERSION) || _LIBCPP_VERSION >= 5000 |
| | |
| | auto array_of_tuples = hana_make_array(tup1, tup2, tup3); |
| |
|
| | IS_SAME(decltype(array_of_tuples), std::array<std::tuple<nanoseconds, long long, std::complex<double>>, 3>); |
| | |
| | #endif |
| |
|
| | #if 0 |
| | |
| | IS_SAME(decltype(hana_make_array(42, 42L, 42LL)), std::array<long long, 3>); |
| | |
| | #endif |
| | } |
| | #endif |
| |
|
| | namespace |
| | { |
| | |
| | template<class... xs> |
| | using common_tuple_t = metal::apply< |
| | std::common_type_t<metal::lambda<std::tuple>, metal::as_lambda<xs>...>, |
| | metal::transform<metal::lambda<std::common_type_t>, metal::as_list<xs>...> |
| | >; |
| | |
| |
|
| | |
| | template<class... Xs, |
| | class R = std::array<std::common_type_t<Xs...>, sizeof...(Xs)> |
| | > |
| | constexpr R make_array(Xs&&... xs) { |
| | return R{{std::forward<Xs>(xs)...}}; |
| | } |
| |
|
| | template<class Head, class... Tail, |
| | class R = std::array<common_tuple_t<std::decay_t<Head>, std::decay_t<Tail>...>, 1 + sizeof...(Tail)> |
| | > |
| | constexpr R make_array(Head&& head, Tail&&... tail) { |
| | return R{{std::forward<Head>(head), std::forward<Tail>(tail)...}}; |
| | } |
| | |
| |
|
| | #if !defined(_LIBCPP_VERSION) || _LIBCPP_VERSION >= 5000 |
| | |
| | auto array_of_tuples = make_array(tup1, tup2, tup3); |
| |
|
| | IS_SAME(decltype(array_of_tuples), std::array<std::tuple<nanoseconds, long long, std::complex<double>>, 3>); |
| | |
| | #endif |
| |
|
| | |
| | IS_SAME(decltype(make_array(42, 42L, 42LL)), std::array<long long, 3>); |
| | |
| | } |
| | #endif |
| |
|
