AF
В данном случае - компилятор с вами не согласен. Не может переменная иметь тип void - эта часть как раз из того времени, когда принцип был еще живой.
и не должна, причем тут она?
Size: a a a
2021 February 04
AF
А... Монада Either... Понял, правда, пока так сразу не могу сообразить как сделать..
монада either только не монада
DK
В общем C++20 рулит. Спасибо @smertig :
void value() const requires std::is_same_v<T, void> { ... }
auto value() requires (!std::is_same_v<T, void>) { ... }
auto value() const requires (!std::is_same_v<T, void>) { ... }
void value() const requires std::is_same_v<T, void> { ... }
auto value() requires (!std::is_same_v<T, void>) { ... }
auto value() const requires (!std::is_same_v<T, void>) { ... }
MK
и не должна, причем тут она?
Притом, что оно пытается хранить состояние (и это нормальное поведение для Either - оно просто там может быть - или состояние или ошибка, в общем обычный union-тип), но тут неожиданно пользователь хочет там void - чтобы была только ошибка. Мы делаем две вещи в одном, и вот прямо так это не сделать.
АК
В общем C++20 рулит. Спасибо @smertig :
void value() const requires std::is_same_v<T, void> { ... }
auto value() requires (!std::is_same_v<T, void>) { ... }
auto value() const requires (!std::is_same_v<T, void>) { ... }
void value() const requires std::is_same_v<T, void> { ... }
auto value() requires (!std::is_same_v<T, void>) { ... }
auto value() const requires (!std::is_same_v<T, void>) { ... }
главное убедиться, что
auto value() ссылку вернёт, а не значениеAS
принцип подстановки барбары лисков умер гдето в 90-х короче
Офигительная история
AF
Офигительная история
там в какойто книжке или саттер или александреску или еще кто пытаются натянуть принцип барбары лисков на просто недублирование кода
AS
Ну да, если можно спроектировать классы так, что общий функционал реализован через вызовы базового класса, и запретить наследникам его ломать, чтобы не писать его по новой, это же отличная идея
DK
Емнип, у этого трейта есть специализация для void
Спасибо! Да есть. Обновленный результат:
Страшновато выглядит, но со своей задачей справляется.
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>) { ... }
Страшновато выглядит, но со своей задачей справляется.
АК
Спасибо! Да есть. Обновленный результат:
Страшновато выглядит, но со своей задачей справляется.
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>) { ... }
Страшновато выглядит, но со своей задачей справляется.
кстати, это всё решается и в C++17 через
правда отключить
if constexpr внутри метода с auto возвращаемым значением.правда отключить
void value() non-const не получится таким образомAS
Получится, static_assert'ом на !is_same_v
АК
Получится, static_assert'ом на !is_same_v
нет, потому что тело такого метода инстанцируется не при вызове, а при инстанцировании объекта
AS
Не понял?
DK
кстати, это всё решается и в C++17 через
правда отключить
if constexpr внутри метода с auto возвращаемым значением.правда отключить
void value() non-const не получится таким образомif constexpr работает только для шаблонных параметров функции. От шаблонных параметров класса - это будет обычный if.
D
Спасибо! Да есть. Обновленный результат:
Страшновато выглядит, но со своей задачей справляется.
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>) { ... }
Страшновато выглядит, но со своей задачей справляется.
Первый можно убрать
АК
нет, потому что тело такого метода инстанцируется не при вызове, а при инстанцировании объекта
прошу прощения, это ложь