Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/TartanLlama/expected
C++11/14/17 std::expected with functional-style extensions
https://github.com/TartanLlama/expected
Last synced: 2 months ago
JSON representation
C++11/14/17 std::expected with functional-style extensions
- Host: GitHub
- URL: https://github.com/TartanLlama/expected
- Owner: TartanLlama
- License: cc0-1.0
- Created: 2017-10-25T18:19:53.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2024-01-09T21:53:48.000Z (about 1 year ago)
- Last Synced: 2024-11-05T03:36:43.277Z (3 months ago)
- Language: C++
- Homepage: https://tl.tartanllama.xyz
- Size: 1.83 MB
- Stars: 1,537
- Watchers: 35
- Forks: 133
- Open Issues: 63
-
Metadata Files:
- Readme: README.md
- License: COPYING
Awesome Lists containing this project
- AwesomeCppGameDev - expected - style extensions (C++)
README
# expected
Single header implementation of `std::expected` with functional-style extensions.
[](https://tl.tartanllama.xyz/en/latest/?badge=latest)
Clang + GCC: [](https://github.com/TartanLlama/expected/actions/workflows/cmake.yml)
MSVC: [](https://ci.appveyor.com/project/TartanLlama/expected)
Available on [Vcpkg](https://github.com/microsoft/vcpkg/tree/master/ports/tl-expected) and [Conan](https://github.com/yipdw/conan-tl-expected).
[`std::expected`](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0323r3.pdf) is proposed as the preferred way to represent object which will either have an expected value, or an unexpected value giving information about why something failed. Unfortunately, chaining together many computations which may fail can be verbose, as error-checking code will be mixed in with the actual programming logic. This implementation provides a number of utilities to make coding with `expected` cleaner.
For example, instead of writing this code:
```cpp
std::expected get_cute_cat (const image& img) {
auto cropped = crop_to_cat(img);
if (!cropped) {
return cropped;
}
auto with_tie = add_bow_tie(*cropped);
if (!with_tie) {
return with_tie;
}
auto with_sparkles = make_eyes_sparkle(*with_tie);
if (!with_sparkles) {
return with_sparkles;
}
return add_rainbow(make_smaller(*with_sparkles));
}
```
You can do this:
```cpp
tl::expected get_cute_cat (const image& img) {
return crop_to_cat(img)
.and_then(add_bow_tie)
.and_then(make_eyes_sparkle)
.map(make_smaller)
.map(add_rainbow);
}
```
The interface is the same as `std::expected` as proposed in [p0323r3](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0323r3.pdf), but the following member functions are also defined. Explicit types are for clarity.
- `map`: carries out some operation on the stored object if there is one.
* `tl::expected s = exp_string.map(&std::string::size);`
- `map_error`: carries out some operation on the unexpected object if there is one.
* `my_error_code translate_error (std::error_code);`
* `tl::expected s = exp_int.map_error(translate_error);`
- `and_then`: like `map`, but for operations which return a `tl::expected`.
* `tl::expected parse (const std::string& s);`
* `tl::expected exp_ast = exp_string.and_then(parse);`
- `or_else`: calls some function if there is no value stored.
* `exp.or_else([] { throw std::runtime_error{"oh no"}; });`
p0323r3 specifies calling `.error()` on an expected value, or using the `*` or `->` operators on an unexpected value, to be undefined behaviour. In this implementation it causes an assertion failure. The implementation of assertions can be overridden by defining the macro `TL_ASSERT(boolean_condition)` before #including ; by default, `assert(boolean_condition)` from the `` header is used. Note that correct code would not rely on these assertions.
### Compiler support
Tested on:
- Linux
* clang++ 3.5, 3.6, 3.7, 3.8, 3.9, 4, 5, 6, 7, 8, 9, 10, 11
* g++ 4.8, 4.9, 5.5, 6.4, 7.5, 8, 9, 10
- Windows
* MSVC 2015, 2017, 2019, 2022
----------
[]("http://creativecommons.org/publicdomain/zero/1.0/")
To the extent possible under law, [Sy Brand](https://twitter.com/TartanLlama) has waived all copyright and related or neighboring rights to the `expected` library. This work is published from: United Kingdom.