L,
typename Buf,
typename R,
std::enable_if_t<!std::is_same<L, R>::value, bool> = true>
struct sub_helper {
using result = typename sub_helper<prev_t<L>, next<Buf>, R>::result;
};
template <typename L,
typename Buf,
typename R,
std::enable_if_t<std::is_same<L, R>::value, bool> = true>
struct sub_helper {
using result = Buf;
};
Где у меня ошибка? Пишет, что во второй структуре у четвертого шаблона другой тип, как это пофиксить?
у тебя два разных определения одного шаблона, второе должно быть частичной/полной специализацией, если не ошибаюсь
а вообще - это что за кошмар уровня С++11, есть ведь и стандарты поновее
А как тогда определить вторую структуру для случая, когда L = R?
А что надо новее сделать?
ну с тем же C++17 всё можно значительно упростить, могу привести пример
Ну судя по std::enable_if_t это уже С++14 :) Ато было бы ещё хуже)
ну, например, можно перейти к метапрограммированию на значениях вместо типов, отличный сахарок получится - https://godbolt.org/z/YGfr3Y
Обсуждают сегодня