std-make
std-make copied to clipboard
viboes
C++ generic make factory
```c++ #include "experimental/fundamental/v3/expected2/expected.hpp" using std::experimental::expected; #include struct hurts { hurts() { std::puts("ow that hurts"); } hurts(const hurts&) { std::puts("owow that hurts too"); } ~hurts() { puts("goodbye cruel world"); } };...
Under [Section 1.6](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0323r9.html#expected.object.ctor) 1. `template explicit(see below) constexpr expected(const expected& rhs)` : Are the constraints involving `E` and `G` still applicable when `T` and `U` are cv `void`? 2. `template...
I noticed that `bad_expected_access` does not include an `error_type` member typedef. Would it be a good idea to add one?
... because [std::unary_function was removed in C++17](https://en.cppreference.com/w/cpp/utility/functional/unary_function). 1>In file included from y:\vcpkg\installed\x64-windows-static\include\experimental/bit_mask.hpp:10: 1>y:\vcpkg\installed\x64-windows-static\include\experimental/fundamental/v3/bits/bit_mask.hpp(627): error : unknown template name 'unary_function'
Hi, I really appreciate all your work on this proposal, I really think it would be great if `std::expected` made it into the standard. I have one "feature request": In...
What would be the result of strong_natural - strong_natural if any? Do we need strong_integer?
The examples in the paper show how I can disambiguate the type of `none` in the following case: ``` c++ optional o1 = none; assert (!o1); optional o2 = none;...
`is_product_type` is defined now as follows ``` template struct is_product_type : is_base_of {}; ``` and force the specialization to inherit from `product_type_tag`. This is intrusive and don't check all. The...
If you use final function objects to overload on types that are implicitly convertible to each other the overload becomes ambiguous. Example: ``` struct X; struct Y { // Y(const...
