Е
не, норм, компилит
class S : crtp<S> {
using type = crtp<crtp<S>>;
}
Size: a a a
2020 March 18
Е
а, так тут и рекурсии нет
O
а, так тут и рекурсии нет
Да, рекурсию он не может,
invalid use of incomplete typeЕ
Да, рекурсию он не может,
invalid use of incomplete typeэто обойти через this_type можно
Е
O
Псевдокод, не знаю, что дальше с этим делать. Index должен вычисляться на лупхолах через
table::find_t, но я всё...
template<typename Tuple, typename Index = table::value<1>, typename = std::enable_if_t<!table::map_contains<Index>::value>, typename = void>
constexpr auto variadic(Tuple) -> std::size_t {
using type = decltype(std::get<Index>(Tuple{}));
return (table::map<type, void>, Index::value);
};
template<typename Tuple, typename Index = table::value<1>, typename = std::enable_if_t<table::map_contains<Index>::value>>
constexpr auto variadic(Tuple) -> std::size_t {
return variadic<Tuple, Index::value + 1>();
};using must_be_autogenerated = std::tuple<table::value<1>, table::value<2>, table::value<3>, table::value<4>>;
static_assert(variadic(must_be_autogenerated{}) == 1);
static_assert(variadic(must_be_autogenerated{}) == 2); // oopsЕ
господь бог я думал ты спишь
Е
у тебя какой часовой пояс вообще?
O
господь бог я думал ты спишь
Уснёшь тут...
O
у тебя какой часовой пояс вообще?
У меня... довольно поздно...
Е
Псевдокод, не знаю, что дальше с этим делать. Index должен вычисляться на лупхолах через
table::find_t, но я всё...
template<typename Tuple, typename Index = table::value<1>, typename = std::enable_if_t<!table::map_contains<Index>::value>, typename = void>
constexpr auto variadic(Tuple) -> std::size_t {
using type = decltype(std::get<Index>(Tuple{}));
return (table::map<type, void>, Index::value);
};
template<typename Tuple, typename Index = table::value<1>, typename = std::enable_if_t<table::map_contains<Index>::value>>
constexpr auto variadic(Tuple) -> std::size_t {
return variadic<Tuple, Index::value + 1>();
};using must_be_autogenerated = std::tuple<table::value<1>, table::value<2>, table::value<3>, table::value<4>>;
static_assert(variadic(must_be_autogenerated{}) == 1);
static_assert(variadic(must_be_autogenerated{}) == 2); // oopsа что ты возвразаешь в первом?
Е
или ты инстанцируешь и возвращаешь значение по индексу?
O
а что ты возвразаешь в первом?
Числовое значение Index. Это просто тег над size_t
Е
не, меня просто скобки круглые смущают, оператор запятая непонятная вещь
O
Числовое значение Index. Это просто тег над size_t
Там не void регистрировать нужно, а генерировать цепочку...
O
не, меня просто скобки круглые смущают, оператор запятая непонятная вещь
Я просто намучился чуть раньше с тем, что компиляторы выкидывают
table::map<type, void> в любой непонятной ситуации, так что я это одним выражением сделалЕ
а если в войд закастить тоже выкидывают?
O
а если в войд закастить тоже выкидывают?
Хм... А я не попробовал...
O
Но если кратко — компилятор имеет доказательство бессмысленности кода и выпиливает строку :)
Е
смотря что компилятор считает использованием