Optional versus Throw Exception

Всем привет. Задумался о семантике. Мол когда лучше возвращать из функции optional, а когда бросать исключение. На данный момент я знаю, что первый вариант нужно использовать тогда, когда ожидаемо, что значение может быть, а может и не быть. А второй вариант лучше использовать, когда происходит что-то, well, исключительное, неожиданное, что-ли.

Но я не могу понять, как правильно определить, что ожидаемо, а что нет? например, у меня есть класс Grid. В нём, скажем, есть квадратики. Допустим, я хочу достать из него квадратик, передав двумерный индекс в функцию. Всё просто, если мы передадим индекс выходящий за пределы объекта Grid, то естессно мы не можем получить квадратик. В таком случае, что лучше использовать: optional или бросить исключение? С одной стороны я ожидаю, что, если индекс будет неверный, то квадратик я не получу. С другой стороны, я не ожидаю, что передам неверный индекс в функцию изначально и исключение бы мне указало, что что-то неверно.

Или второй пример. Скажем, мы считываем данные из файла. И что, если файла нет? Я как бы ожидаю, что, если файла нет, то хрен, я что получу. С другой стороны, я как бы вызываю функцию для того, чтобы получить данные, и, если их не получаю, то, ёлки, что там творится такое исключительное, что данные я не могу получить?!

Как вы разделяете эти понятия?

0

Сообщение от Pro100Tom мне кажется, она не должна слепо возвращать бессмысленный объект

Если это камень в мой огород, то вы неверно меня поняли.
Во-первых бессмысленный я возвращать не предлагал. Пусть это будет блок, обозначающий стену вокруг карты.
С этим блоком можно много чего полезного сделать, например проверить коллизию при столкновении с объектом, находящимся в проходе лабиринта. Но может оно вам и не надо конечно, смотрите сами.

0

Сообщение от DrOffset Если это камень в мой огород, то вы неверно меня поняли.

Нет нет, я не думал об этом совсем. Вы мне очень помогли. Я это писал к тому, что другой разработчик сказал, что проверки не должно быть внутри метода. Но при таком раскладе, метод может вернуть бессмысленный объект. Блин, поняв, что мне остаётся вариант optional, вариант Expected перестал меня не устраивать. Хотя я прочитал сейчас онлайн доклад какого-то чувака (кстати очень очень крутой доклад, на мой взгляд), так он там предлагает такую вещицу как статические исключения, которые разработчик define (или declare), я не совсем уловил и new keyword - throws, is introduced. Вот это вообще крутотень! Если это реализуют, то я смогу бросать ошибки такого рода без потерь производительности, и method signature не будет страдать, как от optional/expected/outcome. А пока что, чтобы избежать dependencies я воспользуюсь optional.

Вот ссылочка: http://www.open-std.org/jtc1/s... 0709r2.pdf

Ещё нашел этот reddit thread, который показался мне весьма интересным: https://www.reddit.com/r/cpp/c... greed_and/

0

0

Чёрт, я поторопился... В некоторых функциях я возвращаю const Block&. Я не могу использовать optional, потому что optional references are not allowed...

0