Modelei uma função que retorna uma instância de um std::expected<void, Error>- eu disse a mim mesmo "Posso usar um novo padrão, então projetarei minha biblioteca de acordo" - e estava muito positivo para ter um tratamento de erro agradável e concreto. Agora acontece que todas as operações monádicas no std::expectedfuncionam apenas em itens não nulos. Embora haja uma especialização para void, as operações monádicas não estão disponíveis. Entendo que or_elseprecisa retornar o valor - mas há uma especialização para void, então por que isso não deveria funcionar ?
std::expected<void, Error> fun (int);
fun (19).and_then ([]() { doSomething(); }).or_else ([] (Error e) { std::println ("Uh oh error.."); });
Isso produz:
/usr/include/c++/14.2.1/expected:1586:37: error: static assertion failed
1586 | static_assert(__expected::__is_expected<_Up>);
| ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/expected:1586:37: note: ‘std::__expected::__is_expected<void>’ evaluates to false
/usr/include/c++/14.2.1/expected:1587:25: error: ‘std::remove_cvref<void>::type’ {aka ‘void’} is not a class, struct, or union type
1587 | static_assert(is_same_v<typename _Up::error_type, _Er>);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/expected:1592:20: error: expression list treated as compound expression in functional cast [-fpermissive]
1592 | return _Up(unexpect, std::move(_M_unex));
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/home/david/tests/cpp/src/expect.cpp: In function ‘int main()’:
/home/david/tests/cpp/src/expect.cpp:49:26: error: invalid use of ‘void’
Qual é o problema aqui? Esse recurso está apenas pela metade (então o padrão está incompleto) ou estou entendendo mal seu ponto?