Как построить hana::tuple_t с учетом T и количества элементов n

#c #metaprogramming #c 14 #template-meta-programming #boost-hana

#c #метапрограммирование #c 14 #шаблон-метапрограммирование #boost-hana

Вопрос:

Это кажется довольно простой задачей, поэтому я ищу более или менее короткое, встроенное и легко читаемое решение.
Самая короткая вещь, которую мне удалось придумать, это

 hana::unfold_left<hana::tuple_tag>( hana::int_c<n>, [] ( auto count ) {
            return hana::if_( count == hana::int_c<0>, hana::nothing,
                             hana::just( hana::make_pair( count - hana::int_c<1>,
                                                        hana::type_c<T> ) ) );
        } );
 

что далеко не является коротким и читаемым…

Комментарии:

1. hana::replicate кажется подходящим.

Ответ №1:

Как указано @jv_ hana::replicate может сделать именно это.
Пример в справочной документации дает достаточно информации о том, как этого добиться:

 // Copyright Louis Dionne 2013-2016
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)

#include <boost/hana/equal.hpp>
#include <boost/hana/integral_constant.hpp>
#include <boost/hana/optional.hpp>
#include <boost/hana/replicate.hpp>
#include <boost/hana/tuple.hpp>

namespace hana = boost::hana;
static_assert(hana::replicate<hana::tuple_tag>('x', hana::size_c<2>) == hana::make_tuple('x', 'x'), "");
// Of course, there can't be more than one element in an `optional`.
static_assert(hana::replicate<hana::optional_tag>('x', hana::size_c<2>) == hana::just('x'), "");
int main() { }