АК
if constexpr работает только для шаблонных параметров функции. От шаблонных параметров класса - это будет обычный if.
нет же, почему?
Size: a a a
2021 February 04
АК
if constexpr работает только для шаблонных параметров функции. От шаблонных параметров класса - это будет обычный if.
у нас здесь не раст, можно использовать внешние шаблонные параметры внутри функций в constexpr контексте
m
Спасибо! Да есть. Обновленный результат:
Страшновато выглядит, но со своей задачей справляется.
void value() const requires std::is_same_v<T, void> { ... }
std::add_lvalue_reference_t<T> value() requires (!std::is_same_v<T, void>) { ... }
std::add_lvalue_reference_t<const T> value() const requires (!std::is_same_v<T, void>) { ... }
Страшновато выглядит, но со своей задачей справляется.
Кажется для
Result<void, E> все равно понадобиться специализация всего класса потому что нельзя хранить void value.АК
Кажется для
Result<void, E> все равно понадобиться специализация всего класса потому что нельзя хранить void value.это решается хранением
[[no_unique_address]] std::conditional_t<std::is_same_v<T, void>, std::nullopt_t, T> valuem
это решается хранением
[[no_unique_address]] std::conditional_t<std::is_same_v<T, void>, std::nullopt_t, T> valueДа, наверное, это решит задачу. Но мне кажется специализация выйдет более читаемой.
DK
у нас здесь не раст, можно использовать внешние шаблонные параметры внутри функций в constexpr контексте
Да, можно. Но вроде все ветви if constexpr в этом случае будут инстанциированы и должны компилироваться.
АК
Да, можно. Но вроде все ветви if constexpr в этом случае будут инстанциированы и должны компилироваться.
нет, потому он и
constexprАК
Да, можно. Но вроде все ветви if constexpr в этом случае будут инстанциированы и должны компилироваться.
DK
Понял. Я спутал с кейсом с static_assert(false), который "инстанциируется" в любой ветке constexpr:
https://godbolt.org/z/eKxYdE
https://godbolt.org/z/eKxYdE
DK
такой кейс не работает. Всегда срабатывает static_assert.
if constexpr (...) { ... }
else if (...) { ... }
else { static_assert(false); }
if constexpr (...) { ... }
else if (...) { ... }
else { static_assert(false); }
АК
такой кейс не работает. Всегда срабатывает static_assert.
if constexpr (...) { ... }
else if (...) { ... }
else { static_assert(false); }
if constexpr (...) { ... }
else if (...) { ... }
else { static_assert(false); }
такое решается через dependent_false, например
AF
такой кейс не работает. Всегда срабатывает static_assert.
if constexpr (...) { ... }
else if (...) { ... }
else { static_assert(false); }
if constexpr (...) { ... }
else if (...) { ... }
else { static_assert(false); }
else if constexpr наверн еще
MK
что забавно, std::optional<void> тоже не собирается и причина похожа то что было выше.
D
что забавно, std::optional<void> тоже не собирается и причина похожа то что было выше.
Не думаю, ибо
unique_ptr<void> собирается, а у него есть Ty& operator*()MK
Не думаю, ибо
unique_ptr<void> собирается, а у него есть Ty& operator*()Ну, в VC2019, сделано иначе :)
АК
Не думаю, ибо
unique_ptr<void> собирается, а у него есть Ty& operator*()unique_ptr хранит указатель, поэтому там нет отдельных ифов на случай
void, а реализация operator* действительно требует возвращать add_lvalue_reference_t<T>