в цепочки?
Т.е. есть методы and_then, or_else, transform и transform_error
И все они меняют либо тип значения (and_then и transform), либо ошибки (or_else, transform_error).
А если мне надо сменить оба типа?
Например, нам нужно открыть файл и прочитать из него массив чисел:
1. Проверяем наличие файла, получаем std::expected<std::filesystem::path, std::invalid_argument>
2. Дёргаем функцию, которая вернёт нам std::expected<std::ifstream, std::runtime_error>
3. Читаем данные из файла, получаем: std::expected<std::vector<double>, std::bad_alloc>
Т.е. что если я хочу идти по этому пути, обрабатывать ошибки, но при успешном выполнении шага тип ошибки также должен меняться? Т.е. я хочу что-то типа and_then, только с возможностью сменить тип Error.
imho в expected тогда нужен exception_ptr, но проще просто исключения
Ну вот мне не нравится, что если у меня не происходит ошибок, то я никак не могу монадами поменять тип исключения. Вот из-за этого мы приходим ко всяким error_code, exception_ptr и variant-ам с несколькими исключениями в качестве ErrorType
Каким должен быть возвращаемый тип функции, в которой по очереди нужно обработать expected с разными типами ошибок?
каким-то функтором, у которого есть два оператора?
`std::variant<ErrorTypes...>`
Обсуждают сегодня