Я пытаюсь создать набор уникальных типов с помощью boost :: hana, и мне нужно сохранить все как constexprs.
Моя попытка следующая:
#include <iostream>
#include <boost/hana.hpp>
namespace hana = boost::hana;
template < class ...Xs >
constexpr auto get_set( Xs &&...xs)
{
constexpr auto f = []( auto set, auto element )
{
using Type = decltype( element );
return hana::insert( set, hana::type_c< Type > );
};
constexpr auto t = hana::make_tuple( std::forward<Xs>(xs)...);
return hana::fold_left( t, hana::make_set( ), f);
}
int main()
{
constexpr int i(0);
constexpr double j(0);
constexpr auto set = get_set( i, j, i);
}
Это дает мне следующую ошибку:
<source>: In instantiation of 'constexpr auto get_set(Xs&& ...) [with Xs = {const int&, const double&, const int&}]':
<source>:23:46: required from here
<source>:15:44: in 'constexpr' expansion of 'boost::hana::make_tuple.boost::hana::make_t<boost::hana::tuple_tag>::operator()<const int&, const double&, const int&>((* & std::forward<const int&>((* & xs#0))), (* & std::forward<const double&>((* & xs#1))), (* & std::forward<const int&>((* & xs#2))))'
/opt/compiler-explorer/libs/boost_1_65_0/boost/hana/fwd/core/make.hpp:61:41: in 'constexpr' expansion of 'boost::hana::make_impl<boost::hana::tuple_tag>::apply<const int&, const double&, const int&>(x#0, x#1, x#2)'
<source>:15:24: in 'constexpr' expansion of 'boost::hana::tuple<int, double, int>(xs#0, xs#1, xs#2)'
/opt/compiler-explorer/libs/boost_1_65_0/boost/hana/tuple.hpp:112:29: in 'constexpr' expansion of '((boost::hana::tuple<int, double, int>*)this)->boost::hana::tuple<int, double, int>::storage_.boost::hana::basic_tuple<int, double, int>::basic_tuple<const int&, const double&, const int&>(xn#0, xn#1, xn#2)'
/opt/compiler-explorer/libs/boost_1_65_0/boost/hana/basic_tuple.hpp:89:44: in 'constexpr' expansion of '((boost::hana::basic_tuple<int, double, int>*)this)->boost::hana::basic_tuple<int, double, int>::<anonymous>.boost::hana::detail::basic_tuple_impl<std::integer_sequence<long unsigned int, 0, 1, 2>, int, double, int>::basic_tuple_impl<const int&, const double&, const int&>(yn#0, yn#1, yn#2)'
/opt/compiler-explorer/libs/boost_1_65_0/boost/hana/basic_tuple.hpp:62:65: in 'constexpr' expansion of '((boost::hana::detail::basic_tuple_impl<std::integer_sequence<long unsigned int, 0, 1, 2>, int, double, int>*)this)->boost::hana::detail::basic_tuple_impl<std::integer_sequence<long unsigned int, 0, 1, 2>, int, double, int>::<anonymous>._hana::ebo<boost::hana::detail::bti<0>, int, false>::ebo<const int&>(yn#0)'
<source>:15:24: error: 't' is not a constant expression
constexpr auto t = hana::make_tuple( std::forward<Xs>(xs)...);
^
Compiler returned: 1
Godbolt ссылка.
Код работает, если я отключу constexpr
в int main
.
Любые идеи? Благодарность!
1 ответ
Параметры функции не являются постоянными выражениями даже в функции constexpr
. Итак, это:
constexpr auto t = hana::make_tuple( std::forward<Xs>(xs)...);
Не могу работать. Вы пытаетесь создать кортеж constexpr
, но использование xs...
не даст вам постоянного выражения. Поскольку все, что вам нужно, это типы, это работает:
constexpr auto t = hana::make_tuple(Xs{}...);
В качестве альтернативы вам на самом деле не нужно, чтобы сам t
был constexpr
по какой-либо причине, поэтому вы можете отказаться от этого:
auto t = hana::make_tuple(std::forward<Xs>(xs)...);
Не волнуйся. Обдумывать, что работает, а что не работает в стране constexpr
... сложно.
Похожие вопросы
Новые вопросы
c++
C ++ - это язык программирования общего назначения. Первоначально он был разработан как расширение C и имеет аналогичный синтаксис, но теперь это совершенно другой язык. Используйте этот тег для вопросов о коде (который должен быть) скомпилирован с помощью компилятора C ++. Используйте тег для конкретной версии для вопросов, связанных с конкретной версией стандарта [C ++ 11], [C ++ 14], [C ++ 17], [C ++ 20] или [C ++ 23] и т. Д. .