член структуры и boost::hana::filter

Столкнулся с типичной проблемой новичка с модификатором constexpr в современном c++.

Правильно ли я понимаю, что такой код невозможно написать даже на c++17 (причина http://www.boost.org/doc/libs/1_63_0/libs/hana/doc/html/index.html#tutorial-appendix-constexpr< /а>)?

И нужно ли использовать идиому «значение как тип» (используйте разные типы для открытых и закрытых файлов в этом примере)?

#include <boost/hana/filter.hpp>
#include <boost/hana/tuple.hpp>

namespace hana = boost::hana;

enum class State {
  Open, Closed
};

struct File {
  constexpr File(State state) : state_(state) {}

  constexpr State state() const { return state_; }

  const State state_;
};

constexpr auto files = hana::make_tuple(File(State::Closed), File(State::Open));
constexpr auto filtered = hana::filter(files, [](const auto& file) {
  return file.state() == State::Open;
});

int main() {
  return 0;
}

c++ metaprogramming c++17 boost-hana
person yarrr    schedule 10.07.2017    source источник
comment
Я не совсем уверен, какова цель этого кода.   -  person Bartek Banachewicz    schedule 10.07.2017
comment
У меня есть кортеж constexpr с некоторыми структурами, и я хочу, чтобы их подмножество зависело от их поля-члена во время компиляции.   -  person yarrr    schedule 10.07.2017

Ответы (2)


arrow_upward
1
arrow_downward

В лямбде, которую вы передаете hana::filter, у вас есть две проблемы:

  1. Параметр file не является constexpr
  2. Возвращаемое значение не является значением времени компиляции, которое IntegralConstant преобразуется в bool, как того требует hana::filter.

Один из способов сохранить элементы кортежа constexpr в любом контексте — обернуть их в лямбда-выражения constexpr (добавлено в C++17).

Следующий код решает обе проблемы:

constexpr auto files = hana::make_tuple(
  []{ return File(State::Closed); }
, []{ return File(State::Open); }
);

constexpr auto filtered = hana::filter(files, [](auto file) {
  return hana::bool_c<file().state() == State::Open>;
});
person Jason Rice    schedule 15.07.2017
comment
Это круто и совершенно неинтуитивно: вы не можете передать переменную, но вы можете передать лямбду, которая возвращает эту переменную. Благодарю вас! - person yarrr; 17.07.2017

arrow_upward
3
arrow_downward

Вам нужно закодировать State как часть типа File:

template <State TState>
struct File 
{
    constexpr State state() const { return TState; }
};

Затем вам нужно вернуть дружественное время компиляции логическое значение из вашей функции фильтрации:

constexpr auto files = hana::make_tuple(File<State::Closed>{}, File<State::Open>{});
constexpr auto filtered = hana::filter(files, [](const auto& file) 
{
    return hana::bool_c<decltype(file){}.state() == State::Open>;
});

живой пример на wandbox

person Vittorio Romeo    schedule 10.07.2017
comment
Да, это то, что я имею в виду под значением как тип. Печально, если есть только вариант :( - person yarrr; 10.07.2017
comment
@yarr: вам нужны вычисления во время выполнения или во время компиляции? - person Vittorio Romeo; 10.07.2017
comment
Только время компиляции. - person yarrr; 10.07.2017